Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM
	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
	hal-00804972v1 Reports Kirill Batmanov, Cristian Versari, Michel Petitot. Réseaux de Pétri stochastiques comportant une seule place 1ere partie: régime stationnaire 2013
	lirmm-01348367v1 Journal articles Thu-Hien To, Matthieu Jung, Samantha Lycett, Olivier 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
	hal-00274689v1 Conference papers François Boulier, François Lemaire. Differential algebra and system modeling in cellular biology AB 2008, 2008, Hagenberg, Austria. pp.22-39
	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
	hal-00802698v2 Reports yacine Bouzidi, Sylvain Lazard, Marc Pouget, Fabrice Rouillier. Rational Univariate Representations of Bivariate Systems and Applications [Research Report] RR-8262, INRIA. 2013, pp.26
	inria-00098850v1 Book sections Frank Postel, Paul Zimmermann. Solving Ordinary Differential Equations Michael Wester. Computer Algebra Systems: A Practical Guide, John Wiley & Sons Ltd, 1999
	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-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-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-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-00780432v1 Journal articles Alin Bostan, Frédéric Chyzak, Mark Van Hoeij, Lucien 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 Faggian, Francesco 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ám, John Abbott, Bernd Becker, Anna M Bigatti, Martin 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⟩
	inria-00138206v2 Conference papers Alin Bostan, Frédéric Chyzak, Bruno Salvy, Grégoire Lecerf, Éric Schost. Differential Equations for Algebraic Functions ISSAC, Jul 2007, Waterloo, Canada. pp.8, ⟨10.1145/1277548.1277553⟩
	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 Bouzidi, Adrien Poteaux, Alban 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-01951765v1 Journal articles yacine Mohamed Bouzidi, Alban Quadrat, Fabrice Rouillier. Certified Non-conservative Tests for the Structural Stability of Discrete Multidimensional Systems Multidimensional Systems and Signal Processing, Springer Verlag, 2019, 30 (3), pp.31. ⟨10.1007/s11045-018-0596-y⟩
	hal-01367138v2 Book sections François Boulier, François Lemaire, Markus Rosenkranz, Rosane Ushirobira, Nathalie 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
	hal-01148949v1 Preprints, Working Papers, ... Stéphane Fetcher, Luigi Liquori. Mini-Foc A Kernel Calculus for Certified Computer Algebra [Ongoing work] 2005
	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
	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
	inria-00100616v1 Books Dongming Wang. Elimination Methods Springer-Verlag, 244 p, 2001, Texts and Monographs in Symbolic Computation
	1 2 3 4 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize

Designed by Inria-IES Team : Hosted by HAL :