View of Computer Algebra Data from Coq (Q5200109): Difference between revisions

@@ Property / author @@
-Olexandr Konovalov
@@ Property / author: Olexandr Konovalov / rank @@
-Normal rank
@@ Property / author @@
+Olexandr Konovalov
@@ Property / author: Olexandr Konovalov / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SCSCP
@@ Property / describes a project that uses: SCSCP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GAP
@@ Property / describes a project that uses: GAP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-22673-1_6
+Normal rank
@@ Property / OpenAlex ID @@
+W96426063
@@ Property / OpenAlex ID: W96426063 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical knowledge management in HELM
@@ Property / cites work: Mathematical knowledge management in HELM / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Abstract Interpretation: A Formal Study Using Coq
+Normal rank
@@ Property / cites work @@
+A formal study of Bernstein coefficients and polynomials
+Normal rank
@@ Property / cites work @@
+Q4499160
@@ Property / cites work: Q4499160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4232470
@@ Property / cites work: Q4232470 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767915
@@ Property / cites work: Q2767915 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal and efficient primality proofs by use of computer algebra oracles
+Normal rank
@@ Property / cites work @@
+Q2852041
@@ Property / cites work: Q2852041 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Computation Software Composability
@@ Property / cites work: Symbolic Computation Software Composability / rank @@
+Normal rank
@@ Property / cites work @@
+Packaging Mathematical Structures
@@ Property / cites work: Packaging Mathematical Structures / rank @@
+Normal rank
@@ Property / cites work @@
+A Computational Approach to Pocklington Certificates in Type Theory
+Normal rank
@@ Property / cites work @@
+OpenMath in SCIEnce: SCSCP and POPCORN
@@ Property / cites work: OpenMath in SCIEnce: SCSCP and POPCORN / rank @@
+Normal rank
@@ Property / cites work @@
+Certified Computer Algebra on Top of an Interactive Theorem Prover
+Normal rank
@@ Property / cites work @@
+Interfacing Coq + SSReflect with GAP
@@ Property / cites work: Interfacing Coq + SSReflect with GAP / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank