scientific article; zbMATH DE number 2000435

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
• scientific article; zbMATH DE number 2090054

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?)
• scientific article; zbMATH DE number 2090054 (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
• OMEGA
• ActiveMath
• OTTER
• GAP

This page was built for publication:

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