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
là , 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