– On the arithmetic of 1–motives Peter Jossen Submitted to

Source URL: www.jossenpeter.ch

Sage Reference Manual: Arithmetic Subgroups of SL2(Z) Release 8.3 The Sage Development Team

Source URL: doc.sagemath.org

• Group theory
• Mathematics
• Abstract algebra
• Geometry
• Modular forms
• Congruence subgroup
• Coset
• Arithmetic group
• Cusp form
• Index of a subgroup
• Modular arithmetic
• Subgroup

Balancing Syntactically Multilinear Arithmetic Circuits Ran Raz ∗ Amir Yehudayoff

Source URL: yehudayoff.net.technion.ac.il

Fast Reflexive Arithmetic Tactics the linear case and beyond Fr´ed´eric Besson? Irisa/Inria, Campus de Beaulieu, 35042 Rennes Cedex, France Abstract. When goals fall in decidable logic fragments, users of proofassista

Source URL: people.rennes.inria.fr

1 COMPUTERS We will be using computers to do our DARPA research project. We know computers are fast. It is worthwhile thinking about the precise capabilities. Q: How many arithmetic operations (addition, subtraction, mu

Source URL: singh.ucdavis.edu

Continued fractions and number systems: applications to correctly-rounded implementations of elementary functions and modular arithmetic. Mourad Gouicem PEQUAN Team, LIP6/UPMC

Source URL: caramba.loria.fr

A MODEL OF SECOND-ORDER ARITHMETIC SATISFYING AC BUT NOT DC SY-DAVID FRIEDMAN AND VICTORIA GITMAN Abstract. We show that there is a β-model of second-order arithmetic in which the choice scheme holds, but the dependent

Source URL: victoriagitman.github.io

Galois representations associated to modular forms Johan BosmanThese are notes from a talk given at an intercity seminar arithmetic geometry. The main reference is [1], where more details and further referenc

Source URL: www.math.leidenuniv.nl

Arithmetic of split Kummer surfaces: Montgomery endomorphism of Edwards products David Kohel Institut de Math´ematiques de Luminy Universit´e de la M´editerran´ee

Source URL: www.i2m.univ-amu.fr

A Proposal For Hardware Assisted Arithmetic Overflow Detection Darek Mihocka Jens Troeger Parallel Hybrid Computing, Intel Corporation

Source URL: www.emulators.com