Automated Deduction in Geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Gao, Xiao-lu (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Wang, Dongming (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Yang, Lu (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Έκδοση: 1st ed. 1999.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1669
• Θέματα: Computers.; Geometry.; Artificial intelligence.; Mathematical logic.; Computer graphics.; Optical data processing.; Theory of Computation.; Artificial Intelligence.; Mathematical Logic and Formal Languages.; Computer Graphics.; Image Processing and Computer Vision.

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 t...

Πίνακας περιεχομένων:

• 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.