Software integration and computer proofs

MaRDI QIDQ4790432zbMATH OpenFDO

Authors Michael Joswig

Publication date 28 January 2003

zbMATH Keywords

polymake system

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Polymake: an approach to modular software design in computational geometry
• Publication:4892490
• polymake: a framework for analyzing convex polytopes
• Computer theorem proving in mathematics
• Computer-assisted discovery and proof

Describes a project that uses

Uses Software

• polymake

This page was built for publication: Software integration and computer proofs

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