Login / Signup
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems.
Antonio Montes
Tomás Recio
Published in:
Automated Deduction in Geometry (2006)
Keyphrases
</>
automatic discovery
cooperative
machine learning
domain knowledge
distributed systems
semantic web services
numerically stable
databases
artificial intelligence
knowledge base
expert systems
knowledge management
intelligent systems