Comparing approaches to the exploration of the domain of residue classes.
type: Item
instance of: scholarly article
title: Comparing approaches to the exploration of the domain of residue classes.
zbMATH Open document ID: 1038.68110
author: Andreas Meier
author: Martin Pollet
author: Volker Sorge
published in: Journal of Symbolic Computation
publication date: 2003-08-21T00:00:00Z
full work available at URL: comparing-approaches-to-the-exploration-of-the-domain-of-residue-classes(84499812-4ad3-4e20-94c2-26bd79b5fce3).html
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 1968943
zbMATH Keywords: computer algebra systems
zbMATH Keywords: planning process
describes a project that uses: OTTER
describes a project that uses: GAP
describes a project that uses: Maple
MaRDI profile type: Publication
OpenAlex ID: W2032943731
cites work: Integrating computer algebra into proof planning
cites work: Exploring properties of residue classes
cites work: Knowledge-based proof planning
cites work: Q4868571
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Automated reasoning and exhaustive search: Quasigroup existence problems
DOI: 10.1006/JSCO.2002.0550
Recommended article: Exploring properties of residue classes
Recommended article: Q4433981
Recommended article: On the basic character of residue classes
Recommended article: Q4288958
Recommended article: Q5767767
Recommended article: Q3754272
Recommended article: Q4717935
Recommended article: Q4228847
description: scientific article; zbMATH DE number 1968943