Advertisement

Workshop: The Role of Automated Deduction in Mathematics

  • Simon Colton
  • Volker Sorge
  • Ursula Martin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1831)

Abstract

The purpose of this workshop is to discuss the role of automated deduction in all areas of mathematics. This will include looking at the interaction between automated deduction programs and other computational systems which have been developed over recent years to automate different areas of mathematical activity. Such systems include computer algebra packages, tutoring programs, mathematical discovery systems and systems developed to help present and archive mathematical theories. The workshop will also include discussions of the use of automated theorem proving in the wider mathematical community. Presentations which detail the employment of automated deduction techniques in any area of mathematical research have been encouraged.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Simon Colton
  • Volker Sorge
  • Ursula Martin

There are no affiliations available

Personalised recommendations