Certifying solutions to permutation group problems.

DOI10.1007/B11829MaRDI QIDQ5900723zbMATH OpenOpenAlexFDO

Authors Arjeh M. Cohen, Murray, Scott H., Martin Pollet, Volker Sorge

Publication date 20 April 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11829

Mathematics Subject Classification ID

Recommendations

• Permutation group algorithms based on partitions. I: Theory and algorithms
• scientific article; zbMATH DE number 475356
• Fast Management of Permutation Groups I
• A strong generating test and short presentations for permutation groups
• scientific article; zbMATH DE number 1004935

Cited in

(2)

• Proof planning with multiple strategies
• Certifying algorithms

Describes a project that uses

Uses Software

• VSDITLU

This page was built for publication: Certifying solutions to permutation group problems.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5900723)