View of Computer Algebra Data from Coq
From MaRDI portal
Publication:5200109
DOI10.1007/978-3-642-22673-1_6zbMATH Open1335.68232OpenAlexW96426063MaRDI QIDQ5200109FDOQ5200109
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
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Computational Approach to Pocklington Certificates in Type Theory
- Structural Abstract Interpretation: A Formal Study Using Coq
- Formal and efficient primality proofs by use of computer algebra oracles
- Packaging Mathematical Structures
- OpenMath in SCIEnce: SCSCP and POPCORN
- Certified Computer Algebra on Top of an Interactive Theorem Prover
- Mathematical Knowledge Management
- Mathematical knowledge management in HELM
- A formal study of Bernstein coefficients and polynomials
- Symbolic Computation Software Composability
- Certified and portable mathematical documents from formal contexts
- Quantifier elimination over algebraically closed fields in a proof assistant using a computer algebra system
- Interfacing Coq + SSReflect with GAP
Cited In (1)
Uses Software
This page was built for publication: View of Computer Algebra Data from Coq
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5200109)
