.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Deduction in Geometry
. Ed(S): Gao, Xiao-Shan; Wang, Dongming; Lu, Yang
€ 70.16
FREE Delivery in Ireland
Description for Automated Deduction in Geometry
Paperback. The refereed proceedings of the Second International Workshop on Automated Deduction in Geometry (ADG'98). Papers cover topics such as automated geometry theorem proving, automated geometry problem solving, plane Euclidean reasoning and Clifford algebraic methods for geometric reasoning. Editor(s): Gao, Xiao-Shan; Wang, Dongming; Lu, Yang. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 300 pages, biography. BIC Classification: PBM; UG; UYA; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 15. Weight in Grams: 424.
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 the strong tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun ¨ Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic developments, and applications in CAGD/CAD ... Read more
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 the strong tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun ¨ Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic developments, and applications in CAGD/CAD ... Read more
Product Details
Format
Paperback
Publication date
1999
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
300
Condition
New
Series
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Number of Pages
292
Place of Publication
Berlin, Germany
ISBN
9783540666721
SKU
V9783540666721
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Deduction in Geometry