Automated Deduction in Geometry [[electronic resource] ] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers / / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (X, 259 p.) |
Disciplina | 516.00285 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer graphics Mathematical logic Computer science—Mathematics Software engineering Artificial Intelligence Computer Graphics Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Software Engineering |
ISBN | 3-642-25070-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465939703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automated Deduction in Geometry [[electronic resource] ] : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers / / edited by Jürgen Richter-Gebert, Dongming Wang |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (VIII, 328 p.) |
Disciplina | 516/.00285 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Geometry Application software Computer graphics Mathematical logic Pattern recognition Artificial Intelligence Computer Applications Computer Graphics Mathematical Logic and Formal Languages Pattern Recognition |
ISBN | 3-540-45410-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | On Spatial Constraint Solving Approaches -- A Hybrid Method for Solving Geometric Constraint Problems -- Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study -- A Practical Program of Automated Proving for a Class of Geometric Inequalities -- Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving -- Algebraic and Semialgebraic Proofs: Methods and Paradoxes -- Remarks on Geometric Theorem Proving -- The Kinds of Truth of Geometry Theorems -- A Complex Change of Variables for Geometrical Reasoning -- Reasoning about Surfaces Using Differential Zero and Ideal Decomposition -- Effective Methods in Computational Synthetic Geometry -- Decision Complexity in Dynamic Geometry -- Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method -- Qubit Logic, Algebra and Geometry -- Nonstandard Geometric Proofs -- Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization -- Higher-Order Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry. |
Record Nr. | UNISA-996465903803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automated Deduction in Geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers / / edited by Jürgen Richter-Gebert, Dongming Wang |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (VIII, 328 p.) |
Disciplina | 516/.00285 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Geometry Application software Computer graphics Mathematical logic Pattern recognition Artificial Intelligence Computer Applications Computer Graphics Mathematical Logic and Formal Languages Pattern Recognition |
ISBN | 3-540-45410-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | On Spatial Constraint Solving Approaches -- A Hybrid Method for Solving Geometric Constraint Problems -- Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study -- A Practical Program of Automated Proving for a Class of Geometric Inequalities -- Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving -- Algebraic and Semialgebraic Proofs: Methods and Paradoxes -- Remarks on Geometric Theorem Proving -- The Kinds of Truth of Geometry Theorems -- A Complex Change of Variables for Geometrical Reasoning -- Reasoning about Surfaces Using Differential Zero and Ideal Decomposition -- Effective Methods in Computational Synthetic Geometry -- Decision Complexity in Dynamic Geometry -- Automated Theorem Proving in Incidence Geometry — A Bracket Algebra Based Elimination Method -- Qubit Logic, Algebra and Geometry -- Nonstandard Geometric Proofs -- Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization -- Higher-Order Intuitionistic Formalization and Proofs in Hilbert’s Elementary Geometry. |
Record Nr. | UNINA-9910143602603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|