ScholarLens Back to search
2021•Unpublished venueRequires access

Convex polyhedra in floating point

monniaux, perin

Open publisher page 0 citations

Abstract

Advisors: David Monniaux, Michael Perin Convex polyhedra appear in various areas in mathematics and computer science, including static analysis by abstract interpretation. The usual approaches for computing over convex polyhedra, as implemented in mainstream libraries, are based on computations in extended precision integer or rational numbers. This hampers efficiency; we would often prefer to compute everything in floating-point. The goal of the internship is to investigate computations (...)

About this research paper

What this paper is about

Advisors: David Monniaux, Michael Perin Convex polyhedra appear in various areas in mathematics and computer science, including static analysis by abstract interpretation. The usual approaches for computing over convex polyhedra, as implemented in mainstream libraries, are based on computations in extended precision integer or rational numbers. This hampers efficiency; we would often prefer to compute everything in floating-point. The goal of the internship is to investigate computations (...)

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Advisors: David Monniaux, Michael Perin Convex polyhedra appear in various areas in mathematics and computer science, including static analysis by abstract interpretation. The usual approaches for computing over convex polyhedra, as implemented in mainstream libraries, are based on computations in extended precision integer or rational numbers. This hampers efficiency; we would often prefer to compute everything in floating-point. The goal of the internship is to investigate computations (...)

Key concepts: Polyhedron, Integer points in convex polyhedra, Convex polytope, Computation, Regular polygon, Interpretation (philosophy), Point (geometry), Integer (computer science)

Related papers

Related paper 1Related paper 2Related paper 3
Back to paper searchBrowse research topicsOriginal source
Convex polyhedra in floating point — Research Paper | ScholarLens