Certified exact real arithmetic using co-induction in arbitrary integer base

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4989 LNCS, Issue , 2008, Pages 48-63

  Julien, Nicolas ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGER BASES; PROOF SYSTEMS;

COMPUTATIONAL METHODS; DIGITAL ARITHMETIC; INTEGER PROGRAMMING; VERIFICATION;

ALGORITHMS;

EID: 43149115648     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78969-7_6     Document Type: Conference Paper

References (14)