Sébastien Maulat

According to our database, Sébastien Maulat authored at least 2 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Formulas for Continued Fractions: An Automated Guess and Prove Approach.

Sébastien Maulat, Bruno Salvy

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2012

Higher-order port-graph rewriting

Maribel Fernández, Sébastien Maulat

Proceedings of the Proceedings 2nd International Workshop on Linearity, 2012