Classifying isomorphic residue classes

MaRDI QIDQ4433981zbMATH OpenFDO

Authors Andreas Meier, Martin Pollet, Volker Sorge

Publication date 3 November 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2178/21780494.htm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Comparing approaches to the exploration of the domain of residue classes.
• Exploring properties of residue classes
• Integrating computer algebra into proof planning
• scientific article; zbMATH DE number 1389645
• Employing theory formation to guide proof planning

Cited in

(8)

• Residues and secondary classes for subfoliations
• Comparing approaches to the exploration of the domain of residue classes.
• Exploring properties of residue classes
• The self-power map and collecting all residue classes
• scientific article; zbMATH DE number 2052828 (Why is no real title available?)
• Employing theory formation to guide proof planning
• Computer supported mathematics with MEGA
• On the basic character of residue classes

Describes a project that uses

Uses Software

• Maple
• OMEGA
• ActiveMath
• OTTER
• GAP

This page was built for publication: Classifying isomorphic residue classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4433981)