Formally verified certificate checkers for hardest-to-round computation (Q2352500): Difference between revisions

@@ Property / cites work @@
+A Hensel lifting to replace factorization in list-decoding of algebraic-geometric and Reed-Solomon codes
+Normal rank
@@ Property / cites work @@
+Simplified High-Speed High-Distance List Decoding for Alternant Codes
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Canonical Big Operators
@@ Property / cites work: Canonical Big Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Finding smooth integers in short intervals using CRT decoding
+Normal rank
@@ Property / cites work @@
+Factoring polynomials with rational coefficients
@@ Property / cites work: Factoring polynomials with rational coefficients / rank @@
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Refinements for Free!
@@ Property / cites work: Refinements for Free! / rank @@
+Normal rank
@@ Property / cites work @@
+Finding a Small Root of a Bivariate Integer Equation; Factoring with High Bits Known
+Normal rank
@@ Property / cites work @@
+Finding a Small Root of a Univariate Modular Equation
+Normal rank
@@ Property / cites work @@
+Small solutions to polynomial equations, and low exponent RSA vulnerabilities
+Normal rank
@@ Property / cites work @@
+A Refinement-Based Approach to Computational Algebra in Coq
+Normal rank
@@ Property / cites work @@
+Q3075246
@@ Property / cites work: Q3075246 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved decoding of Reed-Solomon and algebraic-geometry codes
+Normal rank
@@ Property / cites work @@
+Data Refinement in Isabelle/HOL
@@ Property / cites work: Data Refinement in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Data Refinement
@@ Property / cites work: Automatic Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Floating-Point Arithmetic
@@ Property / cites work: Handbook of Floating-Point Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+First-Class Type Classes
@@ Property / cites work: First-Class Type Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Number Theory
@@ Property / cites work: Algorithmic Number Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Searching worst cases of a one-variable function using lattice reduction
+Normal rank
@@ Property / cites work @@
+Q5462776
@@ Property / cites work: Q5462776 / rank @@
+Normal rank
@@ Property / cites work @@
+On the adjugate matrix
@@ Property / cites work: On the adjugate matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406533
@@ Property / cites work: Q4406533 / rank @@
+Normal rank