1![Noname manuscript No. (will be inserted by the editor) Cutting to the Chase Solving Linear Integer Arithmetic Noname manuscript No. (will be inserted by the editor) Cutting to the Chase Solving Linear Integer Arithmetic](https://www.pdfsearch.io/img/85bcc9c9529600c01ecf2d91d56e87c4.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-06-27 12:47:14
|
---|
2![SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic, SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic,](https://www.pdfsearch.io/img/cfe4954e4a7614487388d0a0d87793ec.jpg) | Add to Reading ListSource URL: scan2018.oishi.info.waseda.ac.jpLanguage: English - Date: 2018-09-08 22:45:08
|
---|
3![Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–396) ARITHMETIC MODELS FOR SHIMURA VARIETIES Georgios Pappas Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–396) ARITHMETIC MODELS FOR SHIMURA VARIETIES Georgios Pappas](https://www.pdfsearch.io/img/9a4f74bfa28446471d0476e4dc76a020.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-25 13:17:43
|
---|
4![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 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](https://www.pdfsearch.io/img/2ba640025198ff8ec729cc42ab7cff6b.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-21 10:31:13
|
---|
5![Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL) Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL)](https://www.pdfsearch.io/img/79ab19d06af107f190fb442c4b124028.jpg) | Add to Reading ListSource URL: perso.ens-lyon.frLanguage: English - Date: 2010-12-09 10:22:15
|
---|
6![A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo Sylvain Conchon∗ Mohamed Iguernelala∗,∗∗ Alain Mebsout∗ ∗ LRI, Universit´ A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo Sylvain Conchon∗ Mohamed Iguernelala∗,∗∗ Alain Mebsout∗ ∗ LRI, Universit´](https://www.pdfsearch.io/img/b2e3dd8c1fd0a1a186ca210890770bbf.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: English - Date: 2017-07-21 11:03:15
|
---|
7![Introduction to the IEEEStandard for Interval Arithmetic Introduction to the IEEEStandard for Interval Arithmetic](https://www.pdfsearch.io/img/dba30fcc36783bab813bd49bd8c15d49.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-07-24 10:20:50
|
---|
8![A Framework for Constructing Fast MPC over Arithmetic Circuits with Malicious Adversaries and an Honest-Majority A Framework for Constructing Fast MPC over Arithmetic Circuits with Malicious Adversaries and an Honest-Majority](https://www.pdfsearch.io/img/0483bce5ce42d75b4124283487ef977a.jpg) | Add to Reading ListSource URL: acmccs.github.ioLanguage: English - Date: 2017-12-30 21:51:59
|
---|
9![Solving Non-Linear Arithmetic Dejan Jovanovi´c1 and Leonardo de Moura2 1 2 New York University Solving Non-Linear Arithmetic Dejan Jovanovi´c1 and Leonardo de Moura2 1 2 New York University](https://www.pdfsearch.io/img/c6a9462b42726e4c4f224dfde9176794.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-06-27 12:47:14
|
---|
10![Lecture Notes on Virtual Substitution & Real Arithmetic Lecture Notes on Virtual Substitution & Real Arithmetic](https://www.pdfsearch.io/img/e7a3f9623f2714525312d11d9749bc95.jpg) | Add to Reading ListSource URL: symbolaris.comLanguage: English - Date: 2018-02-19 20:58:37
|
---|