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 _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
