
Gardner, M.: Is mathematics "out there"? (2001)
0.25
0.24622859 = sum of:
0.24622859 = product of:
0.7694644 = sum of:
0.10316174 = weight(abstract_txt:mathematician in 5800) [ClassicSimilarity], result of:
0.10316174 = score(doc=5800,freq=1.0), product of:
0.1775018 = queryWeight, product of:
1.0915805 = boost
9.298992 = idf(docFreq=10, maxDocs=44218)
0.017486831 = queryNorm
0.581187 = fieldWeight in 5800, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
9.298992 = idf(docFreq=10, maxDocs=44218)
0.0625 = fieldNorm(doc=5800)
0.01526555 = weight(abstract_txt:that in 5800) [ClassicSimilarity], result of:
0.01526555 = score(doc=5800,freq=5.0), product of:
0.046099402 = queryWeight, product of:
1.112582 = boost
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.017486831 = queryNorm
0.3311442 = fieldWeight in 5800, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.0625 = fieldNorm(doc=5800)
0.008015897 = weight(abstract_txt:with in 5800) [ClassicSimilarity], result of:
0.008015897 = score(doc=5800,freq=1.0), product of:
0.051307213 = queryWeight, product of:
1.1737446 = boost
2.4997334 = idf(docFreq=9868, maxDocs=44218)
0.017486831 = queryNorm
0.15623334 = fieldWeight in 5800, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
2.4997334 = idf(docFreq=9868, maxDocs=44218)
0.0625 = fieldNorm(doc=5800)
0.05321544 = weight(abstract_txt:great in 5800) [ClassicSimilarity], result of:
0.05321544 = score(doc=5800,freq=1.0), product of:
0.14384411 = queryWeight, product of:
1.389682 = boost
5.9192348 = idf(docFreq=322, maxDocs=44218)
0.017486831 = queryNorm
0.36995217 = fieldWeight in 5800, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.9192348 = idf(docFreq=322, maxDocs=44218)
0.0625 = fieldNorm(doc=5800)
0.07492466 = weight(abstract_txt:true in 5800) [ClassicSimilarity], result of:
0.07492466 = score(doc=5800,freq=1.0), product of:
0.18069668 = queryWeight, product of:
1.5575589 = boost
6.634292 = idf(docFreq=157, maxDocs=44218)
0.017486831 = queryNorm
0.41464326 = fieldWeight in 5800, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.634292 = idf(docFreq=157, maxDocs=44218)
0.0625 = fieldNorm(doc=5800)
0.09190526 = weight(abstract_txt:discovered in 5800) [ClassicSimilarity], result of:
0.09190526 = score(doc=5800,freq=1.0), product of:
0.20705889 = queryWeight, product of:
1.6673099 = boost
7.1017675 = idf(docFreq=98, maxDocs=44218)
0.017486831 = queryNorm
0.44386047 = fieldWeight in 5800, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.1017675 = idf(docFreq=98, maxDocs=44218)
0.0625 = fieldNorm(doc=5800)
0.098539025 = weight(abstract_txt:mathematical in 5800) [ClassicSimilarity], result of:
0.098539025 = score(doc=5800,freq=1.0), product of:
0.24829592 = queryWeight, product of:
2.2361443 = boost
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.017486831 = queryNorm
0.39686123 = fieldWeight in 5800, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.0625 = fieldNorm(doc=5800)
0.32443678 = weight(abstract_txt:mathematics in 5800) [ClassicSimilarity], result of:
0.32443678 = score(doc=5800,freq=2.0), product of:
0.5495208 = queryWeight, product of:
4.704593 = boost
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.017486831 = queryNorm
0.59039944 = fieldWeight in 5800, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.0625 = fieldNorm(doc=5800)
0.32 = coord(8/25)

Borwein, J.; Stanway, T.: Knowledge and community in mathematics (2005)
0.20
0.19640529 = sum of:
0.19640529 = product of:
0.8183554 = sum of:
0.10941955 = weight(abstract_txt:mathematician in 3662) [ClassicSimilarity], result of:
0.10941955 = score(doc=3662,freq=2.0), product of:
0.1775018 = queryWeight, product of:
1.0915805 = boost
9.298992 = idf(docFreq=10, maxDocs=44218)
0.017486831 = queryNorm
0.6164419 = fieldWeight in 3662, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
9.298992 = idf(docFreq=10, maxDocs=44218)
0.046875 = fieldNorm(doc=3662)
0.014482173 = weight(abstract_txt:that in 3662) [ClassicSimilarity], result of:
0.014482173 = score(doc=3662,freq=8.0), product of:
0.046099402 = queryWeight, product of:
1.112582 = boost
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.017486831 = queryNorm
0.314151 = fieldWeight in 3662, product of:
2.828427 = tf(freq=8.0), with freq of:
8.0 = termFreq=8.0
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.046875 = fieldNorm(doc=3662)
0.010412956 = weight(abstract_txt:with in 3662) [ClassicSimilarity], result of:
0.010412956 = score(doc=3662,freq=3.0), product of:
0.051307213 = queryWeight, product of:
1.1737446 = boost
2.4997334 = idf(docFreq=9868, maxDocs=44218)
0.017486831 = queryNorm
0.20295306 = fieldWeight in 3662, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
2.4997334 = idf(docFreq=9868, maxDocs=44218)
0.046875 = fieldNorm(doc=3662)
0.09732999 = weight(abstract_txt:true in 3662) [ClassicSimilarity], result of:
0.09732999 = score(doc=3662,freq=3.0), product of:
0.18069668 = queryWeight, product of:
1.5575589 = boost
6.634292 = idf(docFreq=157, maxDocs=44218)
0.017486831 = queryNorm
0.5386374 = fieldWeight in 3662, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
6.634292 = idf(docFreq=157, maxDocs=44218)
0.046875 = fieldNorm(doc=3662)
0.16525497 = weight(abstract_txt:mathematical in 3662) [ClassicSimilarity], result of:
0.16525497 = score(doc=3662,freq=5.0), product of:
0.24829592 = queryWeight, product of:
2.2361443 = boost
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.017486831 = 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.42145574 = weight(abstract_txt:mathematics in 3662) [ClassicSimilarity], result of:
0.42145574 = score(doc=3662,freq=6.0), product of:
0.5495208 = queryWeight, product of:
4.704593 = boost
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.017486831 = 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)

Reyzin, L.: Unprovability comes to machine learning (2019)
0.13
0.132254 = sum of:
0.132254 = product of:
0.66127 = sum of:
0.014482173 = weight(abstract_txt:that in 4687) [ClassicSimilarity], result of:
0.014482173 = score(doc=4687,freq=2.0), product of:
0.046099402 = queryWeight, product of:
1.112582 = boost
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.017486831 = queryNorm
0.314151 = fieldWeight in 4687, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.09375 = fieldNorm(doc=4687)
0.017004285 = weight(abstract_txt:with in 4687) [ClassicSimilarity], result of:
0.017004285 = score(doc=4687,freq=2.0), product of:
0.051307213 = queryWeight, product of:
1.1737446 = boost
2.4997334 = idf(docFreq=9868, maxDocs=44218)
0.017486831 = queryNorm
0.33142096 = fieldWeight in 4687, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
2.4997334 = idf(docFreq=9868, maxDocs=44218)
0.09375 = fieldNorm(doc=4687)
0.13785788 = weight(abstract_txt:discovered in 4687) [ClassicSimilarity], result of:
0.13785788 = score(doc=4687,freq=1.0), product of:
0.20705889 = queryWeight, product of:
1.6673099 = boost
7.1017675 = idf(docFreq=98, maxDocs=44218)
0.017486831 = queryNorm
0.6657907 = fieldWeight in 4687, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.1017675 = idf(docFreq=98, maxDocs=44218)
0.09375 = fieldNorm(doc=4687)
0.14780854 = weight(abstract_txt:mathematical in 4687) [ClassicSimilarity], result of:
0.14780854 = score(doc=4687,freq=1.0), product of:
0.24829592 = queryWeight, product of:
2.2361443 = boost
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.017486831 = queryNorm
0.59529185 = fieldWeight in 4687, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.09375 = fieldNorm(doc=4687)
0.34411716 = weight(abstract_txt:mathematics in 4687) [ClassicSimilarity], result of:
0.34411716 = score(doc=4687,freq=1.0), product of:
0.5495208 = queryWeight, product of:
4.704593 = boost
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.017486831 = queryNorm
0.6262132 = fieldWeight in 4687, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.09375 = fieldNorm(doc=4687)
0.2 = coord(5/25)

Scheibe, E.: Calculemus! : The problem of the application of logic and mathematics (1996)
0.12
0.12425738 = sum of:
0.12425738 = product of:
0.77660865 = sum of:
0.0120684765 = weight(abstract_txt:that in 4441) [ClassicSimilarity], result of:
0.0120684765 = score(doc=4441,freq=2.0), product of:
0.046099402 = queryWeight, product of:
1.112582 = boost
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.017486831 = queryNorm
0.26179248 = fieldWeight in 4441, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.078125 = fieldNorm(doc=4441)
0.093655825 = weight(abstract_txt:true in 4441) [ClassicSimilarity], result of:
0.093655825 = score(doc=4441,freq=1.0), product of:
0.18069668 = queryWeight, product of:
1.5575589 = boost
6.634292 = idf(docFreq=157, maxDocs=44218)
0.017486831 = queryNorm
0.51830405 = fieldWeight in 4441, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.634292 = idf(docFreq=157, maxDocs=44218)
0.078125 = fieldNorm(doc=4441)
0.17419402 = weight(abstract_txt:mathematical in 4441) [ClassicSimilarity], result of:
0.17419402 = score(doc=4441,freq=2.0), product of:
0.24829592 = queryWeight, product of:
2.2361443 = boost
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.017486831 = queryNorm
0.7015581 = fieldWeight in 4441, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.078125 = fieldNorm(doc=4441)
0.49669033 = weight(abstract_txt:mathematics in 4441) [ClassicSimilarity], result of:
0.49669033 = score(doc=4441,freq=3.0), product of:
0.5495208 = queryWeight, product of:
4.704593 = boost
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.017486831 = queryNorm
0.90386087 = fieldWeight in 4441, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.078125 = fieldNorm(doc=4441)
0.16 = coord(4/25)

Fife, E.D.; Husch, L.: ¬The Mathematics Archives : making mathematics easy to find on the Web (1999)
0.12
0.115984075 = sum of:
0.115984075 = product of:
0.7249005 = sum of:
0.006826962 = weight(abstract_txt:that in 1239) [ClassicSimilarity], result of:
0.006826962 = score(doc=1239,freq=1.0), product of:
0.046099402 = queryWeight, product of:
1.112582 = boost
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.017486831 = queryNorm
0.1480922 = fieldWeight in 1239, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.0625 = fieldNorm(doc=1239)
0.008015897 = weight(abstract_txt:with in 1239) [ClassicSimilarity], result of:
0.008015897 = score(doc=1239,freq=1.0), product of:
0.051307213 = queryWeight, product of:
1.1737446 = boost
2.4997334 = idf(docFreq=9868, maxDocs=44218)
0.017486831 = queryNorm
0.15623334 = fieldWeight in 1239, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
2.4997334 = idf(docFreq=9868, maxDocs=44218)
0.0625 = fieldNorm(doc=1239)
0.19707805 = weight(abstract_txt:mathematical in 1239) [ClassicSimilarity], result of:
0.19707805 = score(doc=1239,freq=4.0), product of:
0.24829592 = queryWeight, product of:
2.2361443 = boost
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.017486831 = queryNorm
0.79372245 = fieldWeight in 1239, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
6.3497796 = idf(docFreq=209, maxDocs=44218)
0.0625 = fieldNorm(doc=1239)
0.51297957 = weight(abstract_txt:mathematics in 1239) [ClassicSimilarity], result of:
0.51297957 = score(doc=1239,freq=5.0), product of:
0.5495208 = queryWeight, product of:
4.704593 = boost
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.017486831 = queryNorm
0.9335035 = fieldWeight in 1239, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.0625 = fieldNorm(doc=1239)
0.16 = coord(4/25)