Abstract is missing.
- Dynamical Systems of Simplices in Dimension Two or ThreeGerald Bourgeois, Sébastien Orange. 1-21 [doi]
- On the Design and Implementation of a Geometric Knowledge BaseXiaoyu Chen, Ying Huang, Dongming Wang. 22-41 [doi]
- Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem ProvingBenjamin Grégoire, Loïc Pottier, Laurent Théry. 42-59 [doi]
- Multivariate Resultants in Bernstein BasisDeepak Kapur, Manfred Minimair. 60-85 [doi]
- Unique Factorization Domains in the Java Computer Algebra SystemHeinz Kredel. 86-115 [doi]
- Automatic Verification of the Adequacy of Models for Families of Geometric ObjectsAless Lasaruk, Thomas Sturm. 116-140 [doi]
- Formalizing Projective Plane Geometry in CoqNicolas Magaud, Julien Narboux, Pascal Schreck. 141-162 [doi]
- Linear Programming for Bernstein Based SolversDominique Michelucci, Christoph Fünfzig. 163-178 [doi]
- Offsetting Revolution SurfacesFernando San Segundo, J. Rafael Sendra. 179-188 [doi]
- An Introduction to Java Geometry Expert - (Extended Abstract)Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao. 189-195 [doi]
- On the Heilbronn Optimal Configuration of Seven Points in the SquareZhenbing Zeng, Liangyu Chen. 196-224 [doi]