Certifying algorithm (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Certifying algorithm" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

69^th place

59^th place

arxiv.org

Alkassar, Eyad; Böhme, Sascha; Mehlhorn, Kurt; Rizkallah, Christine (June 2013), "A Framework for the Verification of Certifying Computations", Journal of Automated Reasoning, 52 (3): 241–273, arXiv:1301.7462, doi:10.1007/s10817-013-9289-2.

doi.org

McConnell, R.M.; Mehlhorn, K.; Näher, S.; Schweitzer, P. (May 2011), "Certifying algorithms", Computer Science Review, 5 (2): 119–161, doi:10.1016/j.cosrev.2010.09.009.
Alkassar, Eyad; Böhme, Sascha; Mehlhorn, Kurt; Rizkallah, Christine (June 2013), "A Framework for the Verification of Certifying Computations", Journal of Automated Reasoning, 52 (3): 241–273, arXiv:1301.7462, doi:10.1007/s10817-013-9289-2.