4 citations · 4 across the 2 of their papers we have counts for
2 papers
math.DS2020
Holonomy and equivalence of analytic foliations
Francisco Chaves
The main goal of this paper is the analytic classification of the germs of singular foliations generated, up to an analytic change of coordinates, by the germs of vector fields of…
cs.MS2006★ 4 cited
A library of Taylor models for PVS automatic proof checker
Francisco Cháves, Marc Daumas
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s…