LIX - PDFSEARCH.IO - Document Search Engine

LIX
Results: 507

#	Item
1	Algebraic techniques for number field computations (extended abstract) Jean-Fran¸cois Biasse1 , Michael J. Jacobson, Jr.2? , and Alan K. Silvester3 ´ 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 Abstract algebra Mathematics Finite fields Group theory Logarithms Algebraic number theory Numerical linear algebra XTR Discrete logarithm Gaussian elimination Quadratic field
2	Stochastic arithmetic in multiprecision Stef Graillat Joint work with Fabienne Jézéquel and Yuxiang Zhu LIP6/PEQUAN - Université Pierre et Marie Curie (Paris 6) - CNRS NSV3, Third International Workshop on Numerical Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:13 Computer arithmetic Mathematics Arithmetic Theoretical computer science Rounding Division algorithm Expected value
3	The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:15 Parallel computing Computing Computer engineering Computer science Electrical engineering Electronic engineering Electromagnetism Message Passing Interface Model checking Computer programming Computational science Simulation
4	MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXAN L(1/3) ALGORITHM FOR IDEAL CLASS GROUP AND REGULATOR COMPUTATION IN CERTAIN NUMBER FIELDS Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-09-02 16:26:26 Mathematics Abstract algebra Mathematical analysis Algebraic number theory Discriminant of an algebraic number field Riemann hypothesis Algebraic number field Table of stars with Bayer designations Computational complexity of mathematical operations
5	Tool session NSV 3 FLOC 2010, Edinburgh Tool session Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:16 Software engineering Formal methods Computer programming Computing Invariant Benchmark Infinite loop
6	What is iterative refinement How to use iterative refinement to verify a computed result? Influence of the computing precision Conclusion and future work Iterative refinement: Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:16 Mathematical analysis Numerical analysis Mathematics Numerical linear algebra Root-finding algorithms Iterative refinement Residual Newton's method Pi Approximations of Gradient descent Mathematical optimization
7	Subexponential time relations in the class group of large degree number fields Jean-François Biasse University of Calgary 2500 University Drive NW Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-05-19 16:48:45 Mathematics Algebra Abstract algebra Algebraic geometry Bernhard Riemann Conjectures Analysis of algorithms Analytic number theory Generalized Riemann hypothesis Big O notation Valuation Riemann hypothesis
8	FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:13 Computing Software engineering Computer programming Array programming languages High-level programming languages Parallel computing Compiler optimizations Fortran Functional programming MATLAB Argonne National Laboratory NP
9	Non-randomness in eSTREAM Candidates Salsa20 and TSC-4 Simon Fischer1 , Willi Meier1 , Cˆ ome Berbain , Jean-Fran¸cois Biasse2 , and M.J.B. Robshaw2 2 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-09-02 14:57:05 Cryptography Stream ciphers Salsa20 VEST Tiny Encryption Algorithm Keystream ESTREAM ICE Weak key Data Encryption Standard Indocrypt
10	Advances in Mathematics of Communications Volume X, No. 0X, 200X, X–XX Web site: http://www.aimSciences.org IMPROVEMENTS IN THE COMPUTATION OF IDEAL CLASS Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-09-02 16:16:17 Algebra Mathematics Linear algebra Numerical linear algebra Integer factorization algorithms Polynomials Gaussian elimination Quadratic sieve Index calculus algorithm Factorization Factorial Kernel