Constructing a single cell in cylindrical algebraic decomposition

Christopher W. Brown 1 Marek Kosta 2, 3
3 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, MPII - Max-Planck-Institut für Informatik
Type de document :
Article dans une revue
Journal of Symbolic Computation, Elsevier, 2014, pp.35. 〈http://dx.doi.org/10.1016/j.jsc.2014.09.024〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01088452
Contributeur : Stephan Merz <>
Soumis le : vendredi 28 novembre 2014 - 09:19:27
Dernière modification le : mardi 19 février 2019 - 15:40:03

Identifiants

  • HAL Id : hal-01088452, version 1

Collections

Citation

Christopher W. Brown, Marek Kosta. Constructing a single cell in cylindrical algebraic decomposition. Journal of Symbolic Computation, Elsevier, 2014, pp.35. 〈http://dx.doi.org/10.1016/j.jsc.2014.09.024〉. 〈hal-01088452〉

Partager

Métriques

Consultations de la notice

138