[Top][All Lists]

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

Re: [Axiom-developer] Cylindrical Algebraic Decomposition added

From: Ralf Hemmecke
Subject: Re: [Axiom-developer] Cylindrical Algebraic Decomposition added
Date: Mon, 08 Sep 2014 14:50:04 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.0

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

reply via email to

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