Computer validated proofs of a toolset for adaptable arithmetic

Sylvie Boldo Marc Daumas Claire Moreau-Finot Laurent Théry

Published in: CoRR (2001)

Keyphrases

computer programs
computer systems
computer technology
theorem proving
computer controlled
neural network
real time
data sets
databases
artificial intelligence
website
control system
personal computer
theorem prover
machine intelligence
computer programming