Distribution of dense lattice orbits on homogeneous spaces June 6, 2013 Ergodic Theory with connections to arithmetic University of Crete, Iraklion

Source URL: fourier.math.uoc.gr

Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerland Abstract. We consider an extension of integer linear arithmetic with a “star” operator tak

Source URL: www.mpi-sws.org

MONOIDS OF MODULES AND ARITHMETIC OF DIRECT-SUM DECOMPOSITIONS NICHOLAS R. BAETH AND ALFRED GEROLDINGER Abstract. Let R be a (possibly noncommutative) ring and let C be a class of finitely generated (right) R-modules whi

Source URL: www.uni-graz.at

Program of international conference Arithmetic and allied subjects on the banks of the Neva Euler International Mathematical Institute St. Petersburg, November 2428, 2014

Source URL: www.pdmi.ras.ru

High-Precision Arithmetic and Mathematical Physics David H Bailey Lawrence Berkeley National Laboratory http://crd.lbl.gov/~dhbailey

Source URL: www.davidhbailey.com

Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow

Source URL: www.dagstuhl.de

• Theoretical computer science
• Mathematical logic
• Logic
• Logic in computer science
• Automated theorem proving
• Formal methods
• Model theory
• Satisfiability modulo theories
• Automated reasoning
• Presburger arithmetic
• First-order logic
• Formal verification

COUNTING ARITHMETIC FORMULAS. EDINAH GNANG MAKSYM RADZIWILL CARLO SANNA Abstract. An arithmetic formula is an expression involving only the constant 1, and the binary operations of addition and multiplication, with multi

Source URL: math.rutgers.edu

IMAPP MATHEMATICS RADBOUD UNIVERSITY NIJMEGEN The Netherlands Better paths for elliptic curve primality proofs

Source URL: www.math.ru.nl

• Mathematics
• Primality tests
• Number theory
• Abstract algebra
• Finite fields
• Analytic number theory
• Elliptic curve primality
• Group theory
• Modular arithmetic
• Elliptic curve
• Primality certificate
• AKS primality test

Using High-Precision Arithmetic to Conquer Numerical Error David H. Bailey http://www.davidhbailey.com Lawrence Berkeley National Laboratory (retired) Computer Science Department, University of California, Davis

Source URL: www.davidhbailey.com

Sum-product estimates for rational functions Boris Bukh MayA story of a romance between graphs and arithmetic

Source URL: www.borisbukh.org