Publisher
Springer International Publishing
Reference22 articles.
1. Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Academic Press, New York (1983)
2. Charalampakis, A.E., Chatzigiannelis, I.: Analytical solutions for the minimum weight design of trusses by cylindrical algebraic decomposition. Arch. Appl. Mech. 88(1–2), 39–49 (2018). https://doi.org/10.1007/s00419-017-1271-8
3. Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Caviness, B.F., Johnson, J.R. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 85–121. Texts and Monographs in Symbolic Computation, Springer, Vienna (1998). https://doi.org/10.1007/978-3-7091-9459-1_4
4. Ebbinghaus, H.-D., Flum, J., Thomas, W.: Mathematical Logic. Springer, New York (1996)
5. Elishakoff, I., Gabriele, S., Wang, Y.: Generalized Galileo Galilei problem in interval setting for functionally related loads. Arch. Appl. Mech. 86(7), 1203–1217 (2015). https://doi.org/10.1007/s00419-015-1086-4