Skip to main content
  • Conference proceedings
  • © 2007

Automated Deduction in Geometry

6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4869)

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 2006.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (13 papers)

Other Volumes

  1. Automated Deduction in Geometry

Keywords

  • 3D-geometry
  • algorithm verification
  • algorithms
  • automated deduction
  • automatic discovering
  • cognition
  • computational geometry
  • computer vision
  • computer-aided design
  • dynamic geometry
  • formal reasoning
  • formal verification
  • proving
  • theorem proving
  • verification

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions