Automatic Deduction of Geometric Theorems
| Autor: | Antonio Montes |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Algebra
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Mathematics::Commutative Algebra Computer Science::Logic in Computer Science ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION Mathematics::Rings and Algebras Automatic deduction Computer Science::Symbolic Computation Cover (algebra) Natural (archaeology) Mathematics |
| Zdroj: | The Gröbner Cover ISBN: 9783030039035 |
| DOI: | 10.1007/978-3-030-03904-2_6 |
| Popis: | A first natural and interesting application of the Grobner Cover is to Automatic Deduction of Geometric Theorems (ADGT). |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|