Login / Signup

Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study.

Jacques CaretteWilliam M. Farmer
Published in: CICM (2017)
Keyphrases
  • mathematical knowledge
  • case study
  • random walk
  • computer software
  • directed graph
  • graph theory
  • weighted graph