CtCoq: an environment for mathematical reasoning.

Yves Bertot Laurence Rideau Loïc Pottier Laurent Thiry

Published in: SIGSAM Bull. (1999)

Keyphrases

mathematical proofs
real time
environmental conditions
knowledge base
website
dynamic environments
neural network
human reasoning
learning algorithm
genetic algorithm
mobile robot
test bed
agent model
qualitative reasoning
automated reasoning
reasoning process
database