Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery.
Francisco BotanaJosé L. ValcarcePublished in: CASC (2001)
Keyphrases
- computer algebra
- dynamic environments
- geometric structure
- cooperative
- real time
- three dimensional
- mobile robot
- geometric constraints
- geometric information
- geometry theorem proving
- virtual organization
- changing environment
- autonomous agents
- information sharing
- neural network
- surface geometry
- projective geometry
- contract net protocol
- computer algebra systems