Author of the publication

Algèbre commutative, méthodes constructives: modules projectifs de type fini : cours et exercices.

, and . Calvage et Mounet, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Deciding in HFS-Theory via Linear Integer Programming., , and . LPAR, volume 698 of Lecture Notes in Computer Science, page 170-181. Springer, (1993)Constraints over Homogeneous Hereditarily Finite Sets., , , and . ICLP Workshop on Logic Programming with Sets, (1993)A logical approach to abstract algebra., and . Math. Struct. Comput. Sci., 16 (5): 885-900 (2006)Algorithmes de calcul de la réduction de Hermite d'une matrice à coefficients polynomiaux., , and . Theor. Comput. Sci., 161 (1&2): 69-92 (1996)The Berlekamp-Massey Algorithm revisited., , and . CoRR, (2022)Local Bézout Theorem., and . J. Symb. Comput., 45 (10): 975-985 (2010)Henselian Local Rings: Around a Work in Progress., , and . Mathematics, Algorithms, Proofs, volume 05021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)Sturm-Habicht Sequence., , , and . ISSAC, page 136-146. ACM, (1989)Étude constructive de problèmes de topologie pour les réels irrationnels., , and . Math. Log. Q., (1999)A Short Proof for the Krull Dimension of a Polynomial Ring., and . The American Mathematical Monthly, 112 (9): 826-829 (2005)