Re: [Axiom-developer] Cylindrical Algebraic Decomposition added

[Renaud Rioboo]

Dear Axiom gurus,

> Is there a paper related to the code or other documentation I should
> reference? If so, I'd like your permission to quote parts of it as
> part of Axiom's documentation.

I mailed Tim the dvi for my thesiis but this is a very old document
which does not really explain the package and it is written in French.

The main results of my thesis were about symbolic integration and real
algebraic numbers. There is no new algorithm in my CAD implementation
though in my thesis I mention a Lazard projection which Daniel published
but was later proved to be wrong.

All the best