Explicit classification of the 9 first Haas parametric systems

Guillaume Moroz 1 Fabrice Rouillier 1
1 SALSA - Solvers for Algebraic Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01305663
Contributor : Lip6 Publications <>
Submitted on : Thursday, April 21, 2016 - 3:21:10 PM
Last modification on : Thursday, March 21, 2019 - 2:17:56 PM

Identifiers

  • HAL Id : hal-01305663, version 1

Citation

Guillaume Moroz, Fabrice Rouillier. Explicit classification of the 9 first Haas parametric systems. ADG 2008 --- Seventh International Workshop on Automated Deduction in Geometry, 2008, Shanghai, China. pp.1-1. ⟨hal-01305663⟩

Share

Metrics

Record views

99