Login / Signup

Proofs of five conjectures on matching coefficients of Baruah, Das and Schlosser by an algorithmic approach.

Julia Q. D. DuDazhao Tang
Published in: J. Symb. Comput. (2023)
Keyphrases
  • theorem prover
  • pattern matching
  • matching process
  • linear combination
  • data sets
  • multiscale
  • matching algorithm
  • image matching
  • real time
  • case study
  • feature space
  • graph matching
  • feature matching
  • string matching