Presenting Inequations in Mathematical Proofs.

Detlef Fehrer Helmut Horacek

Published in: Inf. Sci. (1999)

Keyphrases

mathematical proofs
cognitive processes
theorem prover
natural language
expert systems
website
case study
bayesian networks
artificial neural networks