Selected Topics in Geometry with Classical vs. Computer Proving
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789812709424, 9789812709431

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Geometric inequalities

Selected Topics in Geometry with Classical vs. Computer Proving ◽

10.1142/9789812709431_0007 ◽

2007 ◽

pp. 163-185

Keyword(s):

Geometric Inequalities

Download Full-text

BACK MATTER

Selected Topics in Geometry with Classical vs. Computer Proving ◽

10.1142/9789812709431_bmatter ◽

2007 ◽

pp. 225-239

Download Full-text

Regular polygons

Selected Topics in Geometry with Classical vs. Computer Proving ◽

10.1142/9789812709431_0008 ◽

2007 ◽

pp. 187-201

Keyword(s):

Regular Polygons

Download Full-text

Transversals in a polygon

Selected Topics in Geometry with Classical vs. Computer Proving ◽

10.1142/9789812709431_0005 ◽

2007 ◽

pp. 91-125

Download Full-text

Generalization of the formula of Heron

Selected Topics in Geometry with Classical vs. Computer Proving ◽

10.1142/9789812709431_0003 ◽

2007 ◽

pp. 33-63

Download Full-text

Introduction

Selected Topics in Geometry with Classical vs. Computer Proving ◽

10.1142/9789812709431_0001 ◽

2007 ◽

pp. 1-4

Download Full-text

FRONT MATTER

Selected Topics in Geometry with Classical vs. Computer Proving ◽

10.1142/9789812709431_fmatter ◽

2007 ◽

pp. i-xi

Download Full-text

Automatic theorem proving

Selected Topics in Geometry with Classical vs. Computer Proving ◽

10.1142/9789812709431_0002 ◽

2007 ◽

pp. 5-32

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Automatic Theorem

Download Full-text

Miscellaneous

Selected Topics in Geometry with Classical vs. Computer Proving ◽

10.1142/9789812709431_0009 ◽

2007 ◽

pp. 203-223

Download Full-text

Petr—Douglas—Neumann theorem

Selected Topics in Geometry with Classical vs. Computer Proving ◽

10.1142/9789812709431_0006 ◽

2007 ◽

pp. 127-162

Keyword(s):

Neumann Theorem

Download Full-text