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

hal-01413593v1  Reports
Thomas CluzeauAlban 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 QuadratGeorg 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-01667161v1  Conference papers
Yacine BouzidiThomas CluzeauGuillaume MorozAlban 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 QuadratRosane 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 BouzidiFabrice 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-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-02881339v1  Journal articles
Laurent Busé. Formulas for the eigendiscriminants of ternary and quaternary forms
Linear and Multilinear Algebra, Taylor & Francis, In press
hal-03337115v1  Reports
Pierre BouvierHubert 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-00825853v1  Book sections
M. AignerB. JüttlerAdrien 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 BoulierDaniel LazardFrançois OllivierMichel 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⟩
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-MarcoPascal KoiranTimothé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 BoulierFrançois LemaireAlexandre Sedoglavic. On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains
Computer Algebra in Scientific Computings, Sep 2011, Kassel, Germany. pp.1-12