-
Velleman, D.J.: Fermat's last theorem and Hilbert's program (1997)
0.18
0.17609538 = sum of:
0.17609538 = product of:
0.8804769 = sum of:
0.17773026 = weight(abstract_txt:mathematicians in 6443) [ClassicSimilarity], result of:
0.17773026 = score(doc=6443,freq=2.0), product of:
0.16286004 = queryWeight, product of:
1.1174287 = boost
8.231152 = idf(docFreq=31, maxDocs=44218)
0.017706558 = queryNorm
1.0913068 = fieldWeight in 6443, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
8.231152 = idf(docFreq=31, maxDocs=44218)
0.09375 = fieldNorm(doc=6443)
0.022248883 = weight(abstract_txt:have in 6443) [ClassicSimilarity], result of:
0.022248883 = score(doc=6443,freq=1.0), product of:
0.07405644 = queryWeight, product of:
1.3051324 = boost
3.2046018 = idf(docFreq=4876, maxDocs=44218)
0.017706558 = queryNorm
0.30043143 = fieldWeight in 6443, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.2046018 = idf(docFreq=4876, maxDocs=44218)
0.09375 = fieldNorm(doc=6443)
0.21900037 = weight(abstract_txt:hilbert in 6443) [ClassicSimilarity], result of:
0.21900037 = score(doc=6443,freq=1.0), product of:
0.23583785 = queryWeight, product of:
1.344681 = boost
9.905128 = idf(docFreq=5, maxDocs=44218)
0.017706558 = queryNorm
0.9286057 = fieldWeight in 6443, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
9.905128 = idf(docFreq=5, maxDocs=44218)
0.09375 = fieldNorm(doc=6443)
0.081577145 = weight(abstract_txt:century in 6443) [ClassicSimilarity], result of:
0.081577145 = score(doc=6443,freq=1.0), product of:
0.15382937 = queryWeight, product of:
1.5358442 = boost
5.6566324 = idf(docFreq=419, maxDocs=44218)
0.017706558 = queryNorm
0.5303093 = fieldWeight in 6443, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.6566324 = idf(docFreq=419, maxDocs=44218)
0.09375 = fieldNorm(doc=6443)
0.37992024 = weight(abstract_txt:mathematics in 6443) [ClassicSimilarity], result of:
0.37992024 = score(doc=6443,freq=2.0), product of:
0.428998 = queryWeight, product of:
3.6271887 = boost
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.017706558 = queryNorm
0.88559914 = fieldWeight in 6443, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.09375 = fieldNorm(doc=6443)
0.2 = coord(5/25)
-
Borwein, J.; Stanway, T.: Knowledge and community in mathematics (2005)
0.17
0.16893779 = sum of:
0.16893779 = product of:
0.7039075 = sum of:
0.08886513 = weight(abstract_txt:mathematicians in 3662) [ClassicSimilarity], result of:
0.08886513 = score(doc=3662,freq=2.0), product of:
0.16286004 = queryWeight, product of:
1.1174287 = boost
8.231152 = idf(docFreq=31, maxDocs=44218)
0.017706558 = queryNorm
0.5456534 = fieldWeight in 3662, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
8.231152 = idf(docFreq=31, maxDocs=44218)
0.046875 = fieldNorm(doc=3662)
0.011124441 = weight(abstract_txt:have in 3662) [ClassicSimilarity], result of:
0.011124441 = score(doc=3662,freq=1.0), product of:
0.07405644 = queryWeight, product of:
1.3051324 = boost
3.2046018 = idf(docFreq=4876, maxDocs=44218)
0.017706558 = queryNorm
0.15021572 = fieldWeight in 3662, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.2046018 = idf(docFreq=4876, maxDocs=44218)
0.046875 = fieldNorm(doc=3662)
0.057683747 = weight(abstract_txt:century in 3662) [ClassicSimilarity], result of:
0.057683747 = score(doc=3662,freq=2.0), product of:
0.15382937 = queryWeight, product of:
1.5358442 = boost
5.6566324 = idf(docFreq=419, maxDocs=44218)
0.017706558 = queryNorm
0.37498528 = fieldWeight in 3662, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
5.6566324 = idf(docFreq=419, maxDocs=44218)
0.046875 = fieldNorm(doc=3662)
0.12901066 = weight(abstract_txt:mathematical in 3662) [ClassicSimilarity], result of:
0.12901066 = score(doc=3662,freq=5.0), product of:
0.19383879 = queryWeight, product of:
1.724042 = boost
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.017706558 = queryNorm
0.6655565 = fieldWeight in 3662, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.046875 = fieldNorm(doc=3662)
0.088202894 = weight(abstract_txt:twentieth in 3662) [ClassicSimilarity], result of:
0.088202894 = score(doc=3662,freq=1.0), product of:
0.2572382 = queryWeight, product of:
1.9860734 = boost
7.314861 = idf(docFreq=79, maxDocs=44218)
0.017706558 = queryNorm
0.3428841 = fieldWeight in 3662, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.314861 = idf(docFreq=79, maxDocs=44218)
0.046875 = fieldNorm(doc=3662)
0.3290206 = weight(abstract_txt:mathematics in 3662) [ClassicSimilarity], result of:
0.3290206 = score(doc=3662,freq=6.0), product of:
0.428998 = queryWeight, product of:
3.6271887 = boost
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.017706558 = queryNorm
0.7669514 = fieldWeight in 3662, product of:
2.4494898 = tf(freq=6.0), with freq of:
6.0 = termFreq=6.0
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.046875 = fieldNorm(doc=3662)
0.24 = coord(6/25)
-
Graham, L.R.: Do mathematical equations display social attributes? (2000)
0.11
0.110591725 = sum of:
0.110591725 = product of:
0.46079886 = sum of:
0.073309995 = weight(abstract_txt:mathematicians in 6884) [ClassicSimilarity], result of:
0.073309995 = score(doc=6884,freq=1.0), product of:
0.16286004 = queryWeight, product of:
1.1174287 = boost
8.231152 = idf(docFreq=31, maxDocs=44218)
0.017706558 = queryNorm
0.4501411 = fieldWeight in 6884, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
8.231152 = idf(docFreq=31, maxDocs=44218)
0.0546875 = fieldNorm(doc=6884)
0.012978514 = weight(abstract_txt:have in 6884) [ClassicSimilarity], result of:
0.012978514 = score(doc=6884,freq=1.0), product of:
0.07405644 = queryWeight, product of:
1.3051324 = boost
3.2046018 = idf(docFreq=4876, maxDocs=44218)
0.017706558 = queryNorm
0.17525166 = fieldWeight in 6884, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.2046018 = idf(docFreq=4876, maxDocs=44218)
0.0546875 = fieldNorm(doc=6884)
0.04758667 = weight(abstract_txt:century in 6884) [ClassicSimilarity], result of:
0.04758667 = score(doc=6884,freq=1.0), product of:
0.15382937 = queryWeight, product of:
1.5358442 = boost
5.6566324 = idf(docFreq=419, maxDocs=44218)
0.017706558 = queryNorm
0.3093471 = fieldWeight in 6884, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.6566324 = idf(docFreq=419, maxDocs=44218)
0.0546875 = fieldNorm(doc=6884)
0.06731121 = weight(abstract_txt:mathematical in 6884) [ClassicSimilarity], result of:
0.06731121 = score(doc=6884,freq=1.0), product of:
0.19383879 = queryWeight, product of:
1.724042 = boost
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.017706558 = queryNorm
0.34725356 = fieldWeight in 6884, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.0546875 = fieldNorm(doc=6884)
0.10290337 = weight(abstract_txt:twentieth in 6884) [ClassicSimilarity], result of:
0.10290337 = score(doc=6884,freq=1.0), product of:
0.2572382 = queryWeight, product of:
1.9860734 = boost
7.314861 = idf(docFreq=79, maxDocs=44218)
0.017706558 = queryNorm
0.40003145 = fieldWeight in 6884, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.314861 = idf(docFreq=79, maxDocs=44218)
0.0546875 = fieldNorm(doc=6884)
0.15670912 = weight(abstract_txt:mathematics in 6884) [ClassicSimilarity], result of:
0.15670912 = score(doc=6884,freq=1.0), product of:
0.428998 = queryWeight, product of:
3.6271887 = boost
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.017706558 = queryNorm
0.36529103 = fieldWeight in 6884, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.0546875 = fieldNorm(doc=6884)
0.24 = coord(6/25)
-
Chaitin, G.J.: Conversations with a mathematician : Math, art, science and the limits of reason (2002)
0.11
0.1072882 = sum of:
0.1072882 = product of:
0.67055124 = sum of:
0.08378285 = weight(abstract_txt:mathematicians in 2212) [ClassicSimilarity], result of:
0.08378285 = score(doc=2212,freq=1.0), product of:
0.16286004 = queryWeight, product of:
1.1174287 = boost
8.231152 = idf(docFreq=31, maxDocs=44218)
0.017706558 = queryNorm
0.514447 = fieldWeight in 2212, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
8.231152 = idf(docFreq=31, maxDocs=44218)
0.0625 = fieldNorm(doc=2212)
0.014832587 = weight(abstract_txt:have in 2212) [ClassicSimilarity], result of:
0.014832587 = score(doc=2212,freq=1.0), product of:
0.07405644 = queryWeight, product of:
1.3051324 = boost
3.2046018 = idf(docFreq=4876, maxDocs=44218)
0.017706558 = queryNorm
0.20028761 = fieldWeight in 2212, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.2046018 = idf(docFreq=4876, maxDocs=44218)
0.0625 = fieldNorm(doc=2212)
0.13324164 = weight(abstract_txt:mathematical in 2212) [ClassicSimilarity], result of:
0.13324164 = score(doc=2212,freq=3.0), product of:
0.19383879 = queryWeight, product of:
1.724042 = boost
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.017706558 = queryNorm
0.6873838 = fieldWeight in 2212, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.0625 = fieldNorm(doc=2212)
0.43869415 = weight(abstract_txt:mathematics in 2212) [ClassicSimilarity], result of:
0.43869415 = score(doc=2212,freq=6.0), product of:
0.428998 = queryWeight, product of:
3.6271887 = boost
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.017706558 = queryNorm
1.0226018 = fieldWeight in 2212, product of:
2.4494898 = tf(freq=6.0), with freq of:
6.0 = termFreq=6.0
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.0625 = fieldNorm(doc=2212)
0.16 = coord(4/25)
-
Lange, C.: Ontologies and languages for representing mathematical knowledge on the Semantic Web (2011)
0.10
0.10119382 = sum of:
0.10119382 = product of:
0.6324614 = sum of:
0.073309995 = weight(abstract_txt:mathematicians in 135) [ClassicSimilarity], result of:
0.073309995 = score(doc=135,freq=1.0), product of:
0.16286004 = queryWeight, product of:
1.1174287 = boost
8.231152 = idf(docFreq=31, maxDocs=44218)
0.017706558 = queryNorm
0.4501411 = fieldWeight in 135, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
8.231152 = idf(docFreq=31, maxDocs=44218)
0.0546875 = fieldNorm(doc=135)
0.01835439 = weight(abstract_txt:have in 135) [ClassicSimilarity], result of:
0.01835439 = score(doc=135,freq=2.0), product of:
0.07405644 = queryWeight, product of:
1.3051324 = boost
3.2046018 = idf(docFreq=4876, maxDocs=44218)
0.017706558 = queryNorm
0.24784327 = fieldWeight in 135, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.2046018 = idf(docFreq=4876, maxDocs=44218)
0.0546875 = fieldNorm(doc=135)
0.19038486 = weight(abstract_txt:mathematical in 135) [ClassicSimilarity], result of:
0.19038486 = score(doc=135,freq=8.0), product of:
0.19383879 = queryWeight, product of:
1.724042 = boost
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.017706558 = queryNorm
0.98218143 = fieldWeight in 135, product of:
2.828427 = tf(freq=8.0), with freq of:
8.0 = termFreq=8.0
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.0546875 = fieldNorm(doc=135)
0.35041222 = weight(abstract_txt:mathematics in 135) [ClassicSimilarity], result of:
0.35041222 = score(doc=135,freq=5.0), product of:
0.428998 = queryWeight, product of:
3.6271887 = boost
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.017706558 = queryNorm
0.81681556 = fieldWeight in 135, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.0546875 = fieldNorm(doc=135)
0.16 = coord(4/25)