Skip to Main content Skip to Navigation


...
inria-00071849v1  Reports
Jean-Charles Faugère. Algebraic cryptanalysis of HFE using Gröbner bases
[Research Report] RR-4738, INRIA. 2003, pp.19
...
tel-00645387v1  Habilitation à diriger des recherches
Damien Stehlé. Euclidean lattices: algorithms and cryptography
Cryptography and Security [cs.CR]. Ecole normale supérieure de lyon - ENS LYON, 2011
...
lirmm-01348367v1  Journal articles
Thu-Hien ToMatthieu JungSamantha LycettOlivier Gascuel. Fast Dating Using Least-Squares Criteria and Algorithms
Systematic Biology, Oxford University Press (OUP), 2016, 65 (1), pp.82-97. ⟨10.1093/sysbio/syv068⟩
...
hal-00274685v1  Conference papers
François Boulier. On the role of differential algebra in biological modeling
Differential Algebra and Related Computer Algebra. An international conference in memory of Giuseppa Carrà Ferro, Mar 2008, Catania, Italy. pp.39-44
inria-00100070v1  Journal articles
Daniel Lazard. Injectivity of real rational mappings: The case of a mixture of two Gaussian laws
Mathematics and Computers in Simulation, Elsevier, 2004, 67 (1-2), pp.67--84
inria-00098850v1  Book sections
Frank PostelPaul Zimmermann. Solving Ordinary Differential Equations
Michael Wester. Computer Algebra Systems: A Practical Guide, John Wiley & Sons Ltd, 1999
...
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-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-00780432v1  Journal articles
Alin BostanFrédéric ChyzakMark Van HoeijLucien Pech. Explicit formula for the generating series of diagonal 3D rook paths
Seminaire Lotharingien de Combinatoire, Université Louis Pasteur, 2011, 66, pp.1-27
...
hal-03455778v1  Conference papers
Claudia FaggianFrancesco Gavazzo. A Relational Theory of Monadic Rewriting Systems, Part I
LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, France. pp.1-14, ⟨10.1109/LICS52264.2021.9470633⟩
...
pastel-00759820v1  Theses
Guillaume Quintin. On the Algorithms of Guruswami-Sudan List Decoding over Finite Rings
Information Theory [cs.IT]. Ecole Polytechnique X, 2012. English
...
hal-01377655v1  Conference papers
Eriká H AbrahámJohn AbbottBernd BeckerAnna M BigattiMartin M Brain et al.  SC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper)
Intelligent Computer Mathematics, Jul 2016, Bialystok, Poland
...
tel-01587716v1  Theses
Stephen Melczer. Analytic Combinatorics in Several Variables : Effective Asymptotics and Lattice Path Enumeration
Symbolic Computation [cs.SC]. Université de Lyon; University of Waterloo (Canada), 2017. English. ⟨NNT : 2017LYSEN013⟩
...
hal-00094767v1  Conference papers
Adrien Bartoli. Towards Gauge Invariant Bundle Adjustment: A Solution Based on Gauge Dependent Damping
Ninth IEEE International Conference on Computer Vision (ICCV '03), Oct 2003, Nice, France. pp.760-765, ⟨10.1109/ICCV.2003.1238425⟩
...
tel-01416242v1  Habilitation à diriger des recherches
Guénaël Renault. Contribution à la Résolution Algébrique et Applications en Cryptologie
Calcul formel [cs.SC]. UPMC - Paris 6 Sorbonne Universités, 2016
...
tel-01435142v1  Habilitation à diriger des recherches
Fabrice Rouillier. Algorithmes pour l'étude des solutions réelles des systèmes polynomiaux
Calcul formel [cs.SC]. Université Pierre & Marie Curie - Paris 6, 2007
...
hal-01485536v1  Book sections
yacine BouzidiAdrien PoteauxAlban Quadrat. A symbolic computation approach to the asymptotic stability analysis of differential systems with commensurate delays
Giorgio Valmorbida; Alexandre Seuret; Islam Boussaada; Rifat Sipahi. Delays and Interconnections: Methodology, Algorithms and Applications, Advances in Delays and Dynamics, 10, Springer, pp.16, 2019, ⟨10.1007/978-3-030-11554-8_11⟩
...
hal-01367138v2  Book sections
François BoulierFrançois LemaireMarkus RosenkranzRosane UshirobiraNathalie Verdière. On Symbolic Approaches to Integro-Differential Equations
Alban Quadrat; Eva Zerz. Algebraic and Symbolic Computation Methods in Dynamical Systems, 9, Springer, pp.161-182, 2020, Advances in Delays and Dynamics, ⟨10.1007/978-3-030-38356-5_6⟩
...
tel-01089130v1  Theses
Pierre Lairez. Périodes d'intégrales rationnelles : algorithmes et applications
Calcul formel [cs.SC]. École polytechnique, 2014. Français
...
tel-00843046v1  Theses
Basile Morcrette. Combinatoire analytique et modèles d'urnes
Combinatoire [math.CO]. Université Pierre et Marie Curie - Paris VI, 2013. Français
inria-00100616v1  Books
Dongming Wang. Elimination Methods
Springer-Verlag, 244 p, 2001, Texts and Monographs in Symbolic Computation