Re: [Axiom-developer] Cylindrical Algebraic Decomposition added

[Ralf Hemmecke]

On 09/08/2014 02:38 PM, Renaud Rioboo wrote:
> 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.

Well, since Tim (and actually me too) want to see the description of the
algorithm, it would be rather interesting if you could point out which
paper(s) you used when you implemented CAD in AXIOM.

Nowadays, it's certainly not hard to find a good description about CAD,
but what is most interesting, is what paper(s) *you* followed when
implementing it. That would make this particular implementation easier
to understand/maintain.

Thank you
Ralf