Home > Researchers > Frédéric Chyzak

Researchers

Back to the list

Share:

A A

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:

[email protected]

+33 1 69 35 69 74

Personal web page

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

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

2013

Conference papers

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