Automatic Verification of Regular Constructions in Dynamic Geometry Systems.
Predrag JanicicPedro QuaresmaPublished in: Automated Deduction in Geometry (2006)
Keyphrases
- three dimensional
- complex systems
- systems require
- neural network
- social networks
- database systems
- management system
- expert systems
- dynamically changing
- changing environment
- retrieval systems
- distributed systems
- source code
- wireless sensor networks
- data sets
- knowledge base
- computer vision
- information retrieval
- databases