Authors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1669)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Conference series link(s): ADG: International Workshop on Automated Deduction in Geometry
Conference proceedings info: ADG 1998.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (14 papers)
-
Front Matter
-
Back Matter
About this book
Authors and Affiliations
-
Academia Sinica, Institute of Systems Science, Beijing, China
Xiao-Shan Gao
-
Laboratoire LEIBNIZ, Institut IMAG, Grenoble Cedex, France
Dongming Wang
-
Laboratory for Automated Reasoning and Programming, Chengdu Institute of Computer Applications, Academia Sinica, Chengdu, China
Lu Yang
Bibliographic Information
Book Title: Automated Deduction in Geometry
Book Subtitle: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Authors: Xiao-Shan Gao, Dongming Wang, Lu Yang
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-47997-X
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1999
Softcover ISBN: 978-3-540-66672-1Published: 13 October 1999
eBook ISBN: 978-3-540-47997-0Published: 26 June 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 292
Topics: Theory of Computation, Geometry, Artificial Intelligence, Mathematical Logic and Formal Languages, Computer Graphics, Image Processing and Computer Vision