3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.SC2015★ 2 cited
Formulas for Continued Fractions. An Automated Guess and Prove Approach
Sébastien Maulat, Bruno Salvy
We describe a simple method that produces automatically closed forms for the coefficients of continued fractions expansions of a large number of special functions. The function is…
cs.LO2012★ 3 cited
Higher-order port-graph rewriting
Maribel Fernández, Sébastien Maulat
The biologically inspired framework of port-graphs has been successfully used to specify complex systems. It is the basis of the PORGY modelling tool. To facilitate the specificati…