[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