Efficient algorithms based on critical points method

Fabrice Rouillier 1, 2
1 CALFOR - Calcul formel
LIP6 - Laboratoire d'Informatique de Paris 6
2 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : no abstract
Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01434757
Contributor : Fabrice Rouillier <>
Submitted on : Friday, January 13, 2017 - 1:21:06 PM
Last modification on : Thursday, March 21, 2019 - 2:43:13 PM

Identifiers

  • HAL Id : hal-01434757, version 1

Citation

Fabrice Rouillier. Efficient algorithms based on critical points method. Algorithmic and Quantitative Real Algebraic Geometry, 60, American Mathematical Society, pp.123--138, 2003, Discrete Mathematics and Theoretical Computer Science. ⟨hal-01434757⟩

Share

Metrics

Record views

160