Automatic construction of finite algebras

DOI10.1007/BF02943488zbMath0837.68052OpenAlexW1977781899MaRDI QIDQ1894320

Jian Zhang

Publication date: 24 July 1995

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

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

zbMATH Keywords

model generationbacktracking search

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Uses Software

• FINDER
• MGTP

Cites Work

• The absence and the presence of fixed point combinators
• Yet another single law for groups
• The kernel strategy and its use for the study of combinatory logic
• Single axioms for groups and abelian groups with various operations
• Automated reasoning and exhaustive search: Quasigroup existence problems

This page was built for publication: Automatic construction of finite algebras