Readable Machine Solving in Geometry and ICAI Software MSG.
Chuan-Zhong LiJing-Zhong ZhangPublished in: Automated Deduction in Geometry (1998)
Keyphrases
- software architecture
- software systems
- software development
- three dimensional
- user interface
- software platform
- real time
- computer systems
- computer vision
- reinforcement learning
- website
- e learning
- software projects
- personal computer
- software tools
- software developers
- software maintenance
- geometric features
- software evolution
- software packages
- commercial software
- data mining