ASYMPTOTICS FOR NUMBER FIELDS AND CLASS GROUPS MELANIE MATCHETT WOOD Abstract. This article is a exposition of some of the basic questions of arithmetic statistics (counting number fields and distribution of class groups

Source URL: www.math.wisc.edu

Institute for Fiscal Studies, Post Autumn Statement briefing Paul Johnson’s opening remarks 26 November 2015 July’s fiscal arithmetic implied average cuts of 27% to the resource spending of “unprotected”

Source URL: www.ifs.org.uk

JAR manuscript No. (will be inserted by the editor) Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq Érik Martin-Dorel · Guillaume Melquiond

Source URL: www.lri.fr

• Computer algebra
• Computer arithmetic
• Algebra
• Numerical analysis
• Polynomials
• Interval arithmetic
• Automatic differentiation
• Floating point
• Polynomial
• Remainder
• Symbolic computation
• Interval

Chapter 4: Arithmetic Progressions in Dense Sets Adam Sheffer April 22, 2016 1

Source URL: math.caltech.edu

To be published in the Proceedings of the 29th Conference of Psychology of Mathematics Education, 2005 DEVELOPING PROCEDURE AND STRUCTURE SENSE OF ARITHMETIC EXPRESSIONS Rakhi Banerjee, K. Subramaniam

Source URL: 158.144.44.204

Proof Theory: From arithmetic to set theory Michael Rathjen July 2, 2014 1

Source URL: www1.maths.leeds.ac.uk

On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Proof theory
• Mathematical logic
• Predicate logic
• Logic in computer science
• Primitive recursive functional
• Reverse mathematics
• Primitive recursive function
• Primitive recursive arithmetic
• First-order logic
• Peano axioms
• Ordinal analysis

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan ·

Source URL: www.lri.fr

• Computer arithmetic
• Computing
• Computer architecture
• IEEE floating point
• Double-precision floating-point format
• Long double
• Extended precision
• C99
• Single-precision floating-point format
• SSE2
• Strictfp
• Normal number

PARITY OF THE PARTITION FUNCTION IN ARITHMETIC PROGRESSIONS, II Matthew Boylan and Ken Ono Appearing in the Bulletin of the London Mathematical Society. Abstract. Let p(n) denote the ordinary partition function. Subbarao

Source URL: www.mathcs.emory.edu

HOMOTOPICAL ENHANCEMENTS OF CYCLE CLASS MAPS DANIEL LITT 1. Introduction and Motivation This work is part of an ongoing attempt to understand the Dold-Thom theorem and its algebro-geometric and arithmetic analogues. The

Source URL: math.columbia.edu