scientific article

zbMath0999.68264MaRDI QIDQ2751544

Martijn Oostdijk, Olga Caprotti

Publication date: 3 July 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computer algebra softwareCOQ

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

Formal and efficient primality proofs by use of computer algebra oracles

Uses Software

• Coq