Automated deduction in geometry : Second International Workshop, ADG 98, Beijing, China, August 1 3, 1998 : proceedings
The Second International Workshop on Automated Deduction in Geometry (ADG 98) was held in Beijing, China, August 1 3, 1998. An increase of interest in ADG 98 over the previous workshop ADG 96 is represented by the notable number of more than 40 participants from ten countries and the strong tech- ca...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science. Lecture notes in artificial intelligence
1669 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Automated deduction in geometry, Second International Workshop, ADG '98, Beijing, China, August 1998, proceedings, Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.), 1999, Berlin, Springer, 1 vol. (VI-285 p.), Lecture notes in computer science, 3-540-66672-9 • Automated Deduction in Geometry, Texte imprimé, 9783662166161 |
Table des matières:
- 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.