Author books / Книги автора Boldo Sylvie,Melquiond Guillaume » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Boldo Sylvie,Melquiond Guillaume

book Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system

Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system

djvu

Author: Boldo Sylvie, Melquiond Guillaume
Language: English
Year: 2017

00

07.02.2024

0

0

book Handbook of floating-point arithmetic

Handbook of floating-point arithmetic

pdf

Author: Brunie Nicolas, de Dinechin Florent, Jeannerod Claude-Pierre, Joldes Mioara, Lefèvre Vincent, Melquiond Guillaume, Muller Jean-Michel, Revol Nathalie, Torres Serge et al.
Language: English
Year: 2018

00

30.01.2024

0

0