<--- Back to Details
First PageDocument Content
Mathematics / Mathematical analysis / Numerical analysis / Geometry / Functions and mappings / Affine geometry / Affine arithmetic / Interval arithmetic / Quasigroup / Abstract interpretation / Logarithm / Derivative
Date: 2009-11-24 06:44:27
Mathematics
Mathematical analysis
Numerical analysis
Geometry
Functions and mappings
Affine geometry
Affine arithmetic
Interval arithmetic
Quasigroup
Abstract interpretation
Logarithm
Derivative

Under-approximations of computations in real numbers based on generalized affine arithmetic Eric Goubault and Sylvie Putot CEA-LIST Laboratory for ModEling and Analysis of Systems in Interaction, 91191 Gif-sur-Yvette Ced

Add to Reading List

Source URL: www.lix.polytechnique.fr

Download Document from Source Website

File Size: 194,46 KB

Share Document on Facebook

Similar Documents

The Problem of Conservation Laws and the Poincaré Quasigroup in General Relativity Gennady Gorelik  1. Introduction

The Problem of Conservation Laws and the Poincaré Quasigroup in General Relativity Gennady Gorelik 1. Introduction

DocID: 1uxQ5 - View Document

On a Class of Quadratic Permutation and Quasigroup Polynomials Over F2n Simona Samardjiska (joint work with Danilo Gligoroski) Department of Telematics, NTNU, Norway ,

On a Class of Quadratic Permutation and Quasigroup Polynomials Over F2n Simona Samardjiska (joint work with Danilo Gligoroski) Department of Telematics, NTNU, Norway ,

DocID: 1rN10 - View Document

A fast algorithm for computing the p-curvature Alin Bostan joint work with ´ Schost (Univ. Waterloo) Xavier Caruso (Univ. Rennes 1) and Eric

A fast algorithm for computing the p-curvature Alin Bostan joint work with ´ Schost (Univ. Waterloo) Xavier Caruso (Univ. Rennes 1) and Eric

DocID: 1rgPO - View Document

arXiv:1211.5163v2 [math.PR] 10 JanMarkovian loop soups: permanental processes and isomorphism theorems P.J. Fitzsimmons

arXiv:1211.5163v2 [math.PR] 10 JanMarkovian loop soups: permanental processes and isomorphism theorems P.J. Fitzsimmons

DocID: 1qQh1 - View Document

2016SpringClassicTrialResults.xls

2016SpringClassicTrialResults.xls

DocID: 1qPpV - View Document