<--- Back to Details
First PageDocument Content
Mathematics / Computer arithmetic / Algebra / Abstract algebra / Abstract interpretation / Interval arithmetic / Two's complement / Interval / Signedness / Logarithm / Modular arithmetic / Division by zero
Date: 2018-10-25 12:43:22
Mathematics
Computer arithmetic
Algebra
Abstract algebra
Abstract interpretation
Interval arithmetic
Two's complement
Interval
Signedness
Logarithm
Modular arithmetic
Division by zero

1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia

Add to Reading List

Source URL: jorgenavas.github.io

Download Document from Source Website

File Size: 761,33 KB

Share Document on Facebook

Similar Documents

On the discrete logarithm problem for plane curves Claus Diem October 26, 2012  Abstract

On the discrete logarithm problem for plane curves Claus Diem October 26, 2012 Abstract

DocID: 1vhrJ - View Document

Errata  After now a year has passed since I submitted my Habilitation thesis “On arithmetic and the discrete logarithm problem in class groups of curves”, I realized some mistakes and inaccuracies. Two of the mistake

Errata After now a year has passed since I submitted my Habilitation thesis “On arithmetic and the discrete logarithm problem in class groups of curves”, I realized some mistakes and inaccuracies. Two of the mistake

DocID: 1v8oL - View Document

Module 3.9  Page 504 ofModule 3.9: What is a Logarithm?

Module 3.9 Page 504 ofModule 3.9: What is a Logarithm?

DocID: 1v5ns - View Document

On the discrete logarithm problem in elliptic curves Claus Diem August 9, 2010 Dedicated to Gerhard Frey

On the discrete logarithm problem in elliptic curves Claus Diem August 9, 2010 Dedicated to Gerhard Frey

DocID: 1v15F - View Document

Systems of polynomial equations associated to elliptic curve discrete logarithm problems Claus Diem Institute for Experimental Mathematics, University of Duisburg-Essen October 27, 2004

Systems of polynomial equations associated to elliptic curve discrete logarithm problems Claus Diem Institute for Experimental Mathematics, University of Duisburg-Essen October 27, 2004

DocID: 1uWKu - View Document