Beschreibung
Autorenporträt
Henri Lombardi is a researcher in constructive mathematics, real algebra and algorithmic complexity. Since 2003, with Marie-Françoise Roy and Thierry Coquand, he has developed the international group MAP (Mathematics, Algorithms, Proofs). He has published Epistemologie mathematique, (Ellipse, 2011), and Methodes matricielles. Introduction a la complexite algebrique, (Springer, 2003, in collaboration with Jounaidi Abdeljaoued).Claude Quitté is a researcher in effective commutative algebra, computer algebra and computer science. He has published Algorithmique algebrique, (Masson, 1991) in collaboration with Patrice Naudin.Henri Lombardi and Claude Quitté also published together with Maria-Gema Díaz-Toca the book Modules sur les anneaux commutatifs (Calvage & Mounet, 2014).
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
