Engineering Mathematical Knowledge.

Achim Mahnke Jan Scheffczyk

Published in: MKM (2005)

Keyphrases

mathematical knowledge
computer software
theorem prover
software engineering
engineering design
theorem proving
artificial intelligence
knowledge base