Classification results in quasigroup and loop theory via a combination of automated reasoning tools.

MaRDI QIDQ3568690zbMATH OpenFDO

Authors Volker Sorge, Simon Colton, Roy L. McCasland, Andreas Meier

Publication date 15 June 2010

Full work available at URL https://eudml.org/doc/227901, http://www.emis.de/journals/CMUC/cmuc0802/cmuc0802.htm

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

automated reasoningclassificationfinite loopsfinite quasigroupsisomorphismsisotopisms

Mathematics Subject Classification ID

Loops, quasigroups (20N05) Symbolic computation and algebraic computation (68W30)

Recommendations

• Automated theorem proving in quasigroup and loop theory
• Automated Reasoning
• Automatic construction and verification of isotopy invariants
• Automatic Construction and Verification of Isotopy Invariants
• Quasigroups, loops, and associative laws

Cited in

(11)

• Automated reasoning and exhaustive search: Quasigroup existence problems
• On the generation of quantified lemmas
• Automated theorem proving in quasigroup and loop theory
• Algorithmic introduction of quantified cuts
• scientific article; zbMATH DE number 1138223 (Why is no real title available?)
• scientific article; zbMATH DE number 1522682 (Why is no real title available?)
• Loops with abelian inner mapping groups: an application of automated deduction
• Enumeration of AG-groupoids.
• Automated Reasoning
• Applying SAT solving in classification of finite algebras
• Automatic construction and verification of isotopy invariants

Describes a project that uses

Uses Software

• GAP
• VAMPIRE
• Mace4
• CVC Lite
• OTTER
• SPASS
• E Theorem Prover
• Chaff

This page was built for publication: Classification results in quasigroup and loop theory via a combination of automated reasoning tools.

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