A verified implementation of algebraic numbers in Isabelle/HOL (Q2303244): Difference between revisions

@@ Property / cites work @@
+Q5277869
@@ Property / cites work: Q5277869 / rank @@
+Normal rank
@@ Property / cites work @@
+The Subresultant PRS Algorithm
@@ Property / cites work: The Subresultant PRS Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+On Euclid's Algorithm and the Theory of Subresultants
+Normal rank
@@ Property / cites work @@
+Construction of Real Algebraic Numbers in Coq
@@ Property / cites work: Construction of Real Algebraic Numbers in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
+Normal rank
@@ Property / cites work @@
+A verified implementation of the Berlekamp-Zassenhaus factorization algorithm
+Normal rank
@@ Property / cites work @@
+Optimizations of the subresultant algorithm
@@ Property / cites work: Optimizations of the subresultant algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406533
@@ Property / cites work: Q4406533 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination Competition (termCOMP 2015)
@@ Property / cites work: Termination Competition (termCOMP 2015) / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement in Isabelle/HOL
@@ Property / cites work: Data Refinement in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+On multiset orderings
@@ Property / cites work: On multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials
+Normal rank
@@ Property / cites work @@
+Q4282674
@@ Property / cites work: Q4282674 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q3232347
@@ Property / cites work: Q3232347 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Numbers in Isabelle/HOL
@@ Property / cites work: Algebraic Numbers in Isabelle/HOL / rank @@
+Normal rank