Constructing a single cell in cylindrical algebraic decomposition

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 21 novembre 2017 - 01:19:56

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

93