Scientific Computing with Automatic Result Verification. E. Adams U. Kulisch

Zdroj:	Mathematics of Computation, 1994 Oct 01. 63(208), 819-820.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2153302 Zobrazit plný text záznamu