scientific article; zbMATH DE number 1497749

MaRDI QIDQ4499160zbMATH OpenFDO

Authors

Publication date 6 March 2001

zbMATH Keywords

FOC project

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 524110
• Certified Computer Algebra on Top of an Interactive Theorem Prover
• Recent advances in program verification through computer algebra
• scientific article; zbMATH DE number 3933053
• Artificial Intelligence and Symbolic Computation
• scientific article; zbMATH DE number 949384
• scientific article; zbMATH DE number 814089

Cited in

(7)

• Invariants for the FoCaL language
• Hidden verification for computational mathematics
• Mathematical knowledge management in Foc
• View of computer algebra data from Coq
• Certified Computer Algebra on Top of an Interactive Theorem Prover
• Comparative verification of the digital library of mathematical functions and computer algebra systems
• Some remarks on blowing-ups in a computer algebra system

Describes a project that uses

Uses Software

• AXIOM
• Coq
• OCaml

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 Q4499160)