The meaning of infinity in calculus and computer algebra systems.

Michael Beeson Freek Wiedijk

Published in: J. Symb. Comput. (2005)

Keyphrases

computer algebra
computer algebra systems
theorem prover
automated theorem proving
machine learning
natural language
theorem proving
information systems
information retrieval
computer vision
multiscale
multi agent systems
first order logic
proof procedure
automated deduction