[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Cylindrical Algebraic Decomposition added

From: Renaud Rioboo
Subject: Re: [Axiom-developer] Cylindrical Algebraic Decomposition added
Date: Mon, 08 Sep 2014 14:38:32 +0200

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]