TY -
GEN
AU - Ida, Tetsuo
AU - Fleuriot, Jacques
TI -
Automated Deduction in Geometry
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
PB - Springer
SN - 9783642406720
KW - Computational complexity
KW - Algebra Data processing
KW - Computer Science
KW - Computer science
KW - Software engineering
KW - Artificial intelligence
KW - Computer graphics
KW - Discrete mathematics.
KW - Machine theory.
KW - Konferenzschrift 2010 München
KW - Konferenzschrift
KW - Geometrie
KW - Automatisches Beweisverfahren
PY - 2013
N2 - Literaturangaben
N2 - Proof and Computation in GeometryAutomation of Geometry: Theorem Proving, Diagram -- Generation, and Knowledge Management -- Improving Angular Speed Uniformity by C1 Piecewise Reparameterization -- Extending the Descartes Circle Theorem for Steiner n-Cycles -- Equation Systems with Free-Coordinates Determinants -- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls -- Realizations of Volume Frameworks -- Rigidity of Origami Universal Molecules -- Algebraic Analysis of Huzita’s Origami Operations and Their Extensions -- On the Formal Analysis of Geometrical Optics in HOL -- Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs.
BT - Lecture Notes in Computer Science ; 7993
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -