Automated Deduction in Geometry - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 137

2015

Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected PapersFrancisco Botana, Pedro Quaresma, editors, Volume 9201 of Lecture Notes in Computer Science, Springer, 2015. [doi]

2014

Star-Unfolding PolygonsMd. Ashraful Alam, Ileana Streinu. adg 2015: 1-20 [doi]

Volume Frameworks and Deformation VarietiesCiprian S. Borcea, Ileana Streinu. adg 2015: 21-36 [doi]

Recent Advances in Real Geometric ReasoningJames H. Davenport, Matthew England. adg 2015: 37-52 [doi]

The Relation Tool in GeoGebra 5Zoltán Kovács. adg 2015: 53-71 [doi]

Computer Theorem Proving for Verifiable Solving of Geometric Construction ProblemsVesna Marinkovic, Predrag Janicic, Pascal Schreck. adg 2015: 72-93 [doi]

Integrated Circumradius and Area Formulae for Cyclic Pentagons and HexagonsShuichi Moritsugu. adg 2015: 94-107 [doi]

Extension of Simson-Wallace Theorem on Skew Quadrilaterals and Further PropertiesPavel Pech. adg 2015: 108-118 [doi]

Current Status of the I2GATP Common FormatPedro Quaresma, Nuno Baeta. adg 2015: 119-128 [doi]

On Flattenability of GraphsMeera Sitharam, Joel Willoughby. adg 2015: 129-148 [doi]

Discovering Geometric Theorems from Scanned and Photographed Images of DiagramsDan Song, Dongming Wang, Xiaoyu Chen. adg 2015: 149-165 [doi]

Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint SystemsMenghan Wang, Meera Sitharam. adg 2015: 166-180 [doi]

2013

Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected PapersTetsuo Ida, Jacques D. Fleuriot, editors, Volume 7993 of Lecture Notes in Computer Science, Springer, 2013. [doi]

2012

Proof and Computation in GeometryMichael Beeson. adg 2013: 1-30 [doi]

Realizations of Volume FrameworksCiprian Borcea, Ileana Streinu. adg 2013: 110-119 [doi]

Rigidity of Origami Universal MoleculesJohn Christopher Bowers, Ileana Streinu. adg 2013: 120-142 [doi]

From Tarski to HilbertGabriel Braun, Julien Narboux. adg 2013: 89-109 [doi]

Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex HullsChristophe Brun, Jean-François Dufourd, Nicolas Magaud. adg 2013: 71-88 [doi]

Algebraic Analysis of Huzita's Origami Operations and Their ExtensionsFadoua Ghourabi, Asem Kasem, Cezary Kaliszyk. adg 2013: 143-160 [doi]

Equation Systems with Free-Coordinates DeterminantsPascal Mathis, Pascal Schreck. adg 2013: 59-70 [doi]

Extending the Descartes Circle Theorem for Steiner n-CyclesShuichi Moritsugu. adg 2013: 48-58 [doi]

On the Formal Analysis of Geometrical Optics in HOLUmair Siddique, Vincent Aravantinos, Sofiène Tahar. adg 2013: 161-180 [doi]

Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter ProofsSana Stojanovic. adg 2013: 181-192 [doi]

Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge ManagementDongming Wang. adg 2013: 31-32 [doi]

Improving Angular Speed Uniformity by C 1 Piecewise ReparameterizationJing Yang, Dongming Wang, Hoon Hong. adg 2013: 33-47 [doi]

2011

Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected PapersPascal Schreck, Julien Narboux, Jürgen Richter-Gebert, editors, Volume 6877 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised PapersThomas Sturm, Christoph Zengler, editors, Volume 6301 of Lecture Notes in Computer Science, Springer, 2011. [doi]

2010

Cancellation Patterns in Automatic Geometric Theorem ProvingSusanne Apel, Jürgen Richter-Gebert. adg 2011: 1-33 [doi]

Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOLJacques D. Fleuriot. adg 2011: 34-50 [doi]

A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective GeometryLaurent Fuchs, Laurent Théry. adg 2011: 51-67 [doi]

Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry SystemMichael Gerhäuser, Alfred Wassermann. adg 2011: 68-77 [doi]

Proof Documents for Automated Origami Theorem ProvingFadoua Ghourabi, Tetsuo Ida, Asem Kasem. adg 2011: 78-97 [doi]

The Midpoint Locus of a Triangle in a CornerDaniel Lichtblau. adg 2011: 98-117 [doi]

What Is a Line ?Dominique Michelucci. adg 2011: 132-151 [doi]

Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective GeometryDominique Michelucci. adg 2011: 118-131 [doi]

On One Method of Proving Inequalities in Automated WayPavel Pech. adg 2011: 152-168 [doi]

Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)Pedro Quaresma. adg 2011: 169-181 [doi]

An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-TimePhil Scott, Jacques D. Fleuriot. adg 2011: 182-200 [doi]

A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable ProofsSana Stojanovic, Vesna Pavlovic, Predrag Janicic. adg 2011: 201-220 [doi]

Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point MethodYu Zou, Jingzhong Zhang. adg 2011: 221-258 [doi]

2008

Dynamical Systems of Simplices in Dimension Two or ThreeGerald Bourgeois, Sébastien Orange. adg 2011: 1-21 [doi]

On the Design and Implementation of a Geometric Knowledge BaseXiaoyu Chen, Ying Huang, Dongming Wang. adg 2011: 22-41 [doi]

Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem ProvingBenjamin Grégoire, Loïc Pottier, Laurent Théry. adg 2011: 42-59 [doi]

Multivariate Resultants in Bernstein BasisDeepak Kapur, Manfred Minimair. adg 2011: 60-85 [doi]

Unique Factorization Domains in the Java Computer Algebra SystemHeinz Kredel. adg 2011: 86-115 [doi]

Automatic Verification of the Adequacy of Models for Families of Geometric ObjectsAless Lasaruk, Thomas Sturm. adg 2011: 116-140 [doi]

Formalizing Projective Plane Geometry in CoqNicolas Magaud, Julien Narboux, Pascal Schreck. adg 2011: 141-162 [doi]

Linear Programming for Bernstein Based SolversDominique Michelucci, Christoph Fünfzig. adg 2011: 163-178 [doi]

Offsetting Revolution SurfacesFernando San Segundo, J. Rafael Sendra. adg 2011: 179-188 [doi]

An Introduction to Java Geometry Expert - (Extended Abstract)Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao. adg 2011: 189-195 [doi]

On the Heilbronn Optimal Configuration of Seven Points in the SquareZhenbing Zeng, Liangyu Chen. adg 2011: 196-224 [doi]

2007

Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised PapersFrancisco Botana, Tomás Recio, editors, Volume 4869 of Lecture Notes in Computer Science, Springer, 2007.

2006

Towards an Electronic Geometry TextbookXiaoyu Chen, Dongming Wang. adg 2007: 1-23 [doi]

Equidecomposable Quadratic RegionsThomas C. Hales. adg 2007: 24-38 [doi]

Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised PapersHoon Hong, Dongming Wang, editors, Volume 3763 of Lecture Notes in Computer Science, Springer, 2006.

Automatic Verification of Regular Constructions in Dynamic Geometry SystemsPredrag Janicic, Pedro Quaresma. adg 2007: 39-51 [doi]

Recognition of Computationally Constructed LociPeter Lebmeir, Jürgen Richter-Gebert. adg 2007: 52-67 [doi]

Algorithmic Search for Flexibility Using Resultants of Polynomial SystemsRobert H. Lewis, Evangelos A. Coutsias. adg 2007: 68-79 [doi]

Cylinders Through Five Points: Complex and Real Enumerative GeometryDaniel Lichtblau. adg 2007: 80-97 [doi]

Detecting All Dependences in Systems of Geometric Constraints Using the Witness MethodDominique Michelucci, Sebti Foufou. adg 2007: 98-112 [doi]

Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner SystemsAntonio Montes, Tomás Recio. adg 2007: 113-138 [doi]

Mechanical Theorem Proving in Tarski s GeometryJulien Narboux. adg 2007: 139-156 [doi]

On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular PolygonsPavel Pech. adg 2007: 157-170 [doi]

A Maple Package for Automatic Theorem Proving and Discovery in 3D-GeometryEugenio Roanes-Macías, Eugenio Roanes-Lozano. adg 2007: 171-188 [doi]

Geometry Expressions: A Constraint Based Interactive Symbolic Geometry SystemPhilip Todd. adg 2007: 189-202 [doi]

Constructing a Tetrahedron with Prescribed Heights and WidthsLu Yang, Zhenbing Zeng. adg 2007: 203-211 [doi]

2004

Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic ApproachFrancisco Botana, Tomás Recio. adg 2006: 92-110 [doi]

Proving Geometric Theorems by Partitioned-Parametric Gröbner BasesXueFeng Chen, Peng Li, Long Lin, DingKang Wang. adg 2006: 34-43 [doi]

Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy MethodsDmytro Chibisov, Ernst W. Mayr, Sergey Pankratov. adg 2006: 156-168 [doi]

On the Decidability of Tracing Problems in Dynamic GeometryBritta Denner-Broser. adg 2006: 111-129 [doi]

::::n::::D Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local PropagationHongbo Li. adg 2006: 169-197 [doi]

Towards a Geometric-Object-Oriented LanguageTielin Liang, Dongming Wang. adg 2006: 130-155 [doi]

Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid MethodsDaniel Lichtblau. adg 2006: 70-91 [doi]

Mechanical Theorem Proving in Computational GeometryLaura I. Meikle, Jacques D. Fleuriot. adg 2006: 1-18 [doi]

Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of SidesPavel Pech. adg 2006: 44-58 [doi]

Computational Origami Construction of a Regular Heptagon with Automated Proof of Its CorrectnessJudit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger. adg 2006: 19-33 [doi]

Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised PapersFranz Winkler, editor, Volume 2930 of Lecture Notes in Computer Science, Springer, 2004.

Symbolic Solution of a Piano Movers Problem with Four ParametersLu Yang, Zhenbing Zeng. adg 2006: 59-69 [doi]

Planar Generalized Stewart Platforms and Their Direct KinematicsGui-Fang Zhang, Xiao-Shan Gao. adg 2006: 198-211 [doi]

2002

Algorithmic Tests for the Normal Crossing PropertyGábor Bodnár. adg 2004: 1-20 [doi]

The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula DeductionXueFeng Chen, DingKang Wang. adg 2004: 21-30 [doi]

Using Computer Algebra Tools to Classify Serial ManipulatorsSolen Corvez, Fabrice Rouillier. adg 2004: 31-43 [doi]

MMP/Geometer - A Software Package for Automated Geometric ReasoningXiao-Shan Gao, Qiang Lin. adg 2004: 44-66 [doi]

The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof SchemesHans-Gert Gräbe. adg 2004: 67-86 [doi]

A New Structural Rigidity for Geometric Constraint SystemsChristophe Jermann, Bertrand Neveu, Gilles Trombettoni. adg 2004: 87-106 [doi]

Algebraic Representation, Elimination and Expansion in Automated Geometric Theorem ProvingHongbo Li. adg 2004: 106-123 [doi]

The Nonsolvability by Radicals of Generic 3-connected Planar GraphsJohn C. Owen, Steve C. Power. adg 2004: 124-131 [doi]

Function-Based Shape Modeling: Mathematical Framework and Specialized LanguageAlexander A. Pasko, Valery Adzhiev. adg 2004: 132-160 [doi]

C:::1::: Spline Implicitization of Planar CurvesMohamed Shalaby, Bert Jüttler, Josef Schicho. adg 2004: 161-177 [doi]

Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases MethodIrina Tchoupaeva. adg 2004: 178-193 [doi]

GEOTHER 1.1: Handling and Proving Geometric Theorems AutomaticallyDongming Wang. adg 2004: 194-215 [doi]

Distance Coordinates Used in Geometric Constraint SolvingLu Yang. adg 2004: 216-229 [doi]

2001

Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised PapersJürgen Richter-Gebert, Dongming Wang, editors, Volume 2061 of Lecture Notes in Computer Science, Springer, 2001.

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Automated Deduction in Geometry (adg)

Viewing Publication 1 - 100 from 137

2015

2014

2013

2012

2011

2010

2008

2007

2006

2004

2002

2001

2000

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Automated Deduction in Geometry (adg)

Viewing Publication 1 - 100 from 137

2015

2014

2013

2012

2011

2010

2008

2007

2006

2004

2002

2001

2000

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1