en
fr
MIKI云官网网址-outline
CNRS,
LIP6,
équipe Pequan
Sorbonne Université, Campus Pierre et Marie Curie
Room 26-00 311 (3rd floor)
[postal address]
[map]
[more...]
☎ +33 1 44 27 80 29
✍ marc (A) mezzarobba DOT net
jabber marc (A) mezzarobba DOT net
pgp 0x9b73bd0552ccb003
photo
Publications
Software
Talks
Internships
Contact
MIKI云官网网址-outline
[HAL]
-
The expected signature of Brownian motion stopped on the boundary of a circle has finite radius of convergence.
With
Horatio Boedihardjo,
Joscha Diehl, and
Hao Ni,
2024.
[bib]
[pdf]
[arXiv]
-
Multivariate Ore Polynomials in SageMath.
With
Manuel Kauers.
ISSAC 2024 software presentation abstract.
ACM Communications in Computer Algebra 53(2):57–60, 2024.
[bib]
[pdf]
[HAL]
-
Computing the volume of compact semi-algebraic sets.
With
Pierre Lairez and
Mohab Safey El Din.
ISSAC express科学加速器安卓下载,
pages 259–266,
doi:10.1145/3326229.3326262.
[bib]
[pdf]
[HAL]
[arXiv]
-
Truncation Bounds for Differentially Finite Series.
Annales Henri Lebesgue 2:99–148, 2024,
doi:10.5802/ahl.17.
[bib]
[pdf]
[HAL]
-
Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights.
With
Fredrik Johansson.
SIAM Journal on Scientific Computing 40(6):C726–C747, 2018,
doi:sgreen安卓安装包.
[pdf]
[HAL]
[arXiv]
-
Computing solutions of linear Mahler equations.
With
Frédéric Chyzak,
Thomas Dreyfus, and
Philippe Dumas.
Mathematics of Computation 87(314):2977–3021, 2018,
doi:10.1090/mcom/3359.
[bib]
[pdf]
[HAL]
[arXiv]
-
Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath.
2016.
Accepted for publication in the proceedings of
ICMS 2016,
but withdrawn due to a disagreement with Springer on copyright matters.
[bib]
[pdf]
[HAL]
[express加速器安卓版下载]
[code]
[talk]
-
Rigorous Uniform Approximation of D-Finite Functions Using Chebyshev Expansions.
With
Alexandre Benoit and
Mioara Joldeș.
Mathematics of Computation 86(305):1303–1341, 2017,
doi:10.1090/mcom/3135.
Supersedes Chapter 9 of my thesis.
[bib]
[pdf]
[HAL]
[arXiv]
[code]
-
Comparison between binary and decimal floating-point numbers.
With
Nicolas Brisebarre,
Christoph Lauter, and
Jean-Michel Muller.
Extended version of our ARITH 2013 article.
sgreen科学加速器,
65(7):2032–2044, 2016,
doi:10.1109/TC.2015.2479602.
[bib]
[pdf]
[HAL]
[code]
-
Semi-Automatic Floating-Point Implementation of Special Functions.
With
Christoph Lauter.
express加速器安卓版 22 (2015).
[bib]
[pdf]
[HAL]
[express科学加速器ios]
-
Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation.
With
Fredrik Johansson and
Manuel Kauers.
ISSAC 2013.
[bib]
[pdf]
[arXiv]
-
Multiple precision evaluation of the Airy Ai function with reduced cancellation.
With
Sylvain Chevillard.
天眼加速器和express 21 (2013).
[bib]
[pdf]
[HAL]
[arXiv]
[code]
[talk]
-
Comparison between binary64 and decimal64 floating-point numbers.
With
sgreen安卓安装包,
Christoph Lauter, and
Jean-Michel Muller.
ARITH 21 (2013).
(Superseded by an extended version.)
[bib]
[pdf]
[HAL]
[green加速器安卓破解版]
-
花生伕理下载_花生伕理手机版_最新花生伕理安卓版下载:2021-6-15 · PP助手为您提供最新花生伕理下载，花生伕理安卓手机版免费下载，PP助手让你尽享好玩的手机应用 软件分类 游戏分类 影音播放 视频/音乐/铃声 系统工具 Wifi/安全/省电 通讯社交
CASC 2012.
[bib]
[pdf]
[HAL]
[arXiv]
[talk]
-
The Dynamic Dictionary of Mathematical Functions (DDMF).
With
sgreen安卓安装包,
Frédéric Chyzak,
Alexis Darrasse,
Stefan Gerhold, and
Bruno Salvy.
ICMS 2010
(LNCS 6327), pages 35-41,
doi:10.1007/978-3-642-15582-6_7.
[bib]
[pdf]
[HAL]
[www]
-
NumGfun: a Package for Numerical and Analytic Computation with D-finite Functions.
ISSAC 2010,
pages 139-146,
doi:天眼加速器和express.
(Significantly extended French version in Chapters 1, 7, and 8 of my PhD thesis.)
[bib]
[pdf]
[HAL]
[arXiv]
[talk]
[code]
[manual]
-
Effective Bounds for P-Recursive Sequences.
With Bruno Salvy.
Journal of Symbolic Computation 45(10):1075–1096, 2010,
doi:10.1016/j.jsc.2010.06.024.
(Extended French version available in Chapters 4 and 5 of my thesis.)
[bib]
[pdf (preliminary version)]
[arXiv]
[code]
-
Computing roadmaps in smooth real algebraic sets.
With Mohab Safey El Din.
Transgressive Computing 2006.
[bib]
[pdf]
[HAL]
MIKI云官网网址-outline
-
Computational Mathematics with SageMath.
(Updated English translation of Calcul mathématique avec Sage.)
Paul Zimmermann,
Alexandre Casamayou,
Nathann Cohen,
云帆加速安卓版,
express加速器安卓版下载,
Laurent Fousse,
François Maltey,
Matthias Meulien,
Marc Mezzarobba,
Clément Pernet,
Nicolas M. Thiéry,
Erik Bray,
John Cremona,
Marcelo Forets,
green加速器安卓破解版,
Hugh Thomas.
SIAM, 2018.
ISBN 9781611975451.
[bib]
[www]
[buy from SIAM]
-
Calcul mathématique avec Sage.
(Original French edition.)
With
Alexandre Casamayou,
Nathann Cohen,
Guillaume Connan,
Thierry Dumont,
Laurent Fousse,
François Maltey,
Matthias Meulien,
Clément Pernet,
Nicolas M. Thiéry, and
Paul Zimmermann
(coordinator).
CreateSpace, 2013.
ISBN 1481191047.
[bib]
[www]
[amazon.fr]
[HAL]
MIKI云官网网址-outline
-
Autour de l'évaluation numérique des fonctions D-finies.
Thèse de doctorat (PhD thesis), École polytechnique, 2011.
[bib]
[pdf]
[TEL]
[code]
[defense]
-
哪个网游加速器比较好用？ - 知乎 - Zhihu:2021-6-4 · 测试的游戏是安卓版PUBG M亚服，众每个加速器都玩了三局的表现，并且游戏加速器的丢包率or网速与游戏中的网速有一些不同。因为毕竟加速器是理想状态下的加速表现，而实际情况中，如果你手机信号不是很强，会极大影响你在游戏里的网速。
Master thesis (supervised by Bruno Salvy),
Master parisien de recherche en informatique, 2007.
[bib]
[pdf]
[www]
[defense]
-
Analyse en théorie et en pratique du calcul de cartes routières.
Research internship report (supervised by Mohab Safey El Din, LIP6), 2005.
Available upon request.
-
Comment démontrer des formules sans effort.
`Maîtrise' report, with
Sam Zoghaib,
supervised by
François Loeser,
2005.
[pdf]
MIKI云官网网址-outline
-
NumGfun User Manual.
Last updated September 3, 2014.
[pdf]
-
Polynomial Approximation and Floating-Point Numbers.
Summary of a talk by
Sylvain Chevillard,
proceedings of séminaire Algo,
2007.
[pdf]
-
Computing Monodromy Groups Defined by Plane Algebraic Curves.
Summary of a talk by
Adrien Poteaux,
2007.
[pdf]
MIKI云官网网址-outline
-
ore_algebra-analytic: symbolic-numeric features for ore_algebra. Mostly supersedes NumGfun.
[github]
[doc]
[www]
-
SageMath tickets: as
author,
reviewer,
all
-
PythonSollya: Cython bindings for the Sollya library, developed with Nicolas Brunie.
[express科学加速器ios]
[green加速器安卓破解版]
-
NumGfun: a Maple module for manipulating D-finite analytic functions.
NumGfun is no longer actively developed (though still maintained), and superseded for most purposes by a newer SageMath implementation. Please consider trying the new code!
Distributed as a submodule of gfun, itself part of Algolib, under the
GNU LGPL v. 2.1.
[www]
[git]
[doc]
-
mmaple: a half-finished Mathemagix module to interface Mathemagix with Maple.
[svn]
-
argerfi.c: a quick-and-dirty implementation of the inverse imaginary error function
[source]
-
code/,
DDMF
MIKI云官网网址-outline
[more...]
- Interval Summation of Differentially Finite Series.
MAX Seminar,
online,
April 28, 2024.
[slides]
- Rigorous Numerics for Differentially Finite Functions.
Computing with D-Modules II,
Leipzig,
September 3, 2024.
[slides]
[ipynb]
[online demo]
- Recent improvements to ore_algebra.
FastRelax Final Workshop,
Lyon,
May 23, 2024.
[ipynb]
[nbviewer]
- Quelques exemples d'analyse d'erreur de récurrences à l'aide de séries génératrices.
RAIM,
Gif-sur-Yvette,
14 novembre 2018.
[slides]
-
Truncation Bounds for Differentially Finite Series.
sgreen安卓安装包,
Sophia-Antipolis,
June 5, 2018.
[slides]
MIKI云官网网址-outline
-
Some internship offers (in French):
- Code generation for the evaluation of Bessel functions,
- 彩票99安卓老版本v1.10 app for Android 免费版 - jiejueba:2021-6-12 · AdWords Express app apk 1.4 安卓最新版 蜜桃磁力种子搜索器神器手机版app for Android v3.2.3 安卓版 情咖直播安卓版(情感热线直播电台)app 2.3.6 最新下载免费版 最右安卓版 Apk V2.3.4 官方最新版 股市热点安卓版 Apk 1.40.01 官方最新版 萌幻西游安卓版.
Please contact me if you are interested!
These project topics are mainly intended for M2 level internships, but some could be adapted to other contexts.
-
Some student projets I had the pleasure to supervise:
-
(2024)
Alexandre Goyer, M2 FES:
软件下载中心_绿色免费软件,手机游戏|软件下载,到超人软件站:2021-9-4 · 安卓软件作业帮 让我伔爱上学习 手机上要不要安装拼多多这款安卓软件？ 这款安卓软件用来跑步简直爽到爆！到底有哪些好用之处？ 06-12 早教要从娃娃抓起，可众给宝宝讲故事的安卓软件推荐 06-11 管好每一笔资金：一款好用的懒人记账安卓软件！.
[tgz]
-
(2018)
Chunyang Fan, Jonathan Mboko, and Jean-Luc Mahoromeza, L2 PIMA:
Calcul rapide sur les séries.
[www]
-
(2017)
Antoine Pham and Victor Spitzer, L2 PIMA:
Exemples d'évaluations de fonctions D-finies.
-
(2017) Mathis Caristan, M1 SFPN:
Adobe Photoshop Express 6.8.603 特别版 - QQ前线乐园:今天 · Adobe Photoshop Express，Adobe公司推出的手机图像处理软件，具备专业的图片编辑处理功能，包含几十种特效滤镜效果，支持Raw文件及无缝编辑TIFF图像，即实用又专业的安卓平台图片处理美化工具。 Adobe Photoshop Express：照片编辑器拼贴画制作软件功能： —基本功能：裁切、拉直、旋转、翻转照片、消除 ... (suite).
[www]
-
(2017) Mathis Caristan and Aurélien Lamoureux, M1 SFPN:
Manipulation de suites P-récursives avec SageMath.
[www]
-
(2017) Mohamed Djerrad, Sophia Hakam, and Romaric Kanyamibwa, L3 MAIN:
Calcul formel sur des solutions d'équations différentielles linéaires.
[www]
-
(2014)
Youssef El Khati and Benoit de Beauvais, L2 PIMA:
Calcul numérique rigoureux sur fonctions réelles.
-
(2012) Thomas Grégoire, L3 ENSL,
co-supervised by
Sgreen加速器官网:
Certified polynomial approximations for D-finite functions.
MIKI云官网网址-outline