Arithmetic

Results: 8697



#Item
11Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–452) FUNCTIONAL TRANSCENDENCE AND ARITHMETIC APPLICATIONS Jacob Tsimerman

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–452) FUNCTIONAL TRANSCENDENCE AND ARITHMETIC APPLICATIONS Jacob Tsimerman

Add to Reading List

Source URL: eta.impa.br

Language: English - Date: 2018-07-25 13:17:43
12SAT modulo the theory of linear arithmetic: Exact, inexact and commercial solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell  11th International Conference, SAT 2008

SAT modulo the theory of linear arithmetic: Exact, inexact and commercial solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell 11th International Conference, SAT 2008

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2008-05-19 09:02:24
13Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting†∗ Jonathan Bootle1 , Andrea Cerulli1 , Pyrros Chaidos1∗∗ , Jens Groth1 , and Christophe Petit2 1

Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting†∗ Jonathan Bootle1 , Andrea Cerulli1 , Pyrros Chaidos1∗∗ , Jens Groth1 , and Christophe Petit2 1

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2016-03-08 12:29:47
14Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–412) HEURISTICS FOR THE ARITHMETIC OF ELLIPTIC CURVES Bjorn Poonen

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–412) HEURISTICS FOR THE ARITHMETIC OF ELLIPTIC CURVES Bjorn Poonen

Add to Reading List

Source URL: eta.impa.br

Language: English - Date: 2018-07-25 13:17:43
151  Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia

1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 12:43:22
16SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell?  Abstract. Many highly sophisticated tools exist for

SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers Germain Faure, Robert Nieuwenhuis, Albert Oliveras and Enric Rodr´ıguez-Carbonell? Abstract. Many highly sophisticated tools exist for

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2008-05-08 10:37:46
17Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour Guillaume Hanrot Jean-Michel Muller

Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour Guillaume Hanrot Jean-Michel Muller

Add to Reading List

Source URL: perso.ens-lyon.fr

Language: English - Date: 2005-01-20 09:50:18
18Introduction Taylor model arithmetic using floating-point arithmetic Getting even more accuracy Conclusion  Diddl - Goletz

Introduction Taylor model arithmetic using floating-point arithmetic Getting even more accuracy Conclusion Diddl - Goletz

Add to Reading List

Source URL: perso.ens-lyon.fr

Language: English - Date: 2007-07-27 03:54:27
19Solving Nonlinear Integer Arithmetic with MCSAT? Dejan Jovanovi´c SRI International  Abstract. We present a new method for solving nonlinear integer arithmetic constraints. The method relies on the MCSat approach to sol

Solving Nonlinear Integer Arithmetic with MCSAT? Dejan Jovanovi´c SRI International Abstract. We present a new method for solving nonlinear integer arithmetic constraints. The method relies on the MCSat approach to sol

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2016-11-28 15:21:09
20COSC 544 Probabilistic Proof SystemsA PCP of Quasilinear Size for Arithmetic Circuit-SAT Lecturer: Justin Thaler

COSC 544 Probabilistic Proof SystemsA PCP of Quasilinear Size for Arithmetic Circuit-SAT Lecturer: Justin Thaler

Add to Reading List

Source URL: people.cs.georgetown.edu

Language: English - Date: 2017-11-22 13:48:36