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