Automated Deduction in Geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Gao, Xiao-lu (Editor, http://id.loc.gov/vocabulary/relators/edt), Wang, Dongming (Editor, http://id.loc.gov/vocabulary/relators/edt), Yang, Lu (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Edition: 1st ed. 1999.
• Series: Lecture Notes in Artificial Intelligence ; 1669
• Subjects: Computers.; Geometry.; Artificial intelligence.; Mathematical logic.; Computer graphics.; Optical data processing.; Theory of Computation.; Artificial Intelligence.; Mathematical Logic and Formal Languages.; Computer Graphics.; Image Processing and Computer Vision.

The Second International Workshop on Automated Deduction in Geometry (ADG '98) was held in Beijing, China, August 1-3, 1998. An increase of interest in ADG '98 over the previous workshop ADG '96 is represented by the notable number of more than 40 participants from ten countries and t...