C\'esar Mu\~noz (NIA)

Identifiers

• name variant C\'esar Mu\~noz (NIA) 0.60 · backfill

Papers (1)

1. Verified Real Number Calculations: A Library for Interval Arithmetic cs.MS · 2007 · author #4

Mentions

• 0708.3721 #4 · backfill · confidence 0.70 C\'esar Mu\~noz (NIA)

Frequent Coauthors

• David Lester (UNIVERSITY of Manchester) 1 shared papers
• Eliaus) 1 shared papers
• Marc Daumas (LIRMM 1 shared papers