இருபடி விகிதமுறுஎண் (Tamil Wikipedia)

Analysis of information sources in references of the Wikipedia article "இருபடி விகிதமுறுஎண்" in Tamil language version.

refsWebsite

Global rank Tamil rank

451^st place

1,535^th place

2^nd place

4^th place

3^rd place

6^th place

69^th place

932^nd place

ams.org

Ko, Ker-I (1991), Complexity Theory of Real Functions, Progress in Theoretical Computer Science, Boston, Massachusetts: Birkhäuser Boston, Inc., pp. 41–43, எண்ணிம ஆவணச் சுட்டி:10.1007/978-1-4684-6802-1, பன்னாட்டுத் தரப்புத்தக எண் 0-8176-3586-6, MR 1137517
Uiterwijk, Jos W. H. M.; Barton, Michael (2015), "New results for Domineering from combinatorial game theory endgame databases", Theoretical Computer Science, 592: 72–86, arXiv:1506.03949, எண்ணிம ஆவணச் சுட்டி:10.1016/j.tcs.2015.05.017, MR 3367582
Equivalent formulas to these, written in the language of the Coq interactive theorem prover, are given by Krebbers, Robbert; Spitters, Bas (2013), "Type classes for efficient exact real arithmetic in Coq", Logical Methods in Computer Science, 9 (1): 1:01, 27, arXiv:1106.3448, எண்ணிம ஆவணச் சுட்டி:10.2168/LMCS-9(1:1)2013, MR 3029087
O'Connor, Russell (2007), "A monadic, functional implementation of real numbers", Mathematical Structures in Computer Science, 17 (1): 129–159, எண்ணிம ஆவணச் சுட்டி:10.1017/S0960129506005871, MR 2311089
Kac, Mark (1959), Statistical Independence in Probability, Analysis and Number Theory, Carus Mathematical Monographs, vol. 12, New York: John Wiley & Sons for the Mathematical Association of America, pp. 2–3, MR 0110114

Uiterwijk, Jos W. H. M.; Barton, Michael (2015), "New results for Domineering from combinatorial game theory endgame databases", Theoretical Computer Science, 592: 72–86, arXiv:1506.03949, எண்ணிம ஆவணச் சுட்டி:10.1016/j.tcs.2015.05.017, MR 3367582
Equivalent formulas to these, written in the language of the Coq interactive theorem prover, are given by Krebbers, Robbert; Spitters, Bas (2013), "Type classes for efficient exact real arithmetic in Coq", Logical Methods in Computer Science, 9 (1): 1:01, 27, arXiv:1106.3448, எண்ணிம ஆவணச் சுட்டி:10.2168/LMCS-9(1:1)2013, MR 3029087

Ko, Ker-I (1991), Complexity Theory of Real Functions, Progress in Theoretical Computer Science, Boston, Massachusetts: Birkhäuser Boston, Inc., pp. 41–43, எண்ணிம ஆவணச் சுட்டி:10.1007/978-1-4684-6802-1, பன்னாட்டுத் தரப்புத்தக எண் 0-8176-3586-6, MR 1137517
Uiterwijk, Jos W. H. M.; Barton, Michael (2015), "New results for Domineering from combinatorial game theory endgame databases", Theoretical Computer Science, 592: 72–86, arXiv:1506.03949, எண்ணிம ஆவணச் சுட்டி:10.1016/j.tcs.2015.05.017, MR 3367582
Equivalent formulas to these, written in the language of the Coq interactive theorem prover, are given by Krebbers, Robbert; Spitters, Bas (2013), "Type classes for efficient exact real arithmetic in Coq", Logical Methods in Computer Science, 9 (1): 1:01, 27, arXiv:1106.3448, எண்ணிம ஆவணச் சுட்டி:10.2168/LMCS-9(1:1)2013, MR 3029087
O'Connor, Russell (2007), "A monadic, functional implementation of real numbers", Mathematical Structures in Computer Science, 17 (1): 129–159, எண்ணிம ஆவணச் சுட்டி:10.1017/S0960129506005871, MR 2311089