Añadir a mi colección
Formato
También te puede gustar
Defining the IEEE-854 floating-point standard in PVS
Paul S. Miner
1995
Prospects for CFD on petaflops systems
David E. Keyes
1997
Interpretation of IEEE-854 floating-point standard and definition in the HOL system
Victor A. Carreño
Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit
Jing Pan
1991
Improved load distribution in parallel sparse Cholesky factorization
Edward Rothberg
1994
On the accuracy of solving triangular systems in parallel
Nai-kuan Tsao
1988
Lekt︠s︡ii po teorii approksimat︠s︡ii
N. I. Akhiezer
1947
Calculus&Mathematica
Bill Davis
