Automated Deduction in Geometry - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642210457, 9783642210464

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Offsetting Revolution Surfaces

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21046-4_9 ◽

2011 ◽

pp. 179-188 ◽

Cited By ~ 3

Author(s):

Fernando San Segundo ◽

J. Rafael Sendra

Keyword(s):

Revolution Surfaces

Download Full-text

Automatic Verification of the Adequacy of Models for Families of Geometric Objects

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21046-4_6 ◽

2011 ◽

pp. 116-140

Author(s):

Aless Lasaruk ◽

Thomas Sturm

Keyword(s):

Automatic Verification ◽

Geometric Objects

Download Full-text

An Introduction to Java Geometry Expert

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21046-4_10 ◽

2011 ◽

pp. 189-195 ◽

Cited By ~ 15

Author(s):

Zheng Ye ◽

Shang-Ching Chou ◽

Xiao-Shan Gao

Download Full-text

Formalizing Projective Plane Geometry in Coq

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21046-4_7 ◽

2011 ◽

pp. 141-162 ◽

Cited By ~ 7

Author(s):

Nicolas Magaud ◽

Julien Narboux ◽

Pascal Schreck

Keyword(s):

Projective Plane ◽

Plane Geometry

Download Full-text

On the Design and Implementation of a Geometric Knowledge Base

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21046-4_2 ◽

2011 ◽

pp. 22-41 ◽

Cited By ~ 3

Author(s):

Xiaoyu Chen ◽

Ying Huang ◽

Dongming Wang

Keyword(s):

Knowledge Base ◽

Design And Implementation ◽

Geometric Knowledge

Download Full-text

On the Heilbronn Optimal Configuration of Seven Points in the Square

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21046-4_11 ◽

2011 ◽

pp. 196-224 ◽

Cited By ~ 2

Author(s):

Zhenbing Zeng ◽

Liangyu Chen

Keyword(s):

Optimal Configuration

Download Full-text

Linear Programming for Bernstein Based Solvers

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21046-4_8 ◽

2011 ◽

pp. 163-178

Author(s):

Dominique Michelucci ◽

Christoph Fünfzig

Keyword(s):

Linear Programming

Download Full-text

Dynamical Systems of Simplices in Dimension Two or Three

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21046-4_1 ◽

2011 ◽

pp. 1-21

Author(s):

Gérald Bourgeois ◽

Sébastien Orange

Keyword(s):

Dynamical Systems

Download Full-text

Unique Factorization Domains in the Java Computer Algebra System

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21046-4_5 ◽

2011 ◽

pp. 86-115 ◽

Cited By ~ 4

Author(s):

Heinz Kredel

Keyword(s):

Computer Algebra ◽

Computer Algebra System ◽

Unique Factorization ◽

Unique Factorization Domains

Download Full-text

Multivariate Resultants in Bernstein Basis

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21046-4_4 ◽

2011 ◽

pp. 60-85 ◽

Cited By ~ 1

Author(s):

Deepak Kapur ◽

Manfred Minimair

Keyword(s):

Bernstein Basis

Download Full-text

Automated Deduction in Geometry - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Offsetting Revolution Surfaces

Automatic Verification of the Adequacy of Models for Families of Geometric Objects

An Introduction to Java Geometry Expert

Formalizing Projective Plane Geometry in Coq

On the Design and Implementation of a Geometric Knowledge Base

On the Heilbronn Optimal Configuration of Seven Points in the Square

Linear Programming for Bernstein Based Solvers

Dynamical Systems of Simplices in Dimension Two or Three

Unique Factorization Domains in the Java Computer Algebra System

Multivariate Resultants in Bernstein Basis

Automated Deduction in Geometry - Lecture Notes in Computer Science
Latest Publications