Francisco Cháves

According to our database¹, Francisco Cháves authored at least 3 papers between 2006 and 2018.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2018

von Mises Tapering: A Circular Data Windowing.

[BibT_eX]

[DOI]

Hélio M. de Oliveira

Francisco Cháves

CoRR, 2018

2007

Utilisation et certification de l'arithmétique d'intervalles dans un assistant de preuves. (Taylor models to extend the use and certification of interval arithmeticin a proof checker).

[BibT_eX]

[DOI]

Francisco Cháves

PhD thesis, 2007

2006

A library of Taylor models for PVS automatic proof checker

[BibT_eX]

[DOI]

Francisco Cháves

Marc Daumas

CoRR, 2006

Francisco Cháves

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...