A Path to Faithful Formalizations of Mathematics.

Gueorgui I. Jojgov Rob Nederpelt

Published in: MKM (2004)

Keyphrases

endpoints
computer science
shortest path
situation calculus
database
e learning
optimal path
computer algebra
multiple paths
mathematical knowledge