Login / Signup

Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories.

Gueorgui I. JojgovRob NederpeltM. Scheffer
Published in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
  • mathematical proofs
  • formal models
  • case study
  • artificial neural networks
  • structural information
  • graph structure
  • formal methods