The Meaning of Infinity in Calculus and Computer Algebra Systems.

Michael Beeson Freek Wiedijk

Published in: AISC (2002)

Keyphrases

computer algebra
computer algebra systems
theorem prover
theorem proving
natural language
automated deduction
case study
database
probabilistic model
proof procedure
semantic representations
information content
multiscale
image sequences
decision trees
information systems
genetic algorithm
databases