default search action
7th ADG 2008: Shanghai, China
- Thomas Sturm, Christoph Zengler:
Automated Deduction in Geometry - 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers. Lecture Notes in Computer Science 6301, Springer 2011, ISBN 978-3-642-21045-7 - Gerald Bourgeois, Sébastien Orange:
Dynamical Systems of Simplices in Dimension Two or Three. 1-21 - Xiaoyu Chen, Ying Huang, Dongming Wang:
On the Design and Implementation of a Geometric Knowledge Base. 22-41 - Benjamin Grégoire, Loïc Pottier, Laurent Théry:
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving. 42-59 - Deepak Kapur, Manfred Minimair
:
Multivariate Resultants in Bernstein Basis. 60-85 - Heinz Kredel:
Unique Factorization Domains in the Java Computer Algebra System. 86-115 - Aless Lasaruk, Thomas Sturm
Automatic Verification of the Adequacy of Models for Families of Geometric Objects. 116-140 - Nicolas Magaud
Formalizing Projective Plane Geometry in Coq. 141-162 - Dominique Michelucci, Christoph Fünfzig:
Linear Programming for Bernstein Based Solvers. 163-178 - Fernando San Segundo, J. Rafael Sendra:
Offsetting Revolution Surfaces. 179-188 - Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao:
An Introduction to Java Geometry Expert - (Extended Abstract). 189-195 - Zhenbing Zeng, Liangyu Chen:
On the Heilbronn Optimal Configuration of Seven Points in the Square. 196-224
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: