Comparing approaches to the exploration of the domain of residue classes.
From MaRDI portal
Publication:1404427
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
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
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.