Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

First Page		Document Content
Date: 2018-01-15 07:35:42 Functions and mappings Mathematical analysis Mathematics Computer arithmetic Limit of a function Abstract interpretation Unit in the last place Exponentiation Integral Lambda calculus Quantifier Combinatory logic		Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign Add to Reading List Source URL: perso.univ-perp.fr Download Document from Source Website File Size: 618,50 KB Share Document on Facebook

	Counter Simulations via Higher Order Quantifier Elimination: a preliminary report Silvio Ghilardi Elena Pagani DocID: 1xTQ0 - View Document
	(Mostly Real) Quantifier Elimination Thomas Sturm AVACS Autumn School, Oldenburg, Germany, October 1, 2015 http://www.mpi-inf.mpg.de/~sturm/ DocID: 1xTFa - View Document
	QUANTIFIER ELIMINATION IN C-ALGEBRAS CHRISTOPHER J. EAGLE, ILIJAS FARAH, EBERHARD KIRCHBERG, AND ALESSANDRO VIGNATI Abstract. The only C-algebras that admit elimination of quantifiers in continuous logic are C, C2 , C( DocID: 1vfFf - View Document
	The manner and time course of updating quantifier scope representations in discourse Jakub Dotlaˇcil˚and Adrian Brasoveanu: April 21, 2014 Abstract DocID: 1veB1 - View Document
	Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa DocID: 1verz - View Document