Publications d'Annick Valibouze
Livres, Revues, Conférences internationales, Thèse, HDR

Revenir sur ma page d'accueil
Revenir sur ma page Publications


Voir avec plus de détails, des résumés par les rapporteurs de l'American Mathematical Society
Une partie de cette liste au format BibTex de l'AMS
A list of conference proceedings in Computer Algebra and Symbolic Computation
Actualisation la plus récente, documents, preprints, versions auteurs, sur HAL-CNRS ici : : CV Annick Valibouze HAL-CNRS

2020
Nearest neighbor balanced block designs for autoregressive errors. Mamadou Koné, Annick Valibouze.
Metrika, Springer Verlag, 2020.
DOI: 10.1007/s00184-020-00770-6 HAL: hal-02541679 (documents disponibles)

The Real Transform: Computing Positive Solutions of Fuzzy Polynomial Systems. Philippe Aubry, Jérémy Marrez, Annick Valibouze.
Fuzzy Sets and Systems, Elsevier, 2020.
DOI: 10.1016/j.fss.2020.01.004 HAL: hal-02457335 (documents disponibles)

2019
Separators for Polynomial Dynamic Systems with Linear Complexity. Ines Abdeljaoued-Tej, Alia Benkahla, Ghassen Haddad, Annick Valibouze.
Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Sep 2019, Trieste, Italy. pp.373-378.
DOI: 10.1007/978-3-030-31304-3_30. HAL: hal-02318990 (documents disponibles)

The Real Transform: Computing Positive Solutions of Fuzzy Polynomial Systems. Philippe Aubry, Jérémy Marrez, Annick Valibouze.
11th International Conference on Fuzzy Computation Theory and Applications, Sep 2019, Vienna, Austria. pp.351-359.
DOI:10.5220/0008362403510359 HAL: hal-02457335

Corrigendum: Algebraic certification of numerical algorithms computing Lagrange resolvents. Ines Abdeljaoued-Tej, Faiçal Bouazizi, Annick Valibouze.
Journal of Algebra and Its Applications, World Scientific Publishing, 2019, 1992001.
DOI: 10.1142/S0219498819920014

2018
Algebraic certification of numerical algorithms computing Lagrange resolvents Ines Abdeljaoued-Tej, Faiçal Bouazizi, Annick Valibouze.
Journal of Algebra and Its Applications, World Scientific Publishing, 2018, 17 (1), pp.1850007.
DOI : 10.1142/S021949881850007X HAL: hal-00483257 (documents disponibles)

2016
Finding solutions of fuzzy polynomial equation systems by an Algebraic method. Marziyeh Boroujeni, Abdolali Basiri, Sajjad Rahmany, Annick Valibouze
Journal of Intelligent & Fuzzy System 30 (2016) 781-800
DOI:10.3233/IFS-151801

2015
Computing syzygies over V[X1,...,Xk]. Lionel Ducos, Annick Valibouze, Ihsen Yengui
Journal of Algebra (Computational section), 425, 133-145, 2015
DOI : 10.1016/j.jalgebra.2014.11.018

F4-invariant Algorithm for Computing SAGBI-Gröbner Bases. Marziyeh Boroujeni, Abdolali Basiri, Sajjad Rahmany, Annick Valibouze
Theoretical Computer Science (TCS), (TCS), 573, 54-62, 30-03-2015
DOI : 10.1016/j.tcs.2015.01.045
http://www.sciencedirect.com/science/article/pii/S0304397515000924 (libre jusqu'au 11 avril 2015)

Solving Fuzzy Systems in Dual Form Using Wu's Method. Marziyeh Boroujeni, Abdolali Basiri, Sajjad Rahmany, Annick Valibouze
International Journal of Fuzzy Systems (issn=1562-2479), Ed. Springer Berlin Heidelberg, 1-11, 2015
DOI : 10.1007/s40815-015-0033-4
http://dx.doi.org/10.1007/s40815-015-0033-4

2012
Improved parallel multimodular computation by splitting Lagrange resolvents. Philippe Aubry, A. Valibouze,
International Journal of Algebra and Computation (IJAC), 22(4), 1-21, 2012

Algebraic Computation of resolvents without extraneous powers Philippe Aubry, A. Valibouze,
European Journal of Combinatoric. Special Issue A. Machi, 33(7), 1369-1385, 2012

Version provisoire : Calcul algébrique efficace de résolvantes relatives HAL-CNRS : hal-00406357 (22/07/2009) ,

Plans en blocs incomplets : application à la santé ,
Annick Valibouze and Mamadou Koné,,
Proceedings des Journées Internationales Analyse Statistique : Théorie et Applications, JIASTA2012, Oujda, Maroc, 113-116, 2012

2011
La théorie de Galois en Informatique
Conférence invitée au Colloque organisé par la mairie de Bourg-la-Reine (5 Novembre 2011)
Célébration nationale du bicentenaire d'Evariste Galois.
http://www.archivesdefrance.culture.gouv.fr/action-culturelle/celebrations-nationales/recueil-2011/sciences-et-techniques/evariste-galois

Gröbner base of the alternated galoisian ideal A. Valibouze,
Journal of Symbolic Computation 46 396--405
accessible en ligne : doi = 10.1016/j.jsc.2010.10.013
Version provisoire : Base de Gröbner de l'idéal galoisien du groupe alterné, site HAL-CNRS.
Plans en blocs incomplets pour la structure de corrélation NNm
Koné M., Valibouze A., Annales de l'I.S.U.P., vol. 55 Num.2-3, pp 65--88 (2011)
[Version préliminaire : HAL-CNRS hal-00589585 (29/04/2011)]
Modélisation Booléenne de Réseaux TLR
Abdeljaouad I., Abd Mouleh M., Ben Kahla A., Valibouze A.,
Workshop "Modèles mathématiques de la dynamique des populations" 18 au 22 Avril 2011, Ecole Polytechnique de Tunisie.
2010
Galoiseries
A. Valibouze ,
Workshop "Groups and Langages" en l'honneur d'Antonio Machi , Université Rome 1, La Sapienza, Italie, 2010-09-09 au 2010-09-10.

Multi-parallel computation of Lagrange resolvents by multi-resolvents
Aubry P., Valibouze A.
PARCA'2010 , Parallel Computer Algebra 2010, Tambov State University, Tambov, Russia June 29 - July 3, 2010
TSU, Ser. Natural&Technical Sciences 25 Vol. 4, 1328--1341
2009
Galoisian separators for biological systems
Abdeljaouad I., Ben Kahla A.,Valibouze A., Conférence MAP'09 (Mathematics, algorithms and proofs), Monastir, Tunisie (Décembre 2009)
2008
Calcul Formel avec Maple
Rémi Legrand (LIRMM), A. Valibouze,
Editeur : Science Active , 2008
ISBN : 978-2-917398-03-6
Ce livre interactif fait parti d'un contrat signé entre Science Active et le ministère de l'éducation nationale afin de proposer de tels livres aux étudiants des différentes universités françaises (contrat AMIP). Il se situe à la frontière entre la recherche et l'enseignement.
Sur les relations entre les racines d'un polynôme
Acta Arithmetica, 131, n° 1,1-27, 2008.
[Version préliminaire : Prépublication du Laboratoire LSTA 3 Mai 2006 ]
L'informatique par le calcul formel
Legrand R., Valibouze A.
Colloque International ePrep , Ecole Polytechnique, Palaiseau, France, Juin 2008
2007
Classes Doubles, Idéaux de Galois et Résolvantes
A. Valibouze, Romanian Journal of Pure and Applied Mathematics 52 (2007), no 1, 95--109. (soumis en Janvier 2005).
2005
Dépendances Algébriques des Zéros de Polynômes et Groupes de Galois,
A. Valibouze, Bull. Math. Soc. Sci. Math. Roumanie (N.S.) 48(96) (2005), no. 1, 73--96.

[Versions préliminaires : Version soumise le 08 Avril 2004 et rapport LIP6 2003/006]
2004
Une note sur les relations entre les racines d'un polynôme réductible
avec S. Orange, G. Renault, Theor. Inform. Appl. 39 (2005), no. 4, 651--659.
[Versions préliminaires : Version la plus récente , Prépublication 99-03 de l'Equipe MAX de l'Ecole Polytechnique et LIP6 2003/004 ]

Computation of the decomposition group of a triangular ideal
I. Abdeljaoud, S. Orange, G. Renault, Appl. Algebra Engrg. Comm. Comput. 15 (2004), no. 3-4 , 279--294.
[Ce travail reprend et prolonge une partie de LIP6 2000/25 avec I.Abdeljaouad ; également MAX 2000.08.]
2003
The Hacque method and the complete GI-method for computing the Galois group
I. Abdeljaouad , A. Valibouze, Workshop "Calcul Formel" Université de Marrakech (Maroc), 2003.
Calcul efficace de corps de décomposition,
Avec S. Orange, G. Renault, Rapport LIP6 2003/005. en révision à Experimental Mathematics.

[Présenté par G. Renault aux Journées nationales de Calcul Formel (Luminy, Janvier 2003)]

Cet article semble patir d'un manque de visiblité ; certains éléments que j'avais mis dans des versions préliminaires ont été retirés dans la version soumise et le rapport LIP6 ; (voir paragraphe 7.1 page 28 et Remarque 7.2 Page 33 de la version du 9 Sep. 2002) ; je désirais les utiliser pour combiner les résultats de cet article avec celui de Yokoyama 1999, sur le calcul des relations avec sa méthode p-adique, dans le cas particulier où le groupe de Galois est pré-déterminé et j'avais alors proposé à G. Renault de co-signer ce travail ;
[Versions préliminaires : Version du 9 Septembre 2002 et Rapport LIP6 2003/005
voir aussi nos versions figurant dans les thèses de G. Renault et S. Orange]
2002
Maxima
M. Giusti, A. Valibouze Workshop "on Open Source Computer Algebra" (Lyon, France, 2002)
http://nicolas.thiery.name/CalculFormelLibre/workshop.html >
2001
Je travaille au calcul efficace du corps des racines d'un polynôme en utilisant des informations qui n'étaient pas exploitées auparavant ; idées simples et étonnamment efficaces mais théoriquement compliquées à mettre en place avec beaucoup de programmation et d'expérimentation ; je prends deux doctorants, S. Orange et G. Renault, sur ce projet.
2000
Using Galois Ideals for computing Relative resolvents ,
Avec P. Aubry, J. Symbolic Comput. 30 (2000), no. 6, 635--651.
[Versions préliminaires :
LIP6 1998/004 et MAX 98-04 ]
1999
Calculs de résolvantes avec les modules de Cauchy ,
Avec N. Rennert, Experiment. Math. 8 (1999), no. 4, 351--366.
[Ce travail reprend et complète le rapport IBP-LITP 95-02 , idem à MAX 96-11 téléchargeable]
[Versions préliminaires : MAX 98-06 ]
Etude des relations algébriques entre les racines d'un polynôme d'une variable. ,
Bull. Belg. Math. Soc. Simon Stevin 6 (1999), no. 4, 507--535.
[Version préliminaire : LIP6 1997/003 et MAX 98-03 ]
Compute Galois group
P. Aubry , A. Valibouze, Conférence invitée au Workshop ``Galois Theory'' , Dagsthul (Allemagne), Juillet 1999.
1998
Computing with the roots of univariate polynomials
A. Valibouze, Conférence Invitée au Seventh International Colloquium on Numerical Analysis and Computer Science with Applications (Plovdiv, Bulgaria, Aout 1998).
Portant sur LIP6 1997/003 et MAX 98-03 dont les résultats furent publiés en revues en 1999.
Galois ideals for computing relative resolvents
P. Aubry , A. Valibouze MEGA'98 , (St. Malo, France, 1998)
[Versions préliminaires : LIP6 1998/004 et MAX 98-04 ]
1996
Lagrange Resolvents
J.M. Arnaudiès, A. Valibouze (Eindoven, 1996).
Journ. of Pure and Appl. Alg. 117&118, 23-40. (A. Cohen and M.F. Roy Eds),
Présenté à la conférence internationale MEGA'96 (Eindoven, 1996).
[Version Préliminaire plus complète : Rapport LITP 93.61 "Résolvantes de Lagrange" ; ou bien , Ecole Polytechnique]
Use the reducibility of polynomials in order to compute Galois groups,
A. Valibouze Conférence invitée au Workshop ''On computing and Galois groups'' (St. Andrews, RU, 1996).
Conférence portant sur la pré-publication
99-03 de l'Equipe MAX, Ecole Polytechnique
1995
Computation of the Galois Groups of the Resolvent Factors for the Direct and Inverse Galois Problem.
LNCS 948, 456-468, 1995.
Présenté à la conférence Applied algebra, Algebraic algorithms and Error-Correcting Codes AAECC'11 AAECC'11 (Paris, 1995)
Programme AAECC'11 1995
[Versions Préliminaires : rapport IBP-Litp 1994/58 et MAX 95-09 ]
1994
HDR Théorie de Galois constructive (voir ici )
Cette HDR ouvre la voie à de nombreux travaux. Plusieurs doctorants me rejoignent I. Abdeljaouad (95), A. Colin (94) , F. Lehobey (95), N. Renner t(95). Chacun d'eux aura une production importante (logicielle et publications).


Membre du Comité National de la Recherche Scientifique jusqu'en 1999 :
autant de recherche mais moins de production.

Je m'attaque à l'étude d'idéaux intermédiaires entre celui des relations symétriques et les maximaux appelés de relations ; j'appellerais d'abord Idéaux de Galois ces nouveaux idéaux ; puis en 2009, je les appellerais idéaux galoisiens. Ces idéaux seront source de nombreux résultats permettant entre autre de rendre enfin accessibles au delà du degré 6 le calcul du corps des racines d'un polynôme. A partir de 95, l'algorithme GaloisIdeal et d'autres résultats seront présentés dans mon cours Théorie de Galois du DEA ITCP, Document déposé sur le site CEL du CNRS.
1993
Sur l'arité des fonctions,
European Journal of Combinatorics, 14, 359-372, 1993.
[Version Préliminaire : Notes Informelles de Calcul Formel, Ecole Polytechnique]
Computing subfields: Reverse of the primitive element problem ,
Avec D.Lazard, Progress in Mathematics, 109, 163-176.
Présenté lors de la conférence : MEGA'92 (Nice, 1992)
[Version Préliminaire : Notes Informelles de Calcul Formel, Ecole Polytechnique]
1990
Naissance de Caroline
difficile de "produire" au sens "publier"... ;
Je travaille à l'élargissement de ma thématique vers la théorie de Galois qui aboutira dans un premier temps à mon HDR en 1994
1989
Symbolic computation with symmetric polynomials, an extension to Macsyma .
Computers and Mathematics (MIT, USA, June 13-17, 1989)
Springer-Verlag, New York Berlin, 308-320.
Programme Computers and Mathematics 1989
Pour en savoir plus sur mon module SYM et sur Maxima, Revenir sur ma page d'accueil
[Version Préliminaire : Notes Informelles de Calcul Formel, Ecole Polytechnique]
Résolvantes et fonctions symétriques.
Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC`89 (Portland, Oregon, 1989). ACM Press, 390-399 (Full paper).
[Version Préliminaire : Notes Informelles de Calcul Formel, Ecole Polytechnique]
Calculs de polynômes minimaux et de résolvantes avec les fonctions symétriques,
A. Valibouze, Conférence AAECC'8 (Toulouse,1989)
1988
Algebraic transformations of polynomial equations, symmetric polynomials and elimination ,
Avec M. Giusti et D. Lazard,
Conférence ISSAC'88 (Rome, Italie 1988)
In Symbolic and algebraic computation, Lecture Notes in Comput. Sci., volume 358, pages 309--314. Springer, Berlin.
[Versions Préliminaires : ici et , deux Notes Informelles de Calcul Formel, Ecole Polytechnique]
Manipulations de fonctions symétriques
Thèse de l'Université Pierre et Marie Curie, Paris 6, 1988.
( voir ici)
1987
Fonctions symétriques et changements de bases .
EUROCAL '87 (Leipzig, 1987), Lecture Notes in Comput. Sci 378, 323--332, Springer, Berlin, 1989.
Programme EUROCAL'87
[Version Préliminaire : Notes Informelles de Calcul Formel, Notes Informelles de Calcul Formel , Ecole Polytechnique]


Sorbonne Université, 4, place Jussieu, F-75252 Paris Cedex 05
annick.valibouze at sorbonne-universite.fr
Laboratoire de Probabilités, Statistique et Modélisation (LPSM, UMR 8001)
Laboratoire d'Informatique de Paris 6 Équipe APR