Elementary function arithmetic

Results: 129



#Item
1Real Growth in Standard Parts of Analysis∗ Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe Universit¨at Robert-Mayer-StrFrankfurt am Main, Germany

Real Growth in Standard Parts of Analysis∗ Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe Universit¨at Robert-Mayer-StrFrankfurt am Main, Germany

Add to Reading List

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

Language: English - Date: 2014-04-08 12:00:27
2Things that can and things that can’t be done in PRA Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade, Bldg. 540

Things that can and things that can’t be done in PRA Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade, Bldg. 540

Add to Reading List

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

Language: English - Date: 2012-11-16 09:11:59
3Eureka Math™ Homework Helper 2015–2016 Grade 8 Module 1 Lessons 1–13

Eureka Math™ Homework Helper 2015–2016 Grade 8 Module 1 Lessons 1–13

Add to Reading List

Source URL: greatminds.net

Language: English - Date: 2015-09-11 14:55:22
4JOURNAL OF COGNITION AND DEVELOPMENT, 6(2), 285–306 Copyright © 2005, Lawrence Erlbaum Associates, Inc. Knowledge Change as a Function of Mathematics Experience: All Contexts are Not Created Equal

JOURNAL OF COGNITION AND DEVELOPMENT, 6(2), 285–306 Copyright © 2005, Lawrence Erlbaum Associates, Inc. Knowledge Change as a Function of Mathematics Experience: All Contexts are Not Created Equal

Add to Reading List

Source URL: www3.nd.edu

Language: English - Date: 2006-11-01 16:30:59
5Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23  Contents

Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23 Contents

Add to Reading List

Source URL: cs.yale.edu

Language: English - Date: 2014-10-24 21:23:28
6Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak LARA - I&C - EPFL emails:  INR 318, Station 15, CH-1015 Lausanne, Switzerla

Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak LARA - I&C - EPFL emails: INR 318, Station 15, CH-1015 Lausanne, Switzerla

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2008-11-06 07:51:42
7Synthesis for Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences (I&C) ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland

Synthesis for Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences (I&C) ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2012-04-24 05:03:43
8Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23  Contents

Notes on Discrete Mathematics CS 202: Fall 2013 James Aspnes:23 Contents

Add to Reading List

Source URL: cs-www.cs.yale.edu

Language: English - Date: 2014-10-24 21:23:28
9Number of Divisors Tanya Khovanova December 5, 2011 Class Discussion An integer has an odd number of divisors iff it is a square. An integer is square-free (not divisible by any square) iff its number of divisors is a po

Number of Divisors Tanya Khovanova December 5, 2011 Class Discussion An integer has an odd number of divisors iff it is a square. An integer is square-free (not divisible by any square) iff its number of divisors is a po

Add to Reading List

Source URL: www.tanyakhovanova.com

Language: English - Date: 2012-11-06 18:07:12
10PLOTS OF ADD, SUBTRACT, AND MULTIPLY Below are 3D plots of addition, subtraction, and three forms of multiplication, of unsigned numbers, using “computer arithmetic.” These plots were produced by Mathematica. For eac

PLOTS OF ADD, SUBTRACT, AND MULTIPLY Below are 3D plots of addition, subtraction, and three forms of multiplication, of unsigned numbers, using “computer arithmetic.” These plots were produced by Mathematica. For eac

Add to Reading List

Source URL: www.hackersdelight.org

Language: English - Date: 2004-08-05 22:36:37