activity
20092026
most citedAbstract Representation of Binders in OCaml using the Bindlib Library

5 citations · 7 across the 5 of their papers we have counts for

collaborators
Showing cs.SCShow all

1 paper · 1 filter

cs.SC2026

Root isolation for analytic functions using cubic hermite interpolation

Christophe Raffalli

We present a root isolation algorithm for an analytic function. The method combines interval subdivision with a heuristic test based on local cubic Hermite interpolation. Whenever…