Intuitionistic hybrid logic: Introduction and survey
- 作者Torben Braüner
- 卷第209卷
- 期第12期
- 印刷ISSN0890-5401
- 电子ISSN1090-2651
- 文件大小178.85KB
- 发表时间2011
- DOI10.1016/j.ic.2011.10.001
- 页码1437-1446
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