Alin Bostan
Senior researcher (Directeur de recherche) 



Events 
Coorganized with Mark Giesbrecht, Christoph Koutschan, Marni Mishna, Mohab Safey El Din, Bruno Salvy and Gilles Villard. From 27 March to 30 June 2023 in Lyon and from 18 September to 11 December 2023 in Paris, at the Henri Poincaré Institute. Coorganized with Javier Fresán and Tanguy Rivoal. 9–11 January 2023 in Paris, at the Henri Poincaré Institute. Coorganized with Lucia Di Vizio and Kilian Raschel at the Henri Poincaré Institute and Inria Saclay since 2017. Next session: 2 December 2022 – Hadrien Notarantonio. It continues the Computations and Proofs Seminar, coorganized with Frédéric Chyzak at Inria Saclay between 2012 and 2020. Next session: 9 December 2022 – Igor Pak. Coorganized with Lucia Di Vizio at Univ. Versailles and at Inria Saclay since 2018. Next session: 29 November 2022 at U. Versailles. Speakers: Klara Nosan, Julien Roques and Éric Delaygue. EFI Days 2022 on 12 to 14 September 2022, Toulouse. Deciding irrationality and transcendence. Latest meeting on 15 September 2022 in Toulouse. Coorganized with Kilian Raschel. Posters. Proceedings Book. Brașov, Romania, 13–17 May 2019. 

Editorial boards 
Founded by Bruno Buchberger in 1985, JSC is intended for mathematicians and computer scientists who are particularly interested in computer algebra. 

Founded by William Y.C. Chen in 1997, Ann. Comb. is intended for mathematicians and computer scientists who are particularly interested in combinatorial mathematics in the broad sense of the term. 

Founded by Robert M. Corless in 2021, Maple Transactions is an open access journal that promotes research in computerassisted mathematics. 

Romanian journal founded in 1972, open access, aimed at a general audience of mathematicians and computer scientists. 

Books 
Springer, 2021, 560 pages, ISBN 9783030843038. Volume 373 of the book series Proceedings in Mathematics and Statistics. Coedited with Kilian Raschel: [PDF]. In French, 2017, 686 pages, ISBN 9791069909472. Printed by CreateSpace and distributed by Amazon. Free electronic version with identical contents, enhanced by colors and hyperlinks. With Frédéric Chyzak, Marc Giusti, Romain Lebreton, Grégoire Lecerf, Bruno Salvy, Éric Schost: [PDF]. 

Preprints 
37 pages, submitted, 2022. With Tanguy Rivoal, Bruno Salvy: [PDF]. 33 pages, submitted, 2022. With Frédéric Chapoton : [PDF]. 53 pages, submitted, 2021. With Gerold Alsmeyer, Kilian Raschel, Thomas Simon: [PDF]. 18 pages, submitted, 2020. With Lucia Di Vizio, Kilian Raschel: [PDF]. 8 pages, submitted, 2021. With Sergey Yurkevich: [PDF]. 80 pages, submitted, 2019. 

Articles 
Proceedings ISSAC'22, pp. 101–110, ACM Press, 2022. With Frédéric Chyzak, Hadrien Notarantonio, Mohab Safey El Din: [PDF].  
European Journal of Combinatorics, vol. 105, pp. 1–22, 2022. Avec Jordan Tirrell, Bruce W. Westbury, Yi Zhang: [PDF]. 

Proceedings of the American Mathematical Society, vol. 150, number 5, pp. 2131–2136, 2022. Avec Sergey Yurkevich: [PDF]. 

Journal of Algebra, vol. 602, pp. 154–180, 2022. With Jérémy Berthomieu, Andrew Ferguson, Mohab Safey El Din: [PDF]. 

Journal of Symbolic Computation, vol. 115, pp. 96–123, 2023. With Sergey Yurkevich: [PDF]. 

Proceedings of the American Mathematical Society, vol. 150, number 3, pp. 1071–1087, 2022. With Sergey Yurkevich: [PDF]. 

Proceedings ISSAC'21, pp. 1–8, ACM Press, 2021: [PDF]. 

3 pages, to appear in Rendiconti del Seminario Matematico della Università di Padova: [PDF]. 

Proceedings FPSAC 2021, Séminaire Lotharingien de Combinatoire, vol. 85B, article 78, pp. 1–12, 2021. With Manuel Kauers, Thibaut Verron: [PDF]. 

Electronic Journal of Combinatorics, vol. 27, issue 4, pp. 1–59, 2020. With Andrew Elvey Price, Anthony John Guttmann, JeanMarie Maillard: [PDF]. 

34 pages, 2020. With Ryuhei Mori: [PDF]. Short version in Proceedings of SOSA'21 (SIAM Symposium on Simplicity in Algorithms), pp. 118–132, 2021. 

Journal of the European Mathematical Society, vol. 23, issue 7, pp. 2221–2297, 2021. With Mireille BousquetMélou, Stephen Melczer: [PDF]. 

Martin boundary of killed random walks on isoradial graphs. Potential Analysis, vol. 57, no. 2, pp. 201–226, 2022. With Cédric Boutillier, Kilian Raschel: [PDF]. 

Bulletin of the London Mathematical Society, vol. 53, issue 1, pp. 53–62, 2021. With Tanguy Rivoal, Bruno Salvy: [PDF]. 

Comptes Rendus de l'Académie des Sciences, tome 358, no. 9–10, pp. 1005–1009, 2020. With Antonio JiménezPastor: [PDF].  
Information Processing Letters, article 106078, vol. 167, 2021. With Vladica Andrejić, Milos Tatarevic: [PDF].  
American Mathematical Monthly, vol. 128, no. 8, issue 212, pp.737–743, 2021. Avec Fernando Chamizo, Mikael P. Sundqvist: [PDF]. 

Communications in Computer Algebra, vol. 54, no. 2, issue 212, pp. 30–38, 2020. With Frédéric Chyzak, Antonio JiménezPastor, Pierre Lairez: [PDF]. 

Proceedings ISSAC'20, pp. 46–53, ACM Press, 2020: [PDF]. 

Proceedings ICALP 2020, LIPIcs, vol. 168, pp. 114:1–114:16, 2020. With Arnaud Carayol, Florent Koechlin, Cyril Nicaud: [PDF]. 

Journal of Symbolic Computation, vol. 101, pp. 330–351, 2020. With Teresa Krick, Agnes Szanto, Marcelo Valdettaro: [PDF]. 

A note on gamma triangles and local gamma vectors. Annales de la faculté des sciences de Toulouse, vol. XXIX, no. 4, pp. 907–925, 2020. With Frédéric Chapoton: [PDF]. 

Journal of Number Theory, vol. 204, pp. 113–133, 2019. With Alexander V. Marynych, Kilian Raschel: [PDF]. 

ANTS–XIII (Thirteenth Algorithmic Number Theory Symposium, 2018), vol. 2, no. 1, pp. 119–135, 2019. With Xavier Caruso, Gilles Christol, Philippe Dumas: [PDF]. 

12 pages, preprint, 2019. Avec Jordan Tirrell, Bruce W. Westbury, Yi Zhang: [PDF]. 

ISSAC'18, pp. 95–102, ACM Press, 2018. With Frédéric Chyzak, Pierre Lairez, Bruno Salvy: [PDF]. 

SIAM Journal on Matrix Analysis and Applications, vol. 38, no. 3, pp. 733–775, 2017. With ClaudePierre Jeannerod, Christophe Mouilleron, Éric Schost: [PDF]. 

Linear Algebra and its Applications, vol. 529, pp. 185–198, 2017. With Carlos D'Andrea, Teresa Krick, Agnes Szanto, Marcelo Valdettaro: [PDF]. 

Journal of Symbolic Computation, vol. 83, pp. 68–92, 2017. With Louis Dumont, Bruno Salvy: [PDF]. 

European Journal of Combinatorics, vol. 61, pp. 242–275, 2017. With Frédéric Chyzak, Mark van Hoeij, Manuel Kauers, Lucien Pech: [PDF]. 

Journal of Symbolic Computation, vol. 80, no. 2, pp. 351–386, 2017. With Pierre Lairez, Bruno Salvy: [PDF]. 

Proceedings ISSAC'16, pp. 111–118, ACM Press, 2016. With Xavier Caruso, Éric Schost: [PDF]. 

Proceedings ISSAC'16, pp. 119–126, ACM Press, 2016. With Gilles Christol, Philippe Dumas: [PDF]. 

Proceedings ISSAC'16, pp. 127–134, ACM Press, 2016. With Louis Dumont, Bruno Salvy: [PDF]. 

Transactions of the American Mathematical Society, vol. 369, no. 2, pp. 1365–1393, 2017. With Irina Kurkova, Kilian Raschel: [PDF]. 

Annals of Combinatorics, vol. 20, no. 4, pp. 661–704, 2016. With Mireille BousquetMélou, Manuel Kauers, Stephen Melczer: [PDF]. 

Mathematics of Computation, vol. 85, no. 299, pp. 1393–1425, 2016. With Guillaume Chèze, Thomas Cluzeau, JacquesArthur Weil: [PDF]. 

Journal of Physics A: Mathematical and Theoretical, vol. 48, no. 50, pp. 504001–504030, 2015. Exactly solved models and beyond: a special issue in honour of R J Baxter's 75th birthday. With Salah Boukraa, JeanMarie Maillard, JacquesArthur Weil: [PDF], 

Proceedings ISSAC'15, pp. 69–76, ACM Press, 2015. With Xavier Caruso, Éric Schost: [PDF]. 

Proceedings ISSAC'15, pp. 77–84, ACM Press, 2015. With Louis Dumont, Bruno Salvy: [PDF]. 

Pour la Science, no. 449, pp. 40–46, 2015. With Kilian Raschel. 

Proceedings ISSAC'14, pp. 59–66, ACM Press, 2014. With Xavier Caruso, Éric Schost: [PDF]. 

Proceedings ISSAC'14, pp. 67–74, ACM Press, 2014. With Thierry Combot, Mohab Safey El Din: [PDF]. 

Journal of Combinatorial Theory Series A, vol. 121, pp. 45–63, 2014. With Kilian Raschel, Bruno Salvy: [PDF], [Bibtex]. 

Proceedings ISSAC'13, pp. 93–100, ACM Press, 2013. With Pierre Lairez, Bruno Salvy: [PDF], [BibTex]. 

Proceedings ISSAC'13, pp. 85–92, ACM Press, 2013. With Frédéric Chyzak, Élie de Panafieu: [PDF], [BibTex]. 

Proceedings ISSAC'13, pp. 77–84, ACM Press, 2013. With Shaoshi Chen, Frédéric Chyzak, Ziming Li, Guoce Xin: [PDF], [BibTex]. 

Journal of Physics A: Mathematical and Theoretical, vol. 46, no. 18, pp. 185202–185245, 2013. With Salah Boukraa, Gilles Christol, Saoud Hassani, JeanMarie Maillard: [PDF], [BibTex]. 

Arxiv preprint, 100 pages, 2012. With Salah Boukraa, Gilles Christol, Saoud Hassani, JeanMarie Maillard: [PDF]. 

Proceedings FOCS'12, pp. 524–530, 2012. With Alexandre Benoit, Joris van der Hoeven: [PDF], [Bibtex]. 

Proceedings ISSAC'12, pp. 107–114, ACM Press, 2012. With Muhammad Chowdhury, Romain Lebreton, Bruno Salvy, Éric Schost: [PDF], [BibTex]. 

Proceedings ISSAC'12, pp. 99–106, ACM Press, 2012. With Frédéric Chyzak, Ziming Li, Bruno Salvy: [PDF], [BibTex]. 

American Mathematical Monthly, vol. 119, pp. 593–597, 2012. With Thierry Combot: [PDF], [BibTex]. 

Séminaire Lotharingien de Combinatoire, vol. 66, pp. 1–27, 2011. With Frédéric Chyzak, Mark van Hoeij, Lucien Pech: [PDF], [BibTex]. 

Journal of Symbolic Computation, vol. 46, no. 12, pp. 1378–1402, 2011. With Muhammad Chowdhury, Joris van der Hoeven, Éric Schost: [PDF], [BibTex]. 

Journal of Physics A: Mathematical and Theoretical, vol. 44, no. 4, 045204 (44pp), 2011. With S. Boukraa, S. Hassani, M. van Hoeij, J.M. Maillard, J.A. Weil and N. Zenine: [PDF], [BibTex]. 

International Journal of Number Theory, vol. 6, no. 7, pp. 1659–1667, 2010. With Bruno Salvy, Khang Tran: [PDF], [BibTex]. 

American Mathematical Monthly, vol. 117, no. 8, pp. 722–727, 2010. With Philippe Dumas: [PDF], [BibTex]. 

Proceedings ISSAC'10, pp. 203–210, ACM Press, 2010. With Shaoshi Chen, Frédéric Chyzak, Ziming Li: [PDF], [BibTex]. 

Advances in Mathematical Physics, vol. 2010, Article ID 941560, 44 pages, 2010. With S. Boukraa, S. Hassani, J.M. Maillard, J.A. Weil, N. Zenine and N. Abarenkova: [PDF], [BibTex]. 

Proceedings of the American Mathematical Society, vol. 138, no. 9, pp. 3063–3078, 2010. With Manuel Kauers, Mark van Hoeij: [PDF], [BibTex]. 

Linear Algebra and its Applications, vol. 432, no. 1, pp. 249–258, 2010. With Bruno Salvy, Éric Schost: [PDF], [BibTex]. 

Journal of Physics A: Mathematical and Theoretical, vol. 42, no. 27, 275209 (32pp), 2009. With S. Boukraa, A. J. Guttmann, S. Hassani, I. Jensen, J.M. Maillard and N. Zenine: [PDF], [BibTex]. 

Proceedings FPSAC'09, Discrete Mathematics and Theoretical Computer Science, pp. 203–217, 2009. With Manuel Kauers: [PDF], [BibTex]. 

Proceedings ISSAC'09, pp. 47–54, ACM Press, 2009. With Éric Schost: [PDF], [BibTex]. 

Journal of Physics A: Mathematical and Theoretical, vol. 42, no. 12, pp. 125206–125255, 2009. With S. Boukraa, S. Hassani, J.M. Maillard, J.A. Weil and N. Zenine: [PDF], [BibTex]. 

Information Processing Letters, vol. 109, no. 13, pp. 754–756, 2009. With Éric Schost: [PDF], [BibTex]. 

Theoretical Computer Science, vol. 407, no. 1–3, pp. 155–181, 2008. With ClaudePierre Jeannerod, Éric Schost: [PDF], [BibTex]. 

Proceedings ISSAC'08, pp. 269–276, ACM Press, 2008. With Bruno Salvy, Éric Schost: [PDF], [BibTex]. 

Proceedings ISSAC'08, pp. 23–30, ACM Press, 2008. With Frédéric Chyzak, Nicolas Le Roux: [PDF], [BibTex]. 

Mathematics of Computation, vol. 77, no. 263, pp. 1755–1778, 2008. With François Morain, Bruno Salvy, Éric Schost: [PDF], [BibTex]. 

Proceedings ISSAC'07, pp. 33–40, ACM Press, 2007. With ClaudePierre Jeannerod, Éric Schost: [PDF], [BibTex]. 

Proceedings ISSAC'07, pp. 25–32, ACM Press, 2007. With Frédéric Chyzak, Grégoire Lecerf, Bruno Salvy, Éric Schost: [PDF], [BibTex]. 

SIAM Journal on Computing, vol. 36, no. 6, pp. 1777–1806, 2007. With Pierrick Gaudry, Éric Schost: [PDF], [BibTex]. 

Proceedings SODA'07, pp. 1012–1021, SIAM Press, 2007. With F. Chyzak, F. Ollivier, B. Salvy, É. Schost, A. Sedoglavic: [PDF], [BibTex]. 

Proceedings ISSAC'06, pp. 31–38, ACM Press, 2006. With Frédéric Chyzak, Thomas Cluzeau, Bruno Salvy: [PDF], [BibTex]. 

Journal of Symbolic Computation, vol. 41, no. 1, pp. 1–29, 2006. With Philippe Flajolet, Bruno Salvy, Éric Schost: [PDF], [BibTex]. 

Proceedings ISSAC'05, pp. 45–52, ACM Press, 2005. With Thomas Cluzeau, Bruno Salvy: [PDF], [BibTex]. 

Proceedings MEGA'05, 2005. With Laureano GonzálezVega, Hervé Perdry, Éric Schost: [PDF], [BibTex]. 

Journal of Complexity, vol. 21, no. 4, pp. 420–446, 2005. With Éric Schost: [PDF], [BibTex]. 

Proceedings Fq7, Lecture Notes in Computer Science, vol. 2948, pp. 40–58, Springer, 2004. With Pierrick Gaudry, Éric Schost: [PDF], [BibTeX]. 

Theoretical Computer Science, vol. 329, issues 1–3, pp. 223–235, 2004. With Éric Schost: [PDF], [BibTex]. 

Proceedings ISSAC'04, pp. 42–49, ACM Press, 2004. With Grégoire Lecerf, Bruno Salvy, Éric Schost, Bernd Wiebelt: [PDF], [BibTex]. 

Proceedings ISSAC'03, pp. 37–44, ACM Press, 2003. With Grégoire Lecerf, Éric Schost: [PDF], [BibTeX]. ISSAC 2003 Distinguished Student Author Award. 

Applicable Algebra in Engineering, Communication and Computing, vol. 14, no. 4, pp. 239–272, 2003. With Bruno Salvy, Éric Schost: [PDF], [BibTeX]. 

Teaching 
Lectures given at the Parisian Master of Research in Computer Science (MPRI) since 2006. Webpage of the course: C222. Lectures given at the Theoretical Computer Science Master at ENS Lyon since 2019. Webpage of the course: CR03. Lectures given at the Vienna Summer School of Mathematics in Weissensee from 23 to 27 September 2019. Webpage of the course. Slides of the lectures: I (Context, Motivation, Examples), II (Experimental Mathematics for Combinatorics), III (Inside the Experimental Math. Toolbox). Exercises: I, II, Lectures given at the 3rd Algorithmic and Enumerative Combinatorics Summer School 2016 from 1st to 5 August 2016. Slides of the lectures: I (Context and Examples), II (Properties and Criteria, 1), III (Properties and Criteria, 2), IV (Algorithmic Proofs of Algebraicity), V (Transcendence in Lattice Path Combinatorics). Exercises: I, II, Lectures given at the 74th Séminaire Lotharingien de Combinatoire du 23 au 25 mars 2015. Slides of the lectures: I (General presentation), II (Guess'n'Prove), III (Creative telescoping). Lectures given at the ALEA Days 2012. With Bruno Salvy. Slides of the lectures: I, II. Practical work session: exercises, solutions. Notes (in French) of the lectures delivered at the Journées Nationales du Calcul Formel 2010. Les cours du CIRM, vol. 1, no. 2, pp. 75–262, 2010. Slides, [PDF], [BibTex]. Notes (in French) of the lectures delivered at the École Jeunes Chercheurs Informatique Mathématique 2007. With Bruno Salvy and Frédéric Chyzak. Slides, [PDF].  
Theses 
Defended on 15 December 2017 at the University Paris 13. HDR thesis and slides of the defense.  
Defended on 9 December 2003 at École polytechnique. Best PhD thesis award 2004 of the French Computer Science Association (AFIF). Best PhD thesis award 2004 of École polytechnique. PhD thesis, summary, table of contents and slides of the defense. 