Discipline
Résultats 1-20 de 84
-
A characterization of reduced forms of linear differential systems
Journal of Pure and Applied Algebra, Elsevier, 2013, 217; 8, 1504-1516Compte-rendu et recension critique d'ouvragetexte intégral -
A constructive version of Warfield's Theorem
Pré-publication ou Document de travailtexte intégral -
A Differential Algebra Introduction For Tropical Differential Geometry
03-12-2019Autre communication scientifique (congrès sans actes - poster - séminaire...)texte intégral -
A non-commutative algorithm for multiplying (7 × 7) matrices using 250 multiplications
Pré-publication ou Document de travailtexte intégral -
A non-commutative algorithm for multiplying 5 × 5 matrices using 99 multiplications
Pré-publication ou Document de travailtexte intégral -
A quasi-linear irreducibility test in K[[x]][y]
Computational Complexity, Springer Verlag, 2022Compte-rendu et recension critique d'ouvragetexte intégral -
A Short Contribution to the Theory of Regular Chains
Pré-publication ou Document de travailtexte intégral -
A Short Contribution to the Theory of Regular Chains
Mathematics in Computer Science, Springer, 2021, 15; 2, 177-188Compte-rendu et recension critique d'ouvragetexte intégral -
A symbolic-numeric method for the parametric H$\infty$ loop-shaping design problem
22nd International Symposium on Mathematical Theory of Networks and Systems (MTNS), Minneapolis, 12-07-2016, 22nd International Symposium on Mathematical Theory of Networks and Systems (MTNS), 07-2016Communication dans un congrès avec actestexte intégral -
A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method
Pré-publication ou Document de travailtexte intégral -
A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method
Mathematics in Computer Science, Springer, 2021Compte-rendu et recension critique d'ouvragetexte intégral -
Additive Normal Forms and Integration of Differential Fractions
Journal of Symbolic Computation, Elsevier, 2016Compte-rendu et recension critique d'ouvragetexte intégral -
Algebraic analysis for the Ore extension ring of differential time-varying delay operators
22nd International Symposium on Mathematical Theory of Networks and Systems (MTNS), Minneapolis, 12-07-2016, 22nd International Symposium on Mathematical Theory of Networks and Systems (MTNS), 07-2016Communication dans un congrès avec actestexte intégral -
Algorithm for connectivity queries on real algebraic curves
22-02-2023Pré-publication ou Document de travailtexte intégral -
Algorithm for connectivity queries on real algebraic curves
ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Tromsø, 24-07-2023, ISSAC '23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 22-02-2023Communication dans un congrès avec actestexte intégral -
An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data
Computer Algebra in Scientific Computing, Warsaw, 08-09-2014, 2014Autre communication scientifique (congrès sans actes - poster - séminaire...)texte intégral -
An Equivalence Theorem For Regular Differential Chains
Journal of Symbolic Computation, Elsevier, 07-2019, 93, 34-55Compte-rendu et recension critique d'ouvragetexte intégral -
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, Hagenberg, 31-07-2008, LNCS - Lecture Notes in Computer Science, Springer, 2008Communication dans un congrès avec actestexte intégral -
Au Sujet des Approches Symboliques des Équations Intégro-Différentielles
Algebraic and Symbolic Computation Methods in Dynamical Systems, Springer, 2020, 9Partie d'ouvragetexte intégral -
Bases creuses en algèbre linéaire exacte et simplification algorithmique de modèles biologiques
Université Lille 1 - Sciences et Technologies, 11-07-2016Thèsetexte intégral