Search for Author All Reviews
	Mădălina, Eraşcu     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) Eraşcu M., Hong H. Journal of Symbolic Computation 75(C): 110-126, 2016.  Type: Article If we know that lies in [L,U], can we produce a better bounding interval? The obvious answer is the Secant-Newton map, replacing [L... Jul 25 2016
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy