Symbolic Geometry Software and Proofs.
Philip ToddIrina LyublinskayaValeriy RyzhikPublished in: Int. J. Comput. Math. Learn. (2010)
Keyphrases
- software systems
- software design
- software tools
- software architecture
- user interface
- software development
- software packages
- software evolution
- neural learning
- data sets
- hardware design
- software projects
- software components
- test cases
- source code
- expert systems
- three dimensional
- case study
- computer vision
- learning algorithm