A Computer Environment for Writing Ordinary Mathematical Proofs.

David McMath Marianna Rozenfeld Richard Sommer

Published in: LPAR (2001)

Keyphrases

mathematical proofs
mobile robot
real time
dynamic environments
genetic algorithm
virtual world
computing environments
complex environments
database
expert systems
knowledge base
computer systems
autonomous agents
computer technology
changing environment
chinese characters
environmental conditions