Login / Signup
Math-KG: Construction and Applications of Mathematical Knowledge Graph.
Jianing Wang
Published in:
CoRR (2022)
Keyphrases
</>
mathematical knowledge
computer software
graph theory
random walk
graph structure
weighted graph
metadata
high level
search algorithm
directed graph
theorem prover
tutoring system
theorem proving