Further results on arithmetic filters for geometric predicates

A framework for symbolic and numeric computations

Mourrain, B.
Prieto, H.
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

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

Codes and finite geometries

Assmus, Edward F.
Key, Jennifer D.
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 logicielAvailable at INIST (FR), Document Su...

Mathematics and proof presentation in Pcoq

Amerkad, Ahmed
Bertot, Yves
Pottier, Loic
Rideau, Laurence
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

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

Algebraic methods and arithmetic filtering for exact predicates on circle arcs

Devillers, Olivier
Fronville, Alexandra
Mourrain, Bernard
Teillaud, Monique
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1999

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

Computing exact geometric predicates using modular arithmetic with single precision

Bronniman, Herve
Emiris, Ioannis Z.
Pan, Victor Y.
Pion, Sylvain
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

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

A probabilistic analysis of the power of arithmetic filters

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

January 1996

Theme 2 - Genie logiciel et calcul symbolique. Projet PrismeAvailable at INIST (FR), Document Supply...

Computational geometry and discrete computations

Devillers, Olivier
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...

Cinq algorithmes de calcul symbolique

Zimmermann, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1997

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

Algorithms seminar, 1997-1998

Salvy, Bruno (ed.)
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

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

Algorithms seminar, 1998-1999

Salvy, Bruno (ed.)
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1999

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

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...

Computer validated proofs of a toolset for adaptable arithmetic

Daumas, Marc
Moreau-Finot, Claire
Thery, Laurent
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2001

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

Algorithms seminar 1992-1993

Salvy, Bruno
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...

On piercing sets of objects

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

January 1996

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

De la géométrie algorithmique au calcul géométrique

Pion, Sylvain

November 1999

In this thesis, we define efficient and generic methods in order to solve the robustness problems th...

A framework for symbolic and numeric computations

Mourrain, B.
Prieto, H.
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

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

Codes and finite geometries

Assmus, Edward F.
Key, Jennifer D.
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 logicielAvailable at INIST (FR), Document Su...

Mathematics and proof presentation in Pcoq

Amerkad, Ahmed
Bertot, Yves
Pottier, Loic
Rideau, Laurence
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

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

Algebraic methods and arithmetic filtering for exact predicates on circle arcs

Devillers, Olivier
Fronville, Alexandra
Mourrain, Bernard
Teillaud, Monique
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1999

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

Computing exact geometric predicates using modular arithmetic with single precision

Bronniman, Herve
Emiris, Ioannis Z.
Pan, Victor Y.
Pion, Sylvain
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1997

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

A probabilistic analysis of the power of arithmetic filters

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

January 1996

Theme 2 - Genie logiciel et calcul symbolique. Projet PrismeAvailable at INIST (FR), Document Supply...

Computational geometry and discrete computations

Devillers, Olivier
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...

Cinq algorithmes de calcul symbolique

Zimmermann, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1997

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

Algorithms seminar, 1997-1998

Salvy, Bruno (ed.)
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

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

Algorithms seminar, 1998-1999

Salvy, Bruno (ed.)
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1999

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

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...

Computer validated proofs of a toolset for adaptable arithmetic

Daumas, Marc
Moreau-Finot, Claire
Thery, Laurent
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2001

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

Algorithms seminar 1992-1993

Salvy, Bruno
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...

On piercing sets of objects

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

January 1996

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

De la géométrie algorithmique au calcul géométrique

Pion, Sylvain

November 1999

In this thesis, we define efficient and generic methods in order to solve the robustness problems th...

A framework for symbolic and numeric computations

Mourrain, B.
Prieto, H.
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

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

Codes and finite geometries

Assmus, Edward F.
Key, Jennifer D.
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 logicielAvailable at INIST (FR), Document Su...

Mathematics and proof presentation in Pcoq

Amerkad, Ahmed
Bertot, Yves
Pottier, Loic
Rideau, Laurence
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2001

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

Further results on arithmetic filters for geometric predicates

Abstract

Extracted data

Further results on arithmetic filters for geometric predicates

Abstract

Extracted data

Related items

Related items