View of Computer Algebra Data from Coq
From MaRDI portal
Publication:5200109
DOI10.1007/978-3-642-22673-1_6zbMath1335.68232OpenAlexW96426063MaRDI QIDQ5200109
Vladimir Komendantsky, Steve Linton, Olexandr Konovalov
Publication date: 29 July 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22673-1_6
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Formal and efficient primality proofs by use of computer algebra oracles
- Mathematical knowledge management in HELM
- A formal study of Bernstein coefficients and polynomials
- Packaging Mathematical Structures
- A Computational Approach to Pocklington Certificates in Type Theory
- OpenMath in SCIEnce: SCSCP and POPCORN
- Interfacing Coq + SSReflect with GAP
- Structural Abstract Interpretation: A Formal Study Using Coq
- Certified Computer Algebra on Top of an Interactive Theorem Prover
- Symbolic Computation Software Composability
- Mathematical Knowledge Management
This page was built for publication: View of Computer Algebra Data from Coq
