計算可能数 (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "計算可能数" in Japanese language version.

refsWebsite

Global rank Japanese rank

2^nd place

6^th place

low place

low place

69^th place

227^th place

274^th place

596^th place

arxiv.org

O’Connor, Russell (2008). “Certified Exact Transcendental Real Number Computation in Coq”. Theorem Proving in Higher Order Logics: 246–261. doi:10.1007/978-3-540-71067-7_21. https://arxiv.org/pdf/0805.2438.pdf.

doi.org

Boehm, Hans-J.; Cartwright, Robert; Riggle, Mark; O'Donnell, Michael J. (8 August 1986). “Exact real arithmetic: a case study in higher order programming”. Proceedings of the 1986 ACM conference on LISP and functional programming: 162–173. doi:10.1145/319838.319860.
O’Connor, Russell (2008). “Certified Exact Transcendental Real Number Computation in Coq”. Theorem Proving in Higher Order Logics: 246–261. doi:10.1007/978-3-540-71067-7_21. https://arxiv.org/pdf/0805.2438.pdf.
Gowland, Paul; Lester, David (2001). “A Survey of Exact Arithmetic Implementations” (英語). Computability and Complexity in Analysis (Springer): 30–47. doi:10.1007/3-540-45335-0_3.

springer.com

link.springer.com

Gowland, Paul; Lester, David (2001). “A Survey of Exact Arithmetic Implementations” (英語). Computability and Complexity in Analysis (Springer): 30–47. doi:10.1007/3-540-45335-0_3.

uni.wroc.pl

fricas-wiki.math.uni.wroc.pl

Boehm, Hans-J.; Cartwright, Robert; Riggle, Mark; O'Donnell, Michael J. (8 August 1986). “Exact real arithmetic: a case study in higher order programming”. Proceedings of the 1986 ACM conference on LISP and functional programming: 162–173. doi:10.1145/319838.319860.