Arithmetic - PDFSEARCH.IO - Document Search Engine

Arithmetic
Results: 8697

#	Item
1	Noname manuscript No. (will be inserted by the editor) Cutting to the Chase Solving Linear Integer Arithmetic Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Mathematics Algebra Linear programming Linear algebra Elementary algebra Inequality Linear inequality Expected value Simplex algorithm Boolean satisfiability problem Cutting-plane method Equation solving
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, Add to Reading List Source URL: scan2018.oishi.info.waseda.ac.jp Language: English - Date: 2018-09-08 22:45:08 Mathematics Computer arithmetic Numerical analysis Applied mathematics Arithmetic Interval arithmetic Computer-assisted proof Computational science Scan
3	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–396) ARITHMETIC MODELS FOR SHIMURA VARIETIES Georgios Pappas Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:43 Algebra Abstract algebra Geometry Group theory Lie groups Algebraic geometry Algebraic groups Shimura variety Reductive group Group action Group scheme Abelian variety
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 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
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) Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2010-12-09 10:22:15 Numerical analysis Mathematics Applied mathematics Iterative refinement Iterative method Interval arithmetic Newton's method Condition number Residual Root-finding algorithm Affine arithmetic
6	A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo Sylvain Conchon∗ Mohamed Iguernelala∗,∗∗ Alain Mebsout∗ ∗ LRI, Universit´ Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Mathematics Algebra Theoretical computer science Logic in computer science Satisfiability modulo theories Alt-Ergo Modular arithmetic Ring Rewriting Linear programming First-order logic Interval arithmetic
7	Introduction to the IEEEStandard for Interval Arithmetic Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2017-07-24 10:20:50 Computer arithmetic Mathematics Numerical analysis Arithmetic Interval arithmetic Interval
8	A Framework for Constructing Fast MPC over Arithmetic Circuits with Malicious Adversaries and an Honest-Majority Add to Reading List Source URL: acmccs.github.io Language: 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 Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Algebra Mathematics Polynomials Abstract algebra Computer algebra Polynomial Factorization of polynomials Constraint programming Resultant Constraint logic programming Polynomial ring
10	Lecture Notes on Virtual Substitution & Real Arithmetic Add to Reading List Source URL: symbolaris.com Language: English - Date: 2018-02-19 20:58:37 Differential equations Differential calculus Mathematics Calculus Ordinary differential equation Linear differential equation Equation Partial differential equation Delay differential equation