A complete implementation for computing general dimensional convex hulls

Algorithmique du theoreme fondamental de l'algebre

Gourdon, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logiciel. Projet algorithmesSIGLEAvailable a...

Formal proofs ofincremental convex hull algorithms with hypermaps

Brun, Christophe

December 2010

Notre objectif est de mener une étude formelle dans le domaine de la modélisation géométrique et de ...

A complete and efficient algorithm for the intersection of general and convex polyhedron

Dobrindt, Katrin
Mehlhorn, Kurt
Yvinec, Mariette
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1993

Programme 4 : robotique, image et visionSIGLEAvailable at INIST (FR), Document Supply Service, under...

On the dimension of the Hull

Sendrier, Nicolas
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet CODESSIGLEAvailable at INIS...

Formalisation d'algorithmes d'enveloppes convexes

Pichardie, David
Bertot, Yves

September 2001

International audienceWe study the development of formally proved algorithms for computational geome...

Formalisation d'algorithmes d'enveloppes convexes

Pichardie, David
Bertot, Yves

September 2001

International audienceWe study the development of formally proved algorithms for computational geome...

An output-sensitive convex hull algorithm for planar objects

Nielsen, Franck
Yvinec, Mariette
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1995

Programme 4 - Robotique, image et vision - Projet PrismeSIGLEAvailable at INIST (FR), Document Suppl...

Maxima in convex regions

Golin, Mordecai J.
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Topology-oriented convex hull algorithm for objects bounded by Bezier curves

Neagu, Manuela
Lacolle, Bernard
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Lab. de Modelisation et Calcul (LMC)

January 1998

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1998 ...

Planar Convex Hulls

Barton, Alan

January 2005

An attempt is made to understand some of the planar convex hull algorithms leading up to and includi...

Proximal techniques for convex programming

Mahey, Philippe
Pham, Dinh Tao
Qualibouch, Said
Nguyen, Van Hien
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques de Systemes (ARTEMIS)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1992 n....

Checking the convexity of polytopes and the planarity of subdivsions

Devillers, Olivier
Liotta, Giuseppe
Preparata, Franco P.
Tamassia, Roberto
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet PrismeSIGLEAvailable from INIST (FR), Document...

An implementation of a Convex Hull Algorithm, Version 1.0

Müller, M.
Ziegler, J.

January 1994

We give an implementation of an incremental construction algorithm for convex hulls in $\IR^d$ using...

Incremental algorithms for finding the convex hulls of circles and the lower envelopes of parabolas

Devillers, Olivier
Golin, Mordecai
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1994

Programme 4 - Robotique, image et vision. Projet PrismeAvailable at INIST (FR), Document Supply Serv...

The implementation of an algorithm to find the convex hull of a set of three-dimensional points

Day, A. M.

January 1990

A detailed description of the implementation of a three-dimensional convex hull algorithm is given. ...

Algorithmique du theoreme fondamental de l'algebre

Gourdon, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logiciel. Projet algorithmesSIGLEAvailable a...

Formal proofs ofincremental convex hull algorithms with hypermaps

Brun, Christophe

December 2010

Notre objectif est de mener une étude formelle dans le domaine de la modélisation géométrique et de ...

A complete and efficient algorithm for the intersection of general and convex polyhedron

Dobrindt, Katrin
Mehlhorn, Kurt
Yvinec, Mariette
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1993

Programme 4 : robotique, image et visionSIGLEAvailable at INIST (FR), Document Supply Service, under...

On the dimension of the Hull

Sendrier, Nicolas
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet CODESSIGLEAvailable at INIS...

Formalisation d'algorithmes d'enveloppes convexes

Pichardie, David
Bertot, Yves

September 2001

International audienceWe study the development of formally proved algorithms for computational geome...

Formalisation d'algorithmes d'enveloppes convexes

Pichardie, David
Bertot, Yves

September 2001

International audienceWe study the development of formally proved algorithms for computational geome...

An output-sensitive convex hull algorithm for planar objects

Nielsen, Franck
Yvinec, Mariette
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1995

Programme 4 - Robotique, image et vision - Projet PrismeSIGLEAvailable at INIST (FR), Document Suppl...

Maxima in convex regions

Golin, Mordecai J.
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Topology-oriented convex hull algorithm for objects bounded by Bezier curves

Neagu, Manuela
Lacolle, Bernard
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Lab. de Modelisation et Calcul (LMC)

January 1998

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1998 ...

Planar Convex Hulls

Barton, Alan

January 2005

An attempt is made to understand some of the planar convex hull algorithms leading up to and includi...

Proximal techniques for convex programming

Mahey, Philippe
Pham, Dinh Tao
Qualibouch, Said
Nguyen, Van Hien
Grenoble-1 Univ., 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques des Systemes (ARTEMIS)
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Atelier de Recherches sur les Techniques Mathematiques et Informatiques de Systemes (ARTEMIS)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 17660, issue : a.1992 n....

Checking the convexity of polytopes and the planarity of subdivsions

Devillers, Olivier
Liotta, Giuseppe
Preparata, Franco P.
Tamassia, Roberto
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet PrismeSIGLEAvailable from INIST (FR), Document...

An implementation of a Convex Hull Algorithm, Version 1.0

Müller, M.
Ziegler, J.

January 1994

We give an implementation of an incremental construction algorithm for convex hulls in $\IR^d$ using...

Incremental algorithms for finding the convex hulls of circles and the lower envelopes of parabolas

Devillers, Olivier
Golin, Mordecai
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1994

Programme 4 - Robotique, image et vision. Projet PrismeAvailable at INIST (FR), Document Supply Serv...

The implementation of an algorithm to find the convex hull of a set of three-dimensional points

Day, A. M.

January 1990

A detailed description of the implementation of a three-dimensional convex hull algorithm is given. ...

Algorithmique du theoreme fondamental de l'algebre

Gourdon, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logiciel. Projet algorithmesSIGLEAvailable a...

Formal proofs ofincremental convex hull algorithms with hypermaps

Brun, Christophe

December 2010

Notre objectif est de mener une étude formelle dans le domaine de la modélisation géométrique et de ...

A complete and efficient algorithm for the intersection of general and convex polyhedron

Dobrindt, Katrin
Mehlhorn, Kurt
Yvinec, Mariette
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1993

Programme 4 : robotique, image et visionSIGLEAvailable at INIST (FR), Document Supply Service, under...

A complete implementation for computing general dimensional convex hulls

Abstract

Extracted data

A complete implementation for computing general dimensional convex hulls

Abstract

Extracted data

Related items

Related items