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

No abstract is available for this paper.

• Publication year

  2008

• Venue

  Unknown venue

• Publication date

  Unknown publication date

• Fields of study

  Mathematics, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Mathematical applications of inductive logic programming

  2006cited by this paper
• Automatic Construction and Verification of Isotopy Invariants

  2006cited by this paper
• The IJCAR-2004 Automated Theorem Proving Competition

  2005cited by this paper
• Applying SAT Solving in Classification of Finite Algebras

  2005cited by this paper
• CVC Lite: A New Implementation of the Cooperating Validity Checker Category B

  2004cited by this paper
• DPLL( T): Fast Decision Procedures

  2004cited by this paper
• Automatic Generation of Classification Theorems for Finite Algebras

  2004cited by this paper
• Mace4 Reference Manual and Guide

  2003cited by this paper
• OTTER 3.3 Reference Manual

  2003cited by this paper
• Automated Theory Formation in Pure Mathematics

  2002cited by this paper
• E – a brainiac theorem prover

  2002cited by this paper
• S PASS Version 2.0

  2002cited by this paper
• Vampire 1.1 (System Description)

  2001cited by this paper
• Chaff: engineering an efficient SAT solver

  2001cited by this paper
• Cha : Engineering an e cient SAT solver

  2001cited by this paper
• Automatic Identification of Mathematical Concepts

  2000cited by this paper
• Automated reasoning and exhaustive search: Quasigroup existence problems☆

  1995cited by this paper
• Automated reasoning

  1987cited by this paper
• Isotopy invariants in quasigroups

  1970cited by this paper

• Reconstructing Abstract Concepts and their Blends Via Computational Cognitive Modeling

  2020cites this paper
• On the Generation of Quantified Lemmas

  2018cites this paper
• Fixed Verse Generation using Neural Word Embeddings

  2016cites this paper
• Computing relatively large algebraic structures by automated theory exploration

  2014cites this paper
• Introducing Quantified Cuts in Logic with Equality

  2014cites this paper
• Algorithmic introduction of quantified cuts

  2014cites this paper
• Combining Systems for Mathematical Creativity (Invited Talk)

  2014cites this paper
• Automated Theory Formation: The Next Generation

  2013cites this paper
• Algebraic Theory Exploration: A Comparison of Technologies

  2012cites this paper
• Computational Creativity: The Final Frontier?

  2012cites this paper
• Formal Aspects of Computing Formal Aspects of Computing Discovery of invariants through automated theory formation

  2012cites this paper
• Enumeration of AG-Groupoids

  2011cites this paper
• Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010

  2010cites this paper
• Classification of Quasigroup-structures with respect to their Cryptographic Properties

  2009cites this paper
• Proceedings of the Automated Reasoning Workshop 2009 Bridging the Gap between Theory and Practice ARW 2009 21 st – 22 nd April 2009

  2009cites this paper
• Computational Creativity

  2006cites this paper