Interrogating witnesses for geometric constraint solving
- 作者Sebti Foufou; Dominique Michelucci
- 卷第216卷
- 印刷ISSN0890-5401
- 电子ISSN1090-2651
- 文件大小262.76KB
- 发表时间2012
- DOI10.1016/j.ic.2011.09.006
Solving the pentahedron problemBarki, Hichem; Cane, Jean-Marc; Garnier, Lionel; Michelucci, Dominique; Foufou, Sebti · Computer-Aided Design · 2015
Geometric constraint solving: The witness configuration methodDominique Michelucci; Sebti Foufou · 2006
Equations and interval computations for some fractalsFang, Lincong; Michelucci, Dominique; Foufou, Sebti · Fractals · 2018
Polytope-based computation of polynomial rangesChristoph Fünfzig; Dominique Michelucci; Sebti Foufou · 2012
INTERVAL-BASED TRACING OF STRANGE ATTRACTORSMICHELUCCI, DOMINIQUE; FOUFOU, SEBTI · International Journal of Computational Geometry & Applications · 2006
An improved star test for implicit polynomial objectsFang, Lincong; Michelucci, Dominique; Foufou, Sebti · Computer-Aided Design · 2016
Re-parameterization reduces irreducible geometric constraint systemsBarki, Hichem; Fang, Lincong; Michelucci, Dominique; Foufou, Sebti · Computer-Aided Design · 2016