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

@@ 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