Comparing approaches to the exploration of the domain of residue classes.

DOI10.1006/JSCO.2002.0550zbMath1038.68110OpenAlexW2032943731MaRDI QIDQ1404427

Martin Pollet, Andreas Meier, Volker Sorge

Publication date: 21 August 2003

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://research.birmingham.ac.uk/portal/en/publications/comparing-approaches-to-the-exploration-of-the-domain-of-residue-classes(84499812-4ad3-4e20-94c2-26bd79b5fce3).html

zbMATH Keywords

computer algebra systemsplanning process

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (3)

Computer supported mathematics with \(\Omega\)MEGA ⋮ Comparing approaches to the exploration of the domain of residue classes. ⋮ Constraint solving for proof planning

Uses Software

• GAP
• Maple
• OTTER

Cites Work

• Unnamed Item
• Unnamed Item
• Integrating computer algebra into proof planning
• Automated reasoning and exhaustive search: Quasigroup existence problems
• Comparing approaches to the exploration of the domain of residue classes.
• Knowledge-based proof planning
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Comparing approaches to the exploration of the domain of residue classes.