LIX - PDFSEARCH.IO - Document Search Engine

LIX
Results: 507

#	Item
11	Smoothness Testing of Polynomials over Finite Fields Jean-Franc ¸ ois Biasse and Michael J. Jacobson Jr. Department of Computer Science, University of Calgary 2500 University Drive NW Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-05-19 17:03:48 Mathematics Multiplication Polynomials Algebra Multiplication algorithm Computer algebra ToomCook multiplication Karatsuba algorithm Degree of a polynomial Finite field Remainder Computational complexity of mathematical operations
12	A polynomial time algorithm for computing the HNF of a module over the integers of a number field Jean-François Biasse Claus Fieker Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-09-02 14:57:05
13	Se urity Estimates for Quadrati Field Based Cryptosystems Jean-Fran ois Biasse1 , Mi hael J. Ja obson, Jr.2 ? , and Alan K. Silvester3 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-09-02 14:57:05 Mathematics Logarithms Mathematical analysis Discrete mathematics Binary logarithm 108 Factorial Prime number Common logarithm P
14	Microsoft PowerPoint - NSV3_0710 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:14 Realization Systems theory XC Control theory Systems science Cybernetics
15	SMT-Style Program Analysis SMT-Style Program Analysis with Value-based Refinements Vijay D’Silva Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:14 Formal methods Algebraic structures Abstract interpretation Refinement Lattice Universal quantification Mathematics Computing Theoretical computer science
16	Can you count on your computer? inspired from Nick Higham, Jean-Michel Muller, Siegfried Rump, Arnaud Tisserand and many others NSV-3, 15 July 2010 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:14 Mathematics Computer arithmetic Arithmetic Elementary arithmetic Binary arithmetic Higham Significant figures Rounding Addition Binary number
17	A Taylor Function Calculus for Hybrid System Analysis Validation in Coq P. Collins1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-23 02:52:18 Dynamical systems Systems science Systems theory Differential equations Control theory Hybrid system Metabolism Ariadne Verification Nonlinear system Coq Coenzyme Q10
18	Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:12 Theoretical computer science Formal methods French Institute for Research in Computer Science and Automation Computer science Verification Formal verification Software verification Mathematics Cognitive science
19	Practical improvements to class group and regulator computation of real quadratic fields Jean-Fran¸cois Biasse1 and Michael J. Jacobson, Jr.2? ´ Ecole Polytechnique, 91128 Palaiseau, France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-09-02 14:57:05 Algebra Mathematics Abstract algebra Algebraic number theory Integer factorization algorithms Quadratic forms Field theory Numerical linear algebra Quadratic sieve Factorization Factor base Ideal class group
20	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2012-04-16 03:08:11

UPDATE