Workshop: The Role of Automated Deduction in Mathematics

Simon Colton, Volker Sorge, Ursula Martin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationAutomated Deduction - CADE-17
Subtitle of host publication17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings
EditorsDavid McAllester
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages1
ISBN (Electronic)978-3-540-45101-3
ISBN (Print)978-3-540-67664-5
Publication statusPublished - 2000

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'Workshop: The Role of Automated Deduction in Mathematics'. Together they form a unique fingerprint.

Cite this