Exploring properties of residue classes

MaRDI QIDQ2751548zbMATH OpenFDO

Authors Andreas Meier, Volker Sorge

Publication date 21 October 2001

zbMATH Keywords

computer algebra systemsequational reasoning

Mathematics Subject Classification ID

Recommendations

• Comparing approaches to the exploration of the domain of residue classes.
• scientific article; zbMATH DE number 2000435
• scientific article; zbMATH DE number 2090054
• Proof planning with multiple strategies
• scientific article; zbMATH DE number 1497748

Cited in

(4)

• Comparing approaches to the exploration of the domain of residue classes.
• scientific article; zbMATH DE number 2000435 (Why is no real title available?)
• Computer supported mathematics with MEGA
• On the basic character of residue classes

Describes a project that uses

Uses Software

• Maple
• GAP
• OMEGA

This page was built for publication: Exploring properties of residue classes

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