2024
- titre
- Minimization of differential equations and algebraic values of $E$-functions
- auteur
- Alin Bostan, Tanguy Rivoal, Bruno Salvy
- article
- Mathematics of Computation, 2024, 93, pp.1427-1472. ⟨10.1090/mcom/3912⟩
- Accès au texte intégral et bibtex
-
2023
- titre
- Continued fractions, orthogonal polynomials and Dirichlet series
- auteur
- Alin Bostan, Frédéric Chapoton
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Algorithms for minimal Picard-Fuchs operators of Feynman integrals
- auteur
- Pierre Lairez, Pierre Vanhove
- article
- Letters in Mathematical Physics, 2023, 113 (2), pp.37. ⟨10.1007/s11005-023-01661-3⟩
- Accès au texte intégral et bibtex
-
- titre
- A short proof of a non-vanishing result by Conca, Krattenthaler and Watanabe
- auteur
- Alin Bostan
- article
- Rendiconti del Seminario Matematico della Università di Padova, 2023, ⟨10.4171/RSMUP/113⟩
- Accès au texte intégral et bibtex
-
- titre
- Persistence for a class of order-one autoregressive processes and Mallows-Riordan polynomials
- auteur
- Gerold Alsmeyer, Alin Bostan, Kilian Raschel, Thomas Simon
- article
- Advances in Applied Mathematics, 2023
- Accès au texte intégral et bibtex
-
- titre
- Fast Computation of the $N$-th Term of a $q$-Holonomic Sequence and Applications
- auteur
- Alin Bostan, Sergey Yurkevich
- article
- Journal of Symbolic Computation, 2023, 115, pp.96-123. ⟨10.1016/j.jsc.2022.07.008⟩
- Accès au texte intégral et bibtex
-
2022
- titre
- The art of algorithmic guessing in gfun
- auteur
- Sergey Yurkevich
- article
- Maple Transactions, 2022, 2 (1), pp.14421. ⟨10.5206/mt.v2i1.14421⟩
- Accès au texte intégral et bibtex
-
- titre
- Martin boundary of killed random walks on isoradial graphs
- auteur
- Cédric Boutillier, Kilian Raschel, Alin Bostan
- article
- Potential Analysis, 2022, 57, pp.201-226. ⟨10.1007/s11118-021-09912-5⟩
- Accès au texte intégral et bibtex
-
- titre
- Gröbner bases and critical values: The asymptotic combinatorics of determinantal systems
- auteur
- Jérémy Berthomieu, Alin Bostan, Andrew Ferguson, Mohab Safey El Din
- article
- Journal of Algebra, 2022, 602, pp.154-180. ⟨10.1016/j.jalgebra.2022.03.002⟩
- Accès au texte intégral et bibtex
-
- titre
- Extended abstract for: Solving Rupert’s problem algorithmically
- auteur
- Jakob Steininger, Sergey Yurkevich
- article
- ISSAC 2022 - The International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2022, Lille, France. 56 (2), pp.32-35, 2022, ⟨10.1145/3572867.3572870⟩
- Accès au texte intégral et bibtex
-
- titre
- Algorithms for discrete differential equations of order 1
- auteur
- Alin Bostan, Frédéric Chyzak, Hadrien Notarantonio, Mohab Safey El Din
- article
- ISSAC 2022 - 47th International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. pp.101-110
- Accès au texte intégral et bibtex
-
- titre
- A hypergeometric proof that Iso is bijective
- auteur
- Alin Bostan, Sergey Yurkevich
- article
- Proceedings of the American Mathematical Society, 2022, 150 (5), pp.2131-2136. ⟨10.1090/proc/15836⟩
- Accès au texte intégral et bibtex
-
- titre
- On a Class of Hypergeometric Diagonals
- auteur
- Alin Bostan, Sergey Yurkevich
- article
- Proceedings of the American Mathematical Society, 2022, 150 (3), pp.1071-1087. ⟨10.1090/proc/15693⟩
- Accès au texte intégral et bibtex
-
- titre
- On some combinatorial sequences associated to invariant theory
- auteur
- Alin Bostan, Jordan Tirrell, Bruce W Westbury, Yi Zhang
- article
- European Journal of Combinatorics, 2022, 105, pp.1-22. ⟨10.1016/j.ejc.2022.103554⟩
- Accès au texte intégral et bibtex
-
2021
- titre
- Diagonal Representation of Algebraic Power Series: A Glimpse Behind the Scenes
- auteur
- Sergey Yurkevich
- article
- Alin Bostan and Kilian Raschel. Transcendence in Algebra, Combinatorics, Geometry and Number Theory, TRANS19 (373), Springer, pp.309-339, 2021, Springer Proceedings in Mathematics & Statistics, 978-3-030-84303-8. ⟨10.1007/978-3-030-84304-5_13⟩
- Accès au texte intégral et bibtex
-
- titre
- Transcendence in Algebra, Combinatorics, Geometry and Number Theory
- auteur
- Alin Bostan, Kilian Raschel
- article
- Springer, 373, 560 p., 2021, Springer Proceedings in Mathematics & Statistics, 978-3-030-84303-8
- Accès au bibtex
-
- titre
- Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time
- auteur
- Raphaël Pagès
- article
- ISSAC 2021 - International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Petersbourg / Virtual, Russia. pp.329-336, ⟨10.1145/3452143.3465524⟩
- Accès au texte intégral et bibtex
-
- titre
- Computer Algebra in the Service of Enumerative Combinatorics
- auteur
- Alin Bostan
- article
- International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2021, Saint Petersburg, Russia. pp. 1-8, ⟨10.1145/3452143.3465507⟩
- Accès au texte intégral et bibtex
-
- titre
- Computing the dimension of real algebraic sets
- auteur
- Pierre Lairez, Mohab Safey El Din
- article
- ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia. pp.257-264, ⟨10.1145/3452143.3465551⟩
- Accès au texte intégral et bibtex
-
- titre
- The generating function of Kreweras walks with interacting boundaries is not algebraic
- auteur
- Alin Bostan, Manuel Kauers, Thibaut Verron
- article
- FPSAC'21 - Formal power series and algebraic combinatorics, Jul 2021, Ramat Gan, Israel. pp.12
- Accès au texte intégral et bibtex
-
- titre
- A Sage package for the symbolic-numeric factorization of linear differential operators
- auteur
- Alexandre Goyer
- article
- ACM Communications in Computer Algebra, 2021, 55 (2), pp.44-48. ⟨10.1145/3493492.3493496⟩
- Accès au texte intégral et bibtex
-
- titre
- Conditions for some non stationary random walks in the quarter plane to be singular or of genus 0
- auteur
- Guy Fayolle, Roudolf Iasnogorodski
- article
- Markov Processes And Related Fields, 2021, 27 (1), pp.12
- Accès au texte intégral et bibtex
-
- titre
- Explicit degree bounds for right factors of linear differential operators
- auteur
- Alin Bostan, Tanguy Rivoal, Bruno Salvy
- article
- Bulletin of the London Mathematical Society, 2021, 53 (1), pp.53--62. ⟨10.1112/blms.12396⟩
- Accès au texte intégral et bibtex
-
- titre
- A Simple and Fast Algorithm for Computing the $N$-th Term of a Linearly Recurrent Sequence
- auteur
- Alin Bostan, Ryuhei Mori
- article
- SOSA'21 (SIAM Symposium on Simplicity in Algorithms), Jan 2021, Alexandria, United States
- Accès au texte intégral et bibtex
-
- titre
- Counting walks with large steps in an orthant
- auteur
- Alin Bostan, Mireille Bousquet-Mélou, Stephen Melczer
- article
- Journal of the European Mathematical Society, 2021, 23 (7), pp.2221-2297. ⟨10.4171/JEMS/1053⟩
- Accès au texte intégral et bibtex
-
- titre
- On an Integral Identity
- auteur
- Alin Bostan, Fernando Chamizo, Mikael Sundqvist
- article
- The American Mathematical Monthly, 2021, 128 (8), pp.737--743. ⟨10.1080/00029890.2021.1944754⟩
- Accès au texte intégral et bibtex
-
- titre
- A note on the connection between product-form Jackson networks and counting lattice walks in the quarter plane
- auteur
- Guy Fayolle
- article
- 2021
- Accès au texte intégral et bibtex
-
- titre
- Improved algorithms for left factorial residues
- auteur
- Vladica Andrejić, Alin Bostan, Milos Tatarevic
- article
- Information Processing Letters, 2021, 167, pp.3. ⟨10.1016/j.ipl.2020.106078⟩
- Accès au texte intégral et bibtex
-
2020
- titre
- A note on gamma triangles and local gamma vectors
- auteur
- Frédéric Chapoton, Alin Bostan
- article
- Annales de la Faculté des Sciences de Toulouse. Mathématiques., 2020, Série 6, Tome 29, 4, pp.907-925. ⟨10.5802/afst.1649⟩
- Accès au texte intégral et bibtex
-
- titre
- Computing the $N$-th Term of a $q$-Holonomic Sequence
- auteur
- Alin Bostan
- article
- ISSAC 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. pp.8, ⟨10.1145/3373207.3404060⟩
- Accès au texte intégral et bibtex
-
- titre
- A Gröbner-Basis Theory for Divide-and-Conquer Recurrences
- auteur
- Frédéric Chyzak, Philippe Dumas
- article
- ISSAC - 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. ⟨10.1145/3373207.3404055⟩
- Accès au texte intégral et bibtex
-
- titre
- Weakly-unambiguous Parikh automata and their link to holonomic series
- auteur
- Alin Bostan, Arnaud Carayol, Florent Koechlin, Cyril Nicaud
- article
- ICALP 2020 - 47th International Colloquium on Automata, Languages and Programming, Jul 2020, Saarbrücken, Germany. pp.114.1-114.16, ⟨10.4230/LIPIcs.ICALP.2020.114⟩
- Accès au texte intégral et bibtex
-
- titre
- Recursive Operator Definitions
- auteur
- Georges Gonthier, Leslie Lamport
- article
- [Research Report] RR-9341, Inria Saclay Ile de France. 2020, pp.17
- Accès au texte intégral et bibtex
-
- titre
- Bijections between Łukasiewicz walks and generalized tandem walks
- auteur
- Frédéric Chyzak, Karen Yeats
- article
- The Electronic Journal of Combinatorics, 2020, 27 (2), ⟨10.37236/8261⟩
- Accès au texte intégral et bibtex
-
- titre
- Subresultants of $(x-\alpha)^m$ and $(x-\beta)^n$, Jacobi polynomials and complexity
- auteur
- Alin Bostan, T Krick, A Szanto, M Valdettaro
- article
- Journal of Symbolic Computation, 2020, 101, pp.330-351. ⟨10.1016/j.jsc.2019.10.003⟩
- Accès au texte intégral et bibtex
-
- titre
- The Sage Package comb_walks for Walks in the Quarter Plane
- auteur
- Alin Bostan, Frédéric Chyzak, Antonio Jiménez-Pastor, Pierre Lairez
- article
- ACM Communications in Computer Algebra, 2020, 54 (212), pp.9. ⟨10.1145/3427218.3427220⟩
- Accès au texte intégral et bibtex
-
- titre
- On the exponential generating function of labelled trees
- auteur
- Alin Bostan, Antonio Jiménez-Pastor
- article
- Comptes rendus de l'Académie des sciences. Série I, Mathématique, 2020, 358 (9-10), pp.1005-1009
- Accès au texte intégral et bibtex
-
- titre
- Stieltjes moment sequences for pattern-avoiding permutations
- auteur
- Alin Bostan, Andrew Elvey-Price, Anthony John Guttmann, Jean-Marie Maillard
- article
- The Electronic Journal of Combinatorics, 2020, 27 (4), pp.1-59. ⟨10.37236/xxxx⟩
- Accès au texte intégral et bibtex
-
2019
- titre
- A closed-form formula for the Kullback-Leibler divergence between Cauchy distributions
- auteur
- Frédéric Chyzak, Frank Nielsen
- article
- 2019
- Accès au bibtex
-
- titre
- On sequences associated to the invariant theory of rank two simple Lie algebras
- auteur
- Alin Bostan, Jordan Tirrell, Bruce W Westbury, Yi Zhang
- article
- 2019
- Accès au texte intégral et bibtex
-
- titre
- On the least common multiple of several random integers
- auteur
- Alin Bostan, Alexander Marynych, Kilian Raschel
- article
- Journal of Number Theory, 2019, 204, pp.113--133. ⟨10.1016/j.jnt.2019.03.017⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal solutions of singularly-perturbed linear differential systems
- auteur
- Moulay Barkatou, Suzy Maddah
- article
- Journal of Symbolic Computation, 2019, 94, pp.183-209. ⟨10.1016/j.jsc.2018.08.003⟩
- Accès au bibtex
-
- titre
- Big Prime Field FFT on Multi-core Processors
- auteur
- Svyatoslav Covanov, Davood Mohajerani, Marc Moreno Maza, Linxiao Wang
- article
- ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Pékin, China
- Accès au texte intégral et bibtex
-
- titre
- Computing the volume of compact semi-algebraic sets
- auteur
- Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din
- article
- ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China
- Accès au texte intégral et bibtex
-
- titre
- Formally Verified Approximations of Definite Integrals
- auteur
- Assia Mahboubi, Guillaume Melquiond, Thomas Sibut-Pinote
- article
- Journal of Automated Reasoning, 2019, 62 (2), pp.281-300. ⟨10.1007/s10817-018-9463-7⟩
- Accès au texte intégral et bibtex
-
- titre
- A numerical transcendental method in algebraic geometry: Computation of Picard groups and related invariants
- auteur
- Pierre Lairez, Emre Can Sertöz
- article
- SIAM Journal on Applied Algebra and Geometry, 2019, 3 (4), pp.559-584. ⟨10.1137/18M122861X⟩
- Accès au texte intégral et bibtex
-
- titre
- Becker's conjecture on Mahler functions
- auteur
- Jason P. Bell, Frédéric Chyzak, Michael Coons, Philippe Dumas
- article
- Transactions of the American Mathematical Society, 2019, 372, pp.3405--3423. ⟨10.1090/tran/7762⟩
- Accès au texte intégral et bibtex
-
- titre
- Rigid continuation paths I. Quasilinear average complexity for solving polynomial systems
- auteur
- Pierre Lairez
- article
- Journal of the American Mathematical Society, In press, 33 (2), pp.487-526. ⟨10.1090/jams/938⟩
- Accès au texte intégral et bibtex
-
2018
- titre
- Computing the Homology of Basic Semialgebraic Sets in Weak Exponential Time
- auteur
- Peter Bürgisser, Felipe Cucker, Pierre Lairez
- article
- Journal of the ACM (JACM), 2018, 66 (1), pp.1-30. ⟨10.1145/3275242⟩
- Accès au texte intégral et bibtex
-
- titre
- Fast Coefficient Computation for Algebraic Power Series in Positive Characteristic
- auteur
- Alin Bostan, Xavier Caruso, Gilles Christol, Philippe Dumas
- article
- ANTS-XIII - Thirteenth Algorithmic Number Theory Symposium, Jul 2018, Madison, United States. pp.119-135, ⟨10.2140/obs.2019.2-1⟩
- Accès au texte intégral et bibtex
-
- titre
- Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
- auteur
- Alin Bostan, Frédéric Chyzak, Pierre Lairez, Bruno Salvy
- article
- ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.1-8, ⟨10.1145/3208976.3208992⟩
- Accès au texte intégral et bibtex
-
- titre
- Computing solutions of linear Mahler equations
- auteur
- Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas, Marc Mezzarobba
- article
- Mathematics of Computation, 2018, 87, pp.2977-3021. ⟨10.1090/mcom/3359⟩
- Accès au texte intégral et bibtex
-
2017
- titre
- The Coq Proof Assistant, version 8.7.1
- auteur
- The Coq Development Team
- article
- 2017, pp.1-571. ⟨10.5281/zenodo.1133970⟩
- Accès au bibtex
-
- titre
- Computer Algebra for Lattice path Combinatorics
- auteur
- Alin Bostan
- article
- Symbolic Computation [cs.SC]. Université Paris 13, 2017
- Accès au texte intégral et bibtex
-
- titre
- Random Walks in the Quarter Plane: Algebraic Methods, Boundary Value Problems, Applications to Queueing Systems and Analytic Combinatorics
- auteur
- Guy Fayolle, Roudolf Iasnogorodski, Vadim A. Malyshev
- article
- Soren Asmussen; Peter W. Glynn; Yves Le Jan. Springer International Publishing, 40, pp.255, 2017, Probability Theory and Stochastic Modelling, Peter W. Glynn, Stanford, CA, USA, 978-3-319-50928-0. ⟨10.1007/978-3-319-50930-3⟩
- Accès au bibtex
-
- titre
- Formal Solutions of Singularly Perturbed Linear Differential Systems
- auteur
- Suzy Maddah, Moulay A. Barkatou
- article
- 2017
- Accès au texte intégral et bibtex
-
- titre
- Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane
- auteur
- Alin Bostan, Frédéric Chyzak, Mark van Hoeij, Manuel Kauers, Lucien Pech
- article
- European Journal of Combinatorics, 2017, 61, pp.242-275. ⟨10.1016/j.ejc.2016.10.010⟩
- Accès au texte intégral et bibtex
-
- titre
- Algorithmes Efficaces en Calcul Formel
- auteur
- Alin Bostan, Frédéric Chyzak, Marc Giusti, Romain Lebreton, Grégoire Lecerf, Bruno Salvy, Eric Schost
- article
- published by the Authors, 2017
- Accès au texte intégral et bibtex
-
- titre
- Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity
- auteur
- Alin Bostan, Louis Dumont, Bruno Salvy
- article
- Journal of Symbolic Computation, 2017, Special issue on the conference ISSAC 2015: Symbolic computation and computer algebra, 83, pp.68-92. ⟨10.1016/j.jsc.2016.11.006⟩
- Accès au bibtex
-
- titre
- Théories géométriques pour l'algèbre des nombres réels
- auteur
- Henri Lombardi, Assia Mahboubi
- article
- Contemporary mathematics, 2017, Ordered algebraic structures and related topics, 697, pp.239--264
- Accès au texte intégral et bibtex
-
- titre
- On Matrices With Displacement Structure: Generalized Operators and Faster Algorithms
- auteur
- Alin Bostan, Claude-Pierre Jeannerod, Christophe Mouilleron, Eric Schost
- article
- SIAM Journal on Matrix Analysis and Applications, 2017, 38 (3), pp.733-775. ⟨10.1137/16M1062855⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal solutions of completely integrable Pfaffian systems with normal crossings
- auteur
- Moulay A. Barkatou, Maximilian Jaroschek, Suzy Maddah
- article
- Journal of Symbolic Computation, 2017, 81, pp.41 - 68. ⟨10.1016/j.jsc.2016.11.018⟩
- Accès au bibtex
-
- titre
- Multiple binomial sums
- auteur
- Alin Bostan, Pierre Lairez, Bruno Salvy
- article
- Journal of Symbolic Computation, 2017, 80 (2), pp.351--386. ⟨10.1016/j.jsc.2016.04.002⟩
- Accès au texte intégral et bibtex
-
- titre
- Subresultants in multiple roots: an extremal case
- auteur
- Alin Bostan, Carlos d'Andrea, Teresa Krick, Agnès Szanto, Marcelo Valdettaro
- article
- Linear Algebra and its Applications, 2017, 529, pp.185-198. ⟨10.1016/j.laa.2017.04.019⟩
- Accès au texte intégral et bibtex
-
- titre
- A human proof of Gessel's lattice path conjecture
- auteur
- Alin Bostan, Irina Kurkova, Kilian Raschel
- article
- Transactions of the American Mathematical Society, 2017, 369 (2, February 2017), pp.1365-1393
- Accès au texte intégral et bibtex
-
2016
- titre
- Computing periods of rational integrals
- auteur
- Pierre Lairez
- article
- Mathematics of Computation, 2016, 85, pp.1719-1752. ⟨10.1090/mcom/3054⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Verification of Smart Contracts: Short Paper
- auteur
- Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Béguelin
- article
- ACM Workshop on Programming Languages and Analysis for Security, Oct 2016, Vienna, Austria. ⟨10.1145/2993600.2993611⟩
- Accès au texte intégral et bibtex
-
- titre
- On 3-dimensional lattice walks confined to the positive octant
- auteur
- Alin Bostan, Mireille Bousquet-Mélou, Manuel Kauers, Stephen Melczer
- article
- Annals of Combinatorics, 2016, pp.36. ⟨10.1007/s00026-016-0328-7⟩
- Accès au bibtex
-
- titre
- Machine-checked mathematics
- auteur
- Assia Mahboubi
- article
- Nieuw Archief voor Wiskunde, 2016, 5/17 (3), pp.5
- Accès au texte intégral et bibtex
-
- titre
- Formally Verified Approximations of Definite Integrals
- auteur
- Assia Mahboubi, Guillaume Melquiond, Thomas Sibut-Pinote
- article
- Interactive Theorem Proving, Aug 2016, Nancy, France. ⟨10.1007/978-3-319-43144-4_17⟩
- Accès au texte intégral et bibtex
-
- titre
- Algebraicity and transcendence of power series: combinatorial and computational aspects
- auteur
- Alin Bostan
- article
- Doctoral. 3rd Algorithmic and Enumerative Combinatorics Summer School, Hagenberg, 2016 Austria. 2016
- Accès au texte intégral et bibtex
-
- titre
- Fast Computation of the $N$th Term of an Algebraic Series over a Finite Prime Field
- auteur
- Alin Bostan, Gilles Christol, Philippe Dumas
- article
- ISSAC '16, Jul 2016, Waterloo, Ontario, Canada. ⟨10.1145/2930889.2930904⟩
- Accès au bibtex
-
- titre
- Computation of the Similarity Class of the $p$-Curvature
- auteur
- Alin Bostan, Xavier Caruso, Éric Schost
- article
- ISSAC 2016, Jul 2016, Waterloo, ON, Canada. pp.111-118, ⟨10.1145/2930889.2930897⟩
- Accès au bibtex
-
- titre
- Efficient Algorithms for Mixed Creative Telescoping
- auteur
- Alin Bostan, Louis Dumont, Bruno Salvy
- article
- ISSAC 2016, Jul 2016, Waterloo, Canada. pp.127-134, ⟨10.1145/2930889.2930907⟩
- Accès au bibtex
-
- titre
- Diviser pour régner Algèbre et analyse
- auteur
- Philippe Dumas
- article
- Master. Centre International de Rencontres Mathématiques, Marseille, France. 2016, pp.80
- Accès au texte intégral et bibtex
-
- titre
- Efficient Algorithms for Computing Rational First Integrals and Darboux Polynomials of Planar Polynomial Vector Fields
- auteur
- Alin Bostan, Guillaume Chèze, Thomas Cluzeau, Jacques-Arthur Weil
- article
- Mathematics of Computation, 2016, 85 (299), pp.1393--1425
- Accès au texte intégral et bibtex
-
- titre
- An Induction Principle over Real Numbers
- auteur
- Assia Mahboubi
- article
- Archive for Mathematical Logic, 2016, ⟨10.1007/s00153-016-0513-8⟩
- Accès au texte intégral et bibtex
-
- titre
- A Small Scale Reflection Extension for the Coq system
- auteur
- Georges Gonthier, Assia Mahboubi, Enrico Tassi
- article
- [Research Report] RR-6455, Inria Saclay Ile de France. 2016
- Accès au texte intégral et bibtex
-
2015
- titre
- Diagonals of rational functions and selected differential Galois groups
- auteur
- A. Bostan, S. Boukraa, J.M. Maillard, Jacques-Arthur Weil
- article
- Journal of Physics A: Mathematical and Theoretical, 2015, Exactly solved models and beyond: a special issue in honour of R J Baxter's 75th birthday, 48 (50), pp.504001-504030. ⟨10.1088/1751-8113/48/50/504001⟩
- Accès au texte intégral et bibtex
-
- titre
- Nablus2014 CIMPA Summer School
- auteur
- Pierre Nicodeme, Nicolas Pouyanne, Brigitte Chauvin, Jeremie Lumbroso, Basile Morcrette, Cécile Mailler
- article
- Pierre Nicodeme. , pp.138, 2015, Proceedings of the Nablus2014 CIMPA Summer School
- Accès au texte intégral et bibtex
-
- titre
- Axiomatic constraint systems for proof search modulo theories
- auteur
- Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Jean-Marc Notin, Assia Mahboubi
- article
- 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), Sep 2015, Wroclaw, Poland. ⟨10.1007/978-3-319-24246-0_14⟩
- Accès au bibtex
-
- titre
- Asynchronous processing of Coq documents: from the kernel up to the user interface
- auteur
- Bruno Barras, Carst Tankink, Enrico Tassi
- article
- Proceedings of ITP, Aug 2015, Nanjing, China
- Accès au texte intégral et bibtex
-
- titre
- A Fast Algorithm for Computing the p-Curvature
- auteur
- Alin Bostan, Xavier Caruso, Éric Schost
- article
- ISSAC 2015, Jul 2015, Bath, United Kingdom. pp.69-76, ⟨10.1145/2755996.2756674⟩
- Accès au texte intégral et bibtex
-
- titre
- Algebraic Diagonals and Walks
- auteur
- Alin Bostan, Louis Dumont, Bruno Salvy
- article
- ISSAC'15 International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.77-84, ⟨10.1145/2755996.2756663⟩
- Accès au bibtex
-
- titre
- Computer Algebra for Lattice Path Combinatorics
- auteur
- Alin Bostan
- article
- Doctoral. Ellwangen, Germany. 2015
- Accès au texte intégral et bibtex
-
- titre
- Compter les excursions sur un échiquier
- auteur
- Alin Bostan, Kilian Raschel
- article
- Pour la science, 2015, 449, pp.40-46
- Accès au bibtex
-
2014
- titre
- Périodes d'intégrales rationnelles : algorithmes et applications
- auteur
- Pierre Lairez
- article
- Calcul formel [cs.SC]. École polytechnique, 2014. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- A fast algorithm for computing the characteristic polynomial of the p-curvature
- auteur
- Alin Bostan, Xavier Caruso, Éric Schost
- article
- ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. ⟨10.1145/2608628.2608650⟩
- Accès au texte intégral et bibtex
-
- titre
- Computing necessary integrability conditions for planar parametrized homogeneous potentials
- auteur
- Alin Bostan, Thierry Combot, Mohab Safey El Din
- article
- ISSAC'14 - International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp.67-74, ⟨10.1145/2608628.2608662⟩
- Accès au texte intégral et bibtex
-
- titre
- Asynchronous Editing for Coq
- auteur
- Carst Tankink
- article
- The Coq Workshop 2014, Jul 2014, Vienna, Austria
- Accès au texte intégral et bibtex
-
- titre
- PIDE for Asynchronous Interaction with Coq
- auteur
- Carst Tankink
- article
- User Interfaces for Theorem Provers, Jul 2014, Vienna, Austria. pp.73 - 83, ⟨10.4204/EPTCS.167.9⟩
- Accès au texte intégral et bibtex
-
- titre
- Coq 8.4 Reference Manual
- auteur
- Pierre Boutillier, Stephane Glondu, Benjamin Grégoire, Hugo Herbelin, Pierre Letouzey, Pierre-Marie Pédrot, Yann Régis-Gianas, Matthieu Sozeau, Arnaud Spiwack, Enrico Tassi
- article
- [Research Report] Inria. 2014
- Accès au bibtex
-
- titre
- Asymptotic expansions for linear homogeneous divide-and-conquer recurrences: Algebraic and analytic approaches collated
- auteur
- Philippe Dumas
- article
- Theoretical Computer Science, 2014, 548, pp.25-53. ⟨10.1016/j.tcs.2014.06.036⟩
- Accès au texte intégral et bibtex
-
- titre
- Computer-checked mathematics: a formal proof of the odd order theorem
- auteur
- Assia Mahboubi
- article
- The Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603090⟩
- Accès au bibtex
-
- titre
- The ABC of Creative Telescoping --- Algorithms, Bounds, Complexity
- auteur
- Frédéric Chyzak
- article
- Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2014
- Accès au texte intégral et bibtex
-
- titre
- Non-D-finite excursions in the quarter plane
- auteur
- Alin Bostan, Kilian Raschel, Bruno Salvy
- article
- Journal of Combinatorial Theory, Series A, 2014, 121, pp.45-63. ⟨10.1016/j.jcta.2013.09.005⟩
- Accès au texte intégral et bibtex
-
- titre
- On the existence of telescopers for mixed hypergeometric terms
- auteur
- Shaoshi Chen, Frédéric Chyzak, Ruyong Feng, Guofeng Fu, Ziming Li
- article
- Journal of Symbolic Computation, 2014
- Accès au texte intégral et bibtex
-
- titre
- Un ordinateur pour vérifier les preuves mathématiques
- auteur
- Assia Mahboubi
- article
- Images des Mathématiques, 2014
- Accès au bibtex
-
- titre
- A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)
- auteur
- Frédéric Chyzak, Assia Mahboubi, Thomas Sibut-Pinote, Enrico Tassi
- article
- ITP - 5th International Conference on Interactive Theorem Proving, 2014, Vienna, Austria
- Accès au texte intégral et bibtex
-
2013
- titre
- A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus
- auteur
- Mahfuza Farooque, Stéphane Lengrand, Assia Mahboubi
- article
- LFMTP - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - 2013, Sep 2013, Boston, United States. ⟨10.1145/2503887.2503892⟩
- Accès au texte intégral et bibtex
-
- titre
- Hermite Reduction and Creative Telescoping for Hyperexponential Functions
- auteur
- Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li, Guoce Xin
- article
- ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation, Northeastern University, Boston, Massachusetts, USA, Jul 2013, Boston, United States. pp.77-84, ⟨10.1145/2465506.2465946⟩
- Accès au bibtex
-
- titre
- Complexity Estimates for Two Uncoupling Algorithms
- auteur
- Alin Bostan, Frédéric Chyzak, Élie de Panafieu
- article
- ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation, Northeastern University, Boston, Massachusetts, USA, Jul 2013, Boston, United States. pp.85-92, ⟨10.1145/2465506.2465941⟩
- Accès au texte intégral et bibtex
-
- titre
- Creative telescoping for rational functions using the Griffiths-Dwork method
- auteur
- Alin Bostan, Pierre Lairez, Bruno Salvy
- article
- ISSAC'13 - 38th International Symposium on Symbolic and Algebraic Computation, Northeastern University, Boston, Massachusetts, USA, Jul 2013, Boston, United States. pp.93-100, ⟨10.1145/2465506.2465935⟩
- Accès au texte intégral et bibtex
-
- titre
- Canonical Structures for the working Coq user
- auteur
- Assia Mahboubi, Enrico Tassi
- article
- ITP 2013, 4th Conference on Interactive Theorem Proving, Jul 2013, Rennes, France. pp.19-34, ⟨10.1007/978-3-642-39634-2_5⟩
- Accès au texte intégral et bibtex
-
- titre
- A Machine-Checked Proof of the Odd Order Theorem
- auteur
- Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
- article
- ITP 2013, 4th Conference on Interactive Theorem Proving, Jul 2013, Rennes, France. pp.163-179, ⟨10.1007/978-3-642-39634-2_14⟩
- Accès au texte intégral et bibtex
-
- titre
- The Rooster and the Butterflies
- auteur
- Assia Mahboubi
- article
- CICM 2013 - Conference on Intelligent Computer Mathematics - 2013, Jul 2013, Bath, United Kingdom. pp.1-18, ⟨10.1007/978-3-642-39320-4_1⟩
- Accès au texte intégral et bibtex
-
- titre
- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
- auteur
- Bruno Barras, Lourdes del Carmen Gonzalez Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
- article
- MKM/Calculemus/DML, Jul 2013, Bath, United Kingdom. pp.359-363
- Accès au bibtex
-
- titre
- Combinatoire analytique et modèles d'urnes
- auteur
- Basile Morcrette
- article
- Combinatoire [math.CO]. Université Pierre et Marie Curie - Paris VI, 2013. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- A constructive version of Laplace's proof on the existence of complex roots
- auteur
- Cyril Cohen, Thierry Coquand
- article
- Journal of Algebra, 2013, 381, pp.110-115. ⟨10.1016/j.jalgebra.2013.01.016⟩
- Accès au texte intégral et bibtex
-
- titre
- Ising n-fold integrals as diagonals of rational functions and integrality of series expansions
- auteur
- Alin Bostan, S. Boukraa, G. Christol, S. Hassani, J.-M. Maillard
- article
- Journal of Physics A: Mathematical and Theoretical, 2013, 46, pp.185202-185245. ⟨10.1088/1751-8113/46/18/185202⟩
- Accès au bibtex
-
- titre
- Joint Spectral Radius, Dilation Equations, and Asymptotic Behavior of Radix-Rational Sequences
- auteur
- Philippe Dumas
- article
- Linear Algebra and its Applications, 2013, 438 (5), pp.2107-2126. ⟨10.1016/j.laa.2012.10.013⟩
- Accès au texte intégral et bibtex
-
- titre
- Homotopy Type Theory: Univalent Foundations of Mathematics
- auteur
- Peter Aczel, Benedikt Ahrens, Thorsten Altenkirch, Steve Awodey, Bruno Barras, Andrej Bauer, Yves Bertot, Marc Bezem, Thierry Coquand, Eric Finster, Daniel Grayson, Hugo Herbelin, André Joyal, Dan Licata, Peter Lumsdaine, Assia Mahboubi, Per Martin-Löf, Sergey Melikhov, Alvaro Pelayo, Andrew Polonsky, Michael Shulman, Matthieu Sozeau, Bas Spitters, Benno van den Berg, Vladimir Voevodsky, Michael Warren, Carlo Angiuli, Anthony Bordg, Guillaume Brunerie, Chris Kapulkin, Egbert Rijke, Kristina Sojakova, Jeremy Avigad, Cyril Cohen, Robert Constable, Pierre-Louis Curien, Peter Dybjer, Martín Escardó, Kuen-Bang Hou, Nicola Gambino, Richard Garner, Georges Gonthier, Thomas Hales, Robert Harper, Martin Hofmann, Pieter Hofstra, Joachim Koch, Nicolai Kraus, Nuo Li, Zhaohui Luo, Michael Nahas, Erik Palmgren, Emily Riehl, Dana Scott, Philip Scott, Sergei Soloviev
- article
- The Univalent Foundations Program Institute for Advanced Study, pp.1--587, 2013
- Accès au bibtex
-
2012
- titre
- Ising n-fold integrals as diagonals of rational functions and integrality of series expansions: integrality versus modularity
- auteur
- A. Bostan, S. Boukraa, G. Christol, S. Hassani, J. -M. Maillard
- article
- 2012
- Accès au bibtex
-
- titre
- Formalized algebraic numbers: construction and first-order theory.
- auteur
- Cyril Cohen
- article
- Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Construction of real algebraic numbers in Coq
- auteur
- Cyril Cohen
- article
- ITP - 3rd International Conference on Interactive Theorem Proving - 2012, Aug 2012, Princeton, United States
- Accès au texte intégral et bibtex
-
- titre
- Power Series Solutions of Singular (q)-Differential Equations
- auteur
- Alin Bostan, Muhammad F. I. Chowdhury, Romain Lebreton, Bruno Salvy, Éric Schost
- article
- ISSAC '12: 37th International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.107-114
- Accès au bibtex
-
- titre
- Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators
- auteur
- Alin Bostan, Frédéric Chyzak, Ziming Li, Bruno Salvy
- article
- ISSAC 2012 - 37th International Symposium on Symbolic and Algebraic Computation, Jul 2012, Grenoble, France. pp.99-106
- Accès au bibtex
-
- titre
- A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic
- auteur
- François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, Guillaume Melquiond
- article
- 6th International Joint Conference on Automated Reasoning, Jun 2012, Manchester, United Kingdom. pp.67-81, ⟨10.1007/978-3-642-31365-3_8⟩
- Accès au texte intégral et bibtex
-
- titre
- Simulating the DPLL(T ) procedure in a sequent calculus with focusing
- auteur
- Mahfuza Farooque, Stéphane Lengrand, Assia Mahboubi
- article
- 2012
- Accès au texte intégral et bibtex
-
- titre
- Calcul formel pour la combinatoire
- auteur
- Alin Bostan, Bruno Salvy
- article
- Journées ALEA 2012, Mar 2012, Luminy, France
- Accès au texte intégral et bibtex
-
- titre
- Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
- auteur
- Cyril Cohen, Assia Mahboubi
- article
- Logical Methods in Computer Science, 2012, 8 (1:02), pp.1-40. ⟨10.2168/LMCS-8(1:02)2012⟩
- Accès au texte intégral et bibtex
-
- titre
- Construction des nombres algébriques réels en Coq
- auteur
- Cyril Cohen
- article
- JFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France
- Accès au texte intégral et bibtex
-
- titre
- A binomial-like matrix equation
- auteur
- Alin Bostan, Thierry Combot
- article
- The American Mathematical Monthly, 2012, 119 (7), pp.593-597. ⟨10.4169/amer.math.monthly.119.07.593⟩
- Accès au texte intégral et bibtex
-
2011
- titre
- Homotopy techniques for multiplication modulo triangular sets
- auteur
- Alin Bostan, Muhammad F. I. Chowdhury, Joris van der Hoeven, Éric Schost
- article
- Journal of Symbolic Computation, 2011, 46 (12), pp.1378-1402. ⟨10.1016/j.jsc.2011.08.015⟩
- Accès au texte intégral et bibtex
-
2009
- titre
- Calcul formel : mode d'emploi. Exemples en Maple
- auteur
- Philippe Dumas, Claude Gomez, Bruno Salvy, Paul Zimmermann
- article
- Sans, pp.326, 2009
- Accès au bibtex
-
2002
- titre
- Tracking of Objects in Video Scenes with Time Varying Content
- auteur
- Amal Mahboubi, Jenny Benois-Pineau, Dominique Barba
- article
- EURASIP Journal on Advances in Signal Processing, 2002, EURASIP Journal on Advances in Signal Processing, 2002 (6), pp.582 - 594. ⟨10.1155/S1110865702000902⟩
- Accès au bibtex
-