Logic for exact real arithmetic
暂无分享,去创建一个
[1] Hideki Tsuiki,et al. Real number computation through Gray code embedding , 2002, Theor. Comput. Sci..
[2] Kenji Miyamoto,et al. Logic for Gray-code Computation , 2016 .
[3] Ulrich Berger,et al. From Coinductive Proofs to Exact Real Arithmetic , 2009, CSL.
[4] S. Feferman. Constructive Theories of Functions and Classes , 1979 .
[5] KENJ I MIYAMOTO,et al. Program extraction in exact real arithmetic , 2015, Math. Struct. Comput. Sci..
[6] Dana S. Scott,et al. Outline of a Mathematical Theory of Computation , 1970 .
[7] Ulrich Berger,et al. Program Extraction from Normalization Proofs , 2006, Stud Logica.
[8] E. Bishop. Foundations of Constructive Analysis , 2012 .
[9] Y. Ershov. Model of Partial Continuous Functionals , 1977 .
[10] Alberto Ciaffaglione,et al. A certified, corecursive implementation of exact real numbers , 2006, Theor. Comput. Sci..
[11] Ulrich Berger,et al. Proofs, Programs, Processes , 2011, Theory of Computing Systems.
[12] Pietro Di Gianantonio. An Abstract Data Type for Real Numbers , 1999, Theor. Comput. Sci..
[13] Franziskus Wiesnet. Introduction to Minlog , 2018 .