Certifying solutions to permutation group problems

A.M. Cohen, S.H. Murray, M. Pollet, V. Sorge

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
1 Downloads (Pure)

Abstract

We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our code provides both answers and a set of certificates enabling a user, or an intelligent software system, to provide a full proof of correctness of the answer. To guarantee correctness we use proof planning techniques, which construct proofs in a human-oriented reasoning style. This gives the human mathematician the necessary insight into the computed solution, as well as making it feasible to check the solution for relatively large groups.
Original languageEnglish
Title of host publicationAutomated Deduction (Proceedings CADE-19, Miami Beach FL, USA, July 28-August 2, 2003)
EditorsF. Baader
Place of PublicationBerlin
PublisherSpringer
Pages258-273
ISBN (Print)3-540-40559-3
DOIs
Publication statusPublished - 2003
Eventconference; 19th International Conference on Automated Deduction; 2003-07-28; 2003-08-02 -
Duration: 28 Jul 20032 Aug 2003

Publication series

NameLecture Notes in Computer Science
Volume2741
ISSN (Print)0302-9743

Conference

Conferenceconference; 19th International Conference on Automated Deduction; 2003-07-28; 2003-08-02
Period28/07/032/08/03
Other19th International Conference on Automated Deduction

Fingerprint Dive into the research topics of 'Certifying solutions to permutation group problems'. Together they form a unique fingerprint.

  • Cite this

    Cohen, A. M., Murray, S. H., Pollet, M., & Sorge, V. (2003). Certifying solutions to permutation group problems. In F. Baader (Ed.), Automated Deduction (Proceedings CADE-19, Miami Beach FL, USA, July 28-August 2, 2003) (pp. 258-273). (Lecture Notes in Computer Science; Vol. 2741). Berlin: Springer. https://doi.org/10.1007/b11829