HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
  1. Search


...
hal-01413593v1  Reports
Thomas Cluzeau, Alban Quadrat. Equivalences of linear functional systems
[Research Report] RR-9000, Inria Lille - Nord Europe; University of Limoges, France. 2016, pp.29
...
hal-01413907v1  Reports
Alban Quadrat, Georg Regensburger. Computing Polynomial Solutions and Annihilators of Integro-Differential Operators with Polynomial Coefficients
[Research Report] RR-9002, Inria Lille - Nord Europe; Institute for Algebra, Johannes Kepler University Linz. 2016, pp.24
...
hal-01114187v1  Conference papers
François Boulier, Anja Korporal, François Lemaire, Wilfrid Perruquetti, Adrien Poteaux et al.  An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data
Computer Algebra in Scientific Computing, Sep 2014, Warsaw, Poland. pp.28 - 43
...
hal-01667161v1  Conference papers
Yacine Bouzidi, Thomas Cluzeau, Guillaume Moroz, Alban Quadrat. Computing effectively stabilizing controllers for a class of $n$D systems
The 20th World Congress of the International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.1847 - 1852, ⟨10.1016/j.ifacol.2017.08.200⟩
...
hal-01415256v1  Conference papers
Alban Quadrat, Rosane Ushirobira. Algebraic analysis for the Ore extension ring of differential time-varying delay operators
22nd International Symposium on Mathematical Theory of Networks and Systems (MTNS), Jul 2016, Minneapolis, United States. pp.8
...
hal-01366202v1  Conference papers
Yacine Bouzidi, Fabrice Rouillier. Certified Algorithms for proving the structural stability of two dimensional systems possibly with parameters
MNTS 2016 - 22nd International Symposium on Mathematical Theory of Networks and Systems, Jul 2016, Minneapolis, United States
...
hal-00139667v1  Conference papers
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, Asli Ürgüplü. On proving the absence of oscillations in models of genetic circuits
Second International Conference, AB 2007, Jul 2007, Hagenberg, Austria. pp.66-80, ⟨10.1007/978-3-540-73433-8⟩
...
hal-00213327v2  Conference papers
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant. Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits
AB 2008 - Third International Conference Algebraic Biology, Jul 2008, Hagenberg, Austria. pp.56-64, ⟨10.1007/978-3-540-85101-1_5⟩
hal-01780909v1  Conference papers
François Boulier. On the Parameter Estimation Problem for Integro-Differential Models
AADIOS @ ACA 2018, Jun 2018, Santiago de Compostela, Spain
...
hal-01889825v1  Other publications
François Boulier, François Fages, Ovidiu Radulescu, Satya Samal, Andreas Schuppert et al.  The SYMBIONT Project: Symbolic Methods for Biological Networks
2018
...
hal-01825191v1  Preprints, Working Papers, ...
François Boulier. The Management of Parameters in the MAPLE DifferentialAlgebra Package
2018
...
hal-00184558v1  Preprints, Working Papers, ...
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant. Model Reduction of Chemical Reaction Systems using Elimination
2007
...
hal-00824993v1  Journal articles
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant. Model Reduction of Chemical Reaction Systems using Elimination
Mathematics in Computer Science, Springer, 2011, 5, pp.289-301
...
hal-01415282v1  Conference papers
Yacine Bouzidi, Adrien Poteaux, Alban Quadrat. Computer algebra methods for the stability analysis of differential systems with commensurate time-delays
13th IFAC Workshop on Time Delay Systems , Jun 2016, Istanbul, Turkey. pp.6
hal-02881339v1  Journal articles
Laurent Busé. Formulas for the eigendiscriminants of ternary and quaternary forms
Linear and Multilinear Algebra, Taylor & Francis, In press
...
hal-01171249v1  Reports
Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé. Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices
[Research Report] Université Grenoble Alpes (UGA). 2015
...
hal-01417524v1  Reports
Jean-Guillaume Dumas, Victor Pan. Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices
[Research Report] Université Grenoble Alpes (UGA). 2015
...
hal-03337115v1  Reports
Pierre Bouvier, Hubert Garavel. The VLSAT-2 Benchmark Suite
[Technical Report] RT-0514, INRIA Grenoble Rhône-Alpes. 2021, pp.1-8
...
hal-03468625v1  Reports
Pierre Bouvier. The VLSAT-3 Benchmark Suite
[Research Report] RT-0516, INRIA Grenoble Rhône-Alpes. 2021, pp.1-20
...
hal-03659476v1  Journal articles
Apostolos Chalkis, Ioannis Z. Emiris, Vissarion Fisikopoulos, Panagiotis Repouskos, Elias Tsigaridas. Efficient sampling in spectrahedra and volume approximation
Linear Algebra and its Applications, Elsevier, 2022, ⟨10.1016/j.laa.2022.04.002⟩
...
hal-00825853v1  Book sections
M. Aigner, B. Jüttler, Adrien Poteaux. Approximate Implicitization of Space Curves
U. Langer and R. Corless and H. Hong and T. Ida and M. Kreuzer and B. Salvy and D. Wang and P. Paule. Numerical and Symbolic Scientific Computing, Springer Vienna, pp.1-19, 2012, ⟨10.1007/978-3-7091-0794-2_1⟩
...
hal-00138020v2  Conference papers
François Boulier, Daniel Lazard, François Ollivier, Michel Petitot. Representation for the radical of a finitely generated differential ideal
international symposium on Symbolic and algebraic computation 1995, Jul 1995, France. pp.158-166, ⟨10.1145/220346.220367⟩
...
hal-00140006v1  Preprints, Working Papers, ...
François Boulier. Triangularisation de systèmes de polynômes différentiels
2000
...
hal-00140368v1  Preprints, Working Papers, ...
François Boulier, François Lemaire, Lilianne Denis-Vidal, Thibaut Henin. LEPISME
2005
...
ensl-00270753v1  Journal articles
Gilles Villard. Differentiation of Kaltofen's division-free determinant algorithm
Journal of Symbolic Computation, Elsevier, 2011, 46 (7), pp.773-790. ⟨10.1016/j.jsc.2010.08.012⟩
...
ensl-01345789v3  Conference papers
Ignacio Garcia-Marco, Pascal Koiran, Timothée Pecatte. Reconstruction Algorithms for Sums of Affine Powers
International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2017, Kaiserslautern, Germany
...
hal-00599440v1  Conference papers
François Boulier, François Lemaire, Alexandre Sedoglavic. On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains
Computer Algebra in Scientific Computings, Sep 2011, Kassel, Germany. pp.1-12
...
hal-00139738v1  Conference papers
François Boulier. Efficient computation of regular differential systems by change of rankings using Kähler differentials
MEGA 2000, 2000, Bath, United Kingdom
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/