Author:
Duracz Jan,Farjudian Amin,Konečný Michal,Taha Walid
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Comba, J.L.D., Stolfi, J.: Affine arithmetic and its applications to computer graphics. Presented at SIBGRAPI 1993, Recife, PE, Brazil (October 1993)
2. Darulova, E., Kuncak, V.: Sound compilation of reals. SIGPLAN Not. 49(1), 235–248 (2014)
3. Duracz, J., Konečný, M.: Polynomial function intervals for floating-point software verification. Annals of Mathematics and Artificial Intelligence 70, 351–398 (2014)
4. Edalat, A., Pattinson, D.: A domain-theoretic account of Picard’s theorem. LMS Journal of Computation and Mathematics 10, 83–118 (2007)
5. Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M.W., Scott, D.S.: Continuous Lattices and Domains. Encycloedia of Mathematics and its Applications, vol. 93. Cambridge University Press (2003)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献