Automated Deduction in Geometry Image close
Automated Deduction in Geometry
Automated Deduction in Geometry
Show Hide Adult Content
Automated Deduction in Geometry close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Geometry

Automated Deduction in Geometry

7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$138.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Lecture Notes in Artificial Intelligence

See all products in this series

Advances in Brain Inspired Cognitive Systems
$187.99
Advances in Brain Inspired Cognitive Systems
Paperback / softback
Pre-order - out 29 May 2024
Advances in Knowledge Discovery and Data Mining
$291.99
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 7 Jun 2024
Trends and Applications in Knowledge Discovery and Data Mining
$242.99
Trends and Applications in Knowledge Discovery and Data Mining
Paperback / softback
Pre-order - out 5 Jun 2024
Verification of Object-Oriented Software. The KeY Approach
$281.99
Verification of Object-Oriented Software. The KeY Approach
Paperback / softback
Available - Usually ships in 3-4 weeks
Machine Translation: From Research to Real Users Save $21
$147.99
$169.95
Machine Translation: From Research to Real Users
Paperback / softback
Available - Usually ships in 3-4 weeks
Verbal and Nonverbal Communication Behaviours Save $17
$140.99
$158.95
Verbal and Nonverbal Communication Behaviours
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Intelligence and Cognitive Science Save $19
$138.99
$158.95
Artificial Intelligence and Cognitive Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic Programming and Nonmonotonic Reasoning Save $10
$147.99
$158.95
Logic Programming and Nonmonotonic Reasoning
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Web Intelligence Save $19
$138.99
$158.95
Advances in Web Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Inductive Logic Programming
$138.99
Inductive Logic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Knowledge Science, Engineering and Management Save $35
$149.99
$185.95
Knowledge Science, Engineering and Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Neural Systems Save $38
$272.99
$311.95
Hybrid Neural Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Multi-Agent Systems and Applications
$142.99
Multi-Agent Systems and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Qualitative Spatial Reasoning with Topological Information by Jochen Renz Save $19
$138.99
$158.95
Qualitative Spatial Reasoning with Topological Information
by Jochen Renz ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Discovery Science
$139.99
Discovery Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Intelligence in Education
$222.99
Artificial Intelligence in Education
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Automated Deduction in Geometry, ADG 2008, held in Shanghai, China in September 2008. The 11 revised full papers presented were carefully reviewed and selected from numerous initial submissions for the workshop during two rounds of reviewing and improvement. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics such as discrete mathematics, combinatorics, and numerics; symbolic and numeric methods for geometric computation, and geometric constraint solving. Further issues are the design and implementation of geometry software, special-purpose tools, automated theorem provers - in short applications of ADG to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education.
Release date Australia
May 16th, 2011
Audience
  • Professional & Vocational
Contributors
  • Edited by Christoph Zengler
  • Edited by Thomas Sturm
Illustrations
22 Illustrations, color; 46 Illustrations, black and white; IX, 225 p. 68 illus., 22 illus. in color.
Pages
225
Dimensions
155x235x15
ISBN-13
9783642210457
Product ID
10896577

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Geometry
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Algorithms & procedures
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Software Packages >
Multimedia
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Discrete mathematics
Books >
Computers & Internet >
Computer programming / software development >
Graphics programming
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists
Books >
Computers & Internet >
Computer science >
Artificial intelligence