Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / / Xiao-Shan Gao, Dongming Wang, Lu Yang, editors |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (VIII, 292 p.) |
Disciplina | 516.00285 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Geometry - Data processing
Automatic theorem proving |
ISBN | 3-540-47997-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving -- Solving Geometric Problems with Real Quantifier Elimination -- Automated Discovering and Proving for Geometric Inequalities -- Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle -- Readable Machine Solving in Geometry and ICAI Software MSG -- Plane Euclidean Reasoning -- A Clifford Algebraic Method for Geometric Reasoning -- Clifford Term Rewriting for Geometric Reasoning in 3D -- Some Applications of Clifford Algebra to Geometries -- Decomposing Algebraic Varieties -- An Application of Automatic Theorem Proving in Computer Vision -- Automated Geometry Diagram Construction and Engineering Geometry -- A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction -- Variant Geometry Analysis and Synthesis in Mechanical CAD. |
Record Nr. | UNISA-996465597603316 |
Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automated deduction in geometry : Second International Workshop, ADG '98, Beijing, China, August 1998 : proceedings / / Xiao-Shan Gao, Dongming Wang, Lu Yang, editors |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (VIII, 292 p.) |
Disciplina | 516.00285 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Geometry - Data processing
Automatic theorem proving |
ISBN | 3-540-47997-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving -- Solving Geometric Problems with Real Quantifier Elimination -- Automated Discovering and Proving for Geometric Inequalities -- Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle -- Readable Machine Solving in Geometry and ICAI Software MSG -- Plane Euclidean Reasoning -- A Clifford Algebraic Method for Geometric Reasoning -- Clifford Term Rewriting for Geometric Reasoning in 3D -- Some Applications of Clifford Algebra to Geometries -- Decomposing Algebraic Varieties -- An Application of Automatic Theorem Proving in Computer Vision -- Automated Geometry Diagram Construction and Engineering Geometry -- A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction -- Variant Geometry Analysis and Synthesis in Mechanical CAD. |
Record Nr. | UNINA-9910768475903321 |
Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|