加载中…
2024-11-20
On Projective Delineability
Lucas MichelJasper NalbachPierre MathonetNaïm ZénaïdiChristopher W. BrownErika ÁbrahámJames H. DavenportMatthew England
文献摘要
We consider cylindrical algebraic decomposition (CAD) and the key concept of delineability which underpins CAD theory. We introduce the novel concept of projective delineability which is easier to guarantee computationally. We prove results about this which can allow reduced CAD computations.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本