×

zbMATH — the first resource for mathematics

Automated deduction in geometry. 7th international workshop, ADG 2008, Shanghai, China, September 22–24, 2008. Revised papers. (English) Zbl 1214.68020
Lecture Notes in Computer Science 6301. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-21045-7/pbk). vii, 225 p. (2011).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding workshop see Zbl 1132.68006.
Indexed articles:
Bourgeois, Gérald; Orange, Sébastien, Dynamical systems of simplices in dimension two or three, 1-21 [Zbl 1302.51014]
Chen, Xiaoyu; Huang, Ying; Wang, Dongming, On the design and implementation of a geometric knowledge base, 22-41 [Zbl 1302.68252]
Grégoire, Benjamin; Pottier, Loïc; Théry, Laurent, Proof certificates for algebra and their application to automatic geometry theorem proving, 42-59 [Zbl 1302.68242]
Kapur, Deepak; Minimair, Manfred, Multivariate resultants in Bernstein basis, 60-85 [Zbl 1302.13029]
Kredel, Heinz, Unique factorization domains in the Java computer algebra system, 86-115 [Zbl 1302.13020]
Lasaruk, Aless; Sturm, Thomas, Automatic verification of the adequacy of models for families of geometric objects, 116-140 [Zbl 1302.14046]
Magaud, Nicolas; Narboux, Julien; Schreck, Pascal, Formalizing projective plane geometry in Coq, 141-162 [Zbl 1302.68246]
Michelucci, Dominique; Fünfzig, Christoph, Linear programming for Bernstein based solvers, 163-178 [Zbl 1302.68126]
San Segundo, Fernando; Sendra, J. Rafael, Offsetting revolution surfaces, 179-188 [Zbl 1302.52015]
Ye, Zheng; Chou, Shang-Ching; Gao, Xiao-Shan, An introduction to Java geometry expert. (Extended abstract), 189-195 [Zbl 1302.68247]
Zeng, Zhenbing; Chen, Liangyu, On the Heilbronn optimal configuration of seven points in the square, 196-224 [Zbl 1302.52022]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
00B25 Proceedings of conferences of miscellaneous specific interest
Software:
Coq
PDF BibTeX XML Cite
Full Text: DOI