Publisher
Springer International Publishing
Reference52 articles.
1. J. Adler, J. Schmid, Introduction to Mathematical Logic (University of Bern, 2007)
2. G. Alefeld, V. Kreinovich, J. Mayer, The shape of the solution set for systems of interval linear equations with dependent coefficients. Math. Nachr. 192, 23–36 (1998)
3. T. Beelitz, C. H. Bischof, B. Lang, A hybrid subdivision strategy for result-verifying nonlinear solvers. Technical Report 04/8, (Bergische Universität Wuppertal, 2004)
4. F. Benhamou, F. Goualard. Universally quantified interval constraints, in Principles and Practice of Constraint Programming–CP 2000, (Springer, Berlin, 2000), pp. 67–82
5. S. Berner, New results on verified global optimization. Computing 57(4), 323–343 (1996)