Ensembles triangulaires de pôlynomes et résolution de systèmes algébriques. Implantation en Axiom

1 Кандидат наук 2012

Публикации 1997-2018

• 2018
  • J. Marrez, Ph. Aubry, A. Valibouze : “Étude et implantation d’une méthode algébrique pour résoudre des systèmes à coefficients flous”, Journées Nationales de Calcul Formel 2018, Luminy, France (2018)
  • Ph. Aubry, J. Marrez, A. Valibouze : “Résolution réelle de systèmes polynomiaux flous”, (2018)
• 2017
  • Ph. Aubry, J. Marrez, A. Valibouze : “COMPUTING REAL SOLUTIONS OF POLYNOMIAL FUZZY SYSTEMS”, (2017)
• 2012
  • Ph. Aubry, A. Valibouze : “Algebraic Computation of resolvents without extraneous powers”, European Journal of Combinatorics, vol. 33 (7), pp. 1369-1385 (2012)
  • Ph. Aubry, A. Valibouze : “Parallel Computation of Resolvents by Multimodular Techniques and Decomposition Formula”, International Journal of Algebra and Computation, vol. 22 (5), pp. 1-21, (ISBN: 0218-1967) (2012)
  • T. Zhao, D. Wang, H. Hong, Ph. Aubry : “Real Solution Formulas of Cubic and Quartic Equations Applied to Generate Dynamic Diagrams with Inequality Constraints”, 27^th Annual ACM Symposium on Applied Computing (SAC 2012), Trento, ItalyNew York, NY, USA, pp. 94-101, (ACM Press), (ISBN: 978-1-4503-0857-1) (2012)
• 2011
  • A. Valibouze, Ph. Aubry : “Décomposition et calcul parallèle de la Résolvante de Lagrange”, 2ème Colloque franco-maghrébin de Calcul formel, Iles de Kerkennah, Tunisia (2011)
• 2010
  • Ph. Aubry, A. Valibouze : “Calcul algébrique efficace de résolvantes relatives”, Journées Nationales du Calcul Formel 2010, Luminy, France (2010)
  • Ph. Aubry, A. Valibouze : “Parallel computation of Lagrange resolvents by multi-resolvents”, Parallel Computer Algebra 2010, vol. 15 (4), TSU, Ser. Natural & Technical Sciences, Tambov, Russia, pp. 1328-1341 (2010)
• 2009
  • Ph. Aubry, A. Valibouze : “Calcul algébrique efficace de résolvantes relatives”, (2009)
• 2002
  • Ph. Aubry, F. Rouillier, M. Safey El Din : “Real solving for positive dimensional systems”, Journal of Symbolic Computation, vol. 34 (6), pp. 543-560 (2002)
• 2000
  • Ph. Aubry, A. Valibouze : “Using Galois ideals for computing relative resolvents”, Journal of Symbolic Computation, vol. 30 (6), pp. 635-651 (2000)
  • Ph. Aubry, D. Wang : “Reasoning about surfaces using differential zero and ideal decomposition”, Third International Workshop on Automated Deduction in Geometry, ADG 2000, vol. 2061, Lecture Notes in Computer Science, D. Wang, J. Richter-Gebert (Eds.), Zurich, Switzerland, pp. 154-174, (Springer-Verlag) (2000)
  • Ph. Aubry, F. Rouillier, M. Safey El Din : “Real solving for positive dimensional systems”, LIP6, (Rapport de recherche) (2000)
• 1999
  • Ph. Aubry, D. Lazard, M. Moreno Maza : “On the theories of triangular sets”, Journal of Symbolic Computation, vol. 28 (1-2), pp. 105-124, (ISBN: 0747-7171) (1999)
  • Ph. Aubry, M. Moreno Maza : “Triangular Sets for Solving Polynomial Systems: a Comparative Implementation of Four Methods”, Journal of Symbolic Computation, vol. 28 (1-2), pp. 125-154, (ISBN: 0747-7171) (1999)
  • Ph. Aubry, A. Valibouze : “Galois ideals and relative resolvents”, Workshop on Galois Theory, Dagstuhl, Germany (1999)
  • Ph. Aubry : “Ensembles triangulaires de pôlynomes et résolution de systèmes algébriques. Implantation en Axiom”, диссертация, Защита диссертаций 13.01.1999, Научны(е)й руководител(и)ь Lazard, D. (1999)
• 1998
  • Ph. Aubry, A. Valibouze : “Using Galois ideals for computing relative resolvents”, The Fifth International Symposium on Effective Methods in Algebraic Geometry MEGA'98, Saint Malo, France (1998)
  • Ph. Aubry, A. Valibouze : “Computing characteristic polynomials associated with some quotient rings”, LIP6, (Rapport de recherche) (1998)
• 1997
  • Ph. Aubry, M. Moreno Maza : “Triangular sets for solving polynomial systems: a comparison of four methods”, LIP6 (1997)