Gruppi di ricerca attuali :
ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL
LIP6
- D. Augot, M. Bardet, J.‑Ch. Faugère : “Efficient decoding of (binary) cyclic codes above the correction capacity of the code using Grobner bases”, IEEE International Symposium on Information Theory - ISIT'2003, Yokohama, Japan, pp. 362-362, (IEEE Computer Society) [Augot 2003]
- A. Basiri, J.‑Ch. Faugère : “Changing the ordering of Gröbner bases with LLL: case of two variables”, ISSAC 2003 - International Symposium on Symbolic and Algebraic Computation, Philadelphia, PA, United States, pp. 23-29, (ACM Press) [Basiri 2003b]
- L. Dupont, D. Lazard, S. Lazard, S. Petitjean : “Near-Optimal Parameterization of the Intersection of Quadrics”, 19th Symposium on Computational Geometry - SoCG 2003, San Diego, United States, pp. 246-255, (ACM) [Dupont 2003]
- A. Joux, J.‑Ch. Faugère : “Algebraic Cryptanalysis of Hidden Field Equation (HFE) Cryptosystems Using Grobner Bases”, CRYPTO 2003 - 23rd Annual International Cryptology Conference, vol. 2729, Lecture Notes in Computer Science, Santa Barbara, California, United States, pp. 44-60, (Springer) [Joux 2003]
- R. Rioboo : “An Introduction to FOC”, Dagstuhl-Seminar 03021, Dagstuhl, Germany [Rioboo 2003a]
- R. Rioboo : “Mathematical communications with FOC”, Mathematical Knowledge Management Symposium, Edinburgh, United Kingdom [Rioboo 2003b]
- F. Rouillier : “Efficient real solutions and robotics”, 1st EMS - SMAI - SMF Joint Conference Applied Mathematics and Applications of Mathematics, Nice, France [Rouillier 2003b]
- M. Safey El Din, E. Schost : “Polar varieties and computation of one point in each connected component of a smooth real algebraic set”, International Symposium on Symbolic and Algebraic Computation 2003 - ISSAC'2003, Philadelphie, PA, United States, pp. 224-231, (ACM Press) [Safey El Din 2003]
- A. Valibouze, I. Abdeljaouad : “The Hacque method and the complete GI-method for computing the Galois group”, Worshop Calcul Formel, Marrakech, Morocco [Valibouze 2003b]
- D. Wang : “GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically”, The Fourth International Workshop on Automated Deduction in Geometry - ADG 2002, vol. 2930, Lecture Notes in Computer Science, Hagenberg Castle, Austria, pp. 194-215, (Springer-Verlag) [Wang 2003b]