An N-ary Tree-based Model for Similarity Evaluation on Mathematical Formulae.

Yifan Dai Liangyu Chen Zihan Zhang

Published in: SMC (2020)

Keyphrases

similarity measure
high level
probabilistic model
formal model
prior knowledge
computational model
real time
theoretical analysis
sensitivity analysis
search engine
knowledge base
case study
statistical model
conceptual model
object model
evaluation model