REMIS Paper Data

Real Quantifier Elimination in Geometry

Bibliographic information

Additional data alphabetic by keywords

Cited REMIS examples

• sturm99a_ex3-22 (Example 3.22, page 72) Real geometry proving - Steiner-Lehmus Theorem
• sw97_ex01 (part of Example 4.1, page 78) Cast Shadow of a Parametric Quadric
• sw97_ex02 (part of Example 4.1, page 78) Shaded Part of a Parametric Quadric
• sw97_ex03 (part of Example 4.1, page 78) Lighted part of a parametric quadric
• sw97_ex04 (part of Example 4.1, page 78) Boundary Between Shaded and Lighted Part of a Parametric Quadric
• sw97_ex05 (part of Example 4.1, page 78) Aspect of a Parametric Quadric
• sw97_ex06 (Example 4.2, page 79) Aspect of the Intersection Line of Two Parametric Tubes
• sw97_ex07 (Example 4.3, page 81) Rectangular Solid Reconstruction from Aspect
• sw97_ex08 (Example 4.4, page 82) Central Projection of a Line in Space
• sw97_ex09 (Example 4.5, page 83) Central Projection of the Unit Ball in Arbitrary Position
• sw97_ex10 (Example 4.6, page 84) Rectangular Wireframe Reconstruction from Cenral Projection
• sw97_ex11 (Example 4.9, page 89) Quantifier-Free Description of a Torus with Parametric Radii
• sw97_ex12 (Example 4.7, page 86) r-Offsets of the X and Y Axes wrt. Various Metrics
• sw97_ex14 (Example 4.10, page 89) Rounding the Corners of a Rectangle
• sw97_ex15 (Example 4.11, page 91) Voronoi Diagram of 3 Points in the Plane
• sw97_ex16 (Example 4.12, page 92) Voronoi Diagram of the Unit Circle and two Lines in the Plane
• sw97_ex17 (Example 4.13, page 93) Voronoi Diagram of the Unit Ball and a Parametric Plane
• sw97_ex18 (Example 4.14, page 94) Voronoi Diagram of the X-Axis and a Line in 3-Space
• sw97_ex19 (Examples 4.15, 4.16, pages 95, 96) Collision Detection Between a Disk and a Square
• sw97_ex20 (Example 4.17, page 96) Collision Detection Between a Cube and a Quadric
• sw97_ex21 (Example 4.18, page 96) Collision Between Aeroplanes Descending in Spirals

• Sturm_99a.keywords