Author:
Edalat Abbas,Pattinson Dirk
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Abramsky, S., Jung, A.: Domain Theory. In: Abramsky, S., Gabbay, D., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 3, Clarendon Press, Oxford (1994)
2. Berz, M., Makino, K.: Verified integration of odes and flows using differential algebraic methods on high-order taylor models. Reliable Computing 4, 361–369 (1998)
3. Corliss, G.: Survey of interval algorithms for ordinary differential equations. Journal of Applied Mathematics and Computation 31, 112–120 (1989)
4. Edalat, A., Krznarić, M., Lieutier, A.: Domain-theoretic solution of differential equations (scalar fields). In: Proceedings of MFPS XIX. Elect. Notes in Theoret. Comput. Sci., vol. 83 (2004)
5. Lecture Notes in Computer Science;A. Edalat,2004
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献