5 citations · 7 across the 5 of their papers we have counts for
7 papers
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…
Isotopic piecewise affine approximation of algebraic or varieties
Christophe Raffalli
We propose a novel sufficient condition establishing that a piecewise affine variety has the same topology as a variety of the sphere defined by positively homogeneo…
On a question of supports
Frédéric Mangolte, Christophe Raffalli
We give a sufficient condition in order that closed connected subsets in the -dimensional real projective space admit a common multitangent hyperplane.
Abstract Representation of Binders in OCaml using the Bindlib Library
Rodolphe Lepigre, Christophe Raffalli
The Bindlib library for OCaml provides a set of tools for the manipulation of data structures with variable binding. It is very well suited for the representation of abstract synta…
Practical Subtyping for System F with Sized (Co-)Induction
Rodolphe Lepigre, Christophe Raffalli
We present a rich type system with subtyping for an extension of System F. Our type constructors include sum and product types, universal and existential quantifiers, inductive and…
Distance to the discriminant
Christophe Raffalli
We will study algebraic hyper-surfaces on the real unit sphere given by an homogeneous polynomial of degree d in n variables with the view point, rarely exploite…
Simple proof of the completeness theorem for second order classical and intuitionictic logic by reduction to first-order mono-sorted logic
Karim Nour, Christophe Raffalli
We present a simpler way than usual to deduce the completeness theorem for the second-oder classical logic from the first-order one. We also extend our method to the case of second…