Towards an Electronic Geometry Textbook.

Xiaoyu Chen Dongming Wang

Published in: Automated Deduction in Geometry (2006)

Keyphrases

three dimensional
computer science
design automation
bulletin board
real time
databases
genetic algorithm
decision making
data structure
geometric constraints
computer programming
legal information