Researchers

Frédéric Chyzak
Former member
Inria Saclay - Île-de-France
Presentation

I am a researcher at INRIA. My long-term domain of interest is Computer Algebra, that is, the design of fast algebraic algorithms on representations of mathematical objects in the computer. I am also interested in the interactions between Computer Algebra and Formal Proofs.

Contact:
rf.airni@kazyhc.cirederf
+33 1 69 35 69 74
Publications at the Joint Centre:

2014

Journal articles

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, Elsevier, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00991211/file/criteria.pdf BibTex

Conference papers

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
https://hal.inria.fr/hal-00984057/file/main.pdf BibTex

2013

Conference papers

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
https://hal.inria.fr/hal-00780010/file/BoChPa13.pdf 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
https://arxiv.org/pdf/1301.5038 BibTex