
Gardner, M.: Is mathematics "out there"? (2001)
0.25
0.24879456 = sum of:
0.24879456 = product of:
0.777483 = sum of:
0.10262417 = weight(abstract_txt:mathematician in 716) [ClassicSimilarity], result of:
0.10262417 = score(doc=716,freq=1.0), product of:
0.17722477 = queryWeight, product of:
1.0808632 = boost
9.264996 = idf(docFreq=10, maxDocs=42740)
0.017697359 = queryNorm
0.5790622 = fieldWeight in 716, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
9.264996 = idf(docFreq=10, maxDocs=42740)
0.0625 = fieldNorm(doc=716)
0.015848558 = weight(abstract_txt:that in 716) [ClassicSimilarity], result of:
0.015848558 = score(doc=716,freq=5.0), product of:
0.04735667 = queryWeight, product of:
1.1174526 = boost
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.017697359 = queryNorm
0.33466372 = fieldWeight in 716, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.0625 = fieldNorm(doc=716)
0.008236557 = weight(abstract_txt:with in 716) [ClassicSimilarity], result of:
0.008236557 = score(doc=716,freq=1.0), product of:
0.052344993 = queryWeight, product of:
1.1748329 = boost
2.5176222 = idf(docFreq=9369, maxDocs=42740)
0.017697359 = queryNorm
0.15735139 = fieldWeight in 716, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
2.5176222 = idf(docFreq=9369, maxDocs=42740)
0.0625 = fieldNorm(doc=716)
0.05354074 = weight(abstract_txt:great in 716) [ClassicSimilarity], result of:
0.05354074 = score(doc=716,freq=1.0), product of:
0.14470746 = queryWeight, product of:
1.3812395 = boost
5.9198875 = idf(docFreq=311, maxDocs=42740)
0.017697359 = queryNorm
0.36999297 = fieldWeight in 716, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.9198875 = idf(docFreq=311, maxDocs=42740)
0.0625 = fieldNorm(doc=716)
0.07690132 = weight(abstract_txt:true in 716) [ClassicSimilarity], result of:
0.07690132 = score(doc=716,freq=1.0), product of:
0.18421452 = queryWeight, product of:
1.5584234 = boost
6.679284 = idf(docFreq=145, maxDocs=42740)
0.017697359 = queryNorm
0.41745526 = fieldWeight in 716, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.679284 = idf(docFreq=145, maxDocs=42740)
0.0625 = fieldNorm(doc=716)
0.09441308 = weight(abstract_txt:discovered in 716) [ClassicSimilarity], result of:
0.09441308 = score(doc=716,freq=1.0), product of:
0.21121404 = queryWeight, product of:
1.6687256 = boost
7.152031 = idf(docFreq=90, maxDocs=42740)
0.017697359 = queryNorm
0.44700193 = fieldWeight in 716, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.152031 = idf(docFreq=90, maxDocs=42740)
0.0625 = fieldNorm(doc=716)
0.09864577 = weight(abstract_txt:mathematical in 716) [ClassicSimilarity], result of:
0.09864577 = score(doc=716,freq=1.0), product of:
0.24895301 = queryWeight, product of:
2.2188497 = boost
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.017697359 = queryNorm
0.39624253 = fieldWeight in 716, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.0625 = fieldNorm(doc=716)
0.32727277 = weight(abstract_txt:mathematics in 716) [ClassicSimilarity], result of:
0.32727277 = score(doc=716,freq=2.0), product of:
0.55378133 = queryWeight, product of:
4.6800804 = boost
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.017697359 = queryNorm
0.5909783 = fieldWeight in 716, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.0625 = fieldNorm(doc=716)
0.32 = coord(8/25)

Borwein, J.; Stanway, T.: Knowledge and community in mathematics (2005)
0.20
0.1980134 = sum of:
0.1980134 = product of:
0.82505584 = sum of:
0.10884936 = weight(abstract_txt:mathematician in 4663) [ClassicSimilarity], result of:
0.10884936 = score(doc=4663,freq=2.0), product of:
0.17722477 = queryWeight, product of:
1.0808632 = boost
9.264996 = idf(docFreq=10, maxDocs=42740)
0.017697359 = queryNorm
0.6141882 = fieldWeight in 4663, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
9.264996 = idf(docFreq=10, maxDocs=42740)
0.046875 = fieldNorm(doc=4663)
0.015035262 = weight(abstract_txt:that in 4663) [ClassicSimilarity], result of:
0.015035262 = score(doc=4663,freq=8.0), product of:
0.04735667 = queryWeight, product of:
1.1174526 = boost
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.017697359 = queryNorm
0.31748986 = fieldWeight in 4663, product of:
2.828427 = tf(freq=8.0), with freq of:
8.0 = termFreq=8.0
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.046875 = fieldNorm(doc=4663)
0.010699602 = weight(abstract_txt:with in 4663) [ClassicSimilarity], result of:
0.010699602 = score(doc=4663,freq=3.0), product of:
0.052344993 = queryWeight, product of:
1.1748329 = boost
2.5176222 = idf(docFreq=9369, maxDocs=42740)
0.017697359 = queryNorm
0.20440546 = fieldWeight in 4663, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
2.5176222 = idf(docFreq=9369, maxDocs=42740)
0.046875 = fieldNorm(doc=4663)
0.09989774 = weight(abstract_txt:true in 4663) [ClassicSimilarity], result of:
0.09989774 = score(doc=4663,freq=3.0), product of:
0.18421452 = queryWeight, product of:
1.5584234 = boost
6.679284 = idf(docFreq=145, maxDocs=42740)
0.017697359 = queryNorm
0.5422903 = fieldWeight in 4663, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
6.679284 = idf(docFreq=145, maxDocs=42740)
0.046875 = fieldNorm(doc=4663)
0.165434 = weight(abstract_txt:mathematical in 4663) [ClassicSimilarity], result of:
0.165434 = score(doc=4663,freq=5.0), product of:
0.24895301 = queryWeight, product of:
2.2188497 = boost
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.017697359 = queryNorm
0.66451895 = fieldWeight in 4663, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.046875 = fieldNorm(doc=4663)
0.4251398 = weight(abstract_txt:mathematics in 4663) [ClassicSimilarity], result of:
0.4251398 = score(doc=4663,freq=6.0), product of:
0.55378133 = queryWeight, product of:
4.6800804 = boost
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.017697359 = queryNorm
0.7677034 = fieldWeight in 4663, product of:
2.4494898 = tf(freq=6.0), with freq of:
6.0 = termFreq=6.0
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.046875 = fieldNorm(doc=4663)
0.24 = coord(6/25)

Reyzin, L.: Unprovability comes to machine learning (2019)
0.13
0.13384424 = sum of:
0.13384424 = product of:
0.66922116 = sum of:
0.015035262 = weight(abstract_txt:that in 688) [ClassicSimilarity], result of:
0.015035262 = score(doc=688,freq=2.0), product of:
0.04735667 = queryWeight, product of:
1.1174526 = boost
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.017697359 = queryNorm
0.31748986 = fieldWeight in 688, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.09375 = fieldNorm(doc=688)
0.017472377 = weight(abstract_txt:with in 688) [ClassicSimilarity], result of:
0.017472377 = score(doc=688,freq=2.0), product of:
0.052344993 = queryWeight, product of:
1.1748329 = boost
2.5176222 = idf(docFreq=9369, maxDocs=42740)
0.017697359 = queryNorm
0.33379272 = fieldWeight in 688, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
2.5176222 = idf(docFreq=9369, maxDocs=42740)
0.09375 = fieldNorm(doc=688)
0.14161962 = weight(abstract_txt:discovered in 688) [ClassicSimilarity], result of:
0.14161962 = score(doc=688,freq=1.0), product of:
0.21121404 = queryWeight, product of:
1.6687256 = boost
7.152031 = idf(docFreq=90, maxDocs=42740)
0.017697359 = queryNorm
0.6705029 = fieldWeight in 688, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.152031 = idf(docFreq=90, maxDocs=42740)
0.09375 = fieldNorm(doc=688)
0.14796866 = weight(abstract_txt:mathematical in 688) [ClassicSimilarity], result of:
0.14796866 = score(doc=688,freq=1.0), product of:
0.24895301 = queryWeight, product of:
2.2188497 = boost
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.017697359 = queryNorm
0.5943638 = fieldWeight in 688, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.09375 = fieldNorm(doc=688)
0.3471252 = weight(abstract_txt:mathematics in 688) [ClassicSimilarity], result of:
0.3471252 = score(doc=688,freq=1.0), product of:
0.55378133 = queryWeight, product of:
4.6800804 = boost
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.017697359 = queryNorm
0.6268272 = fieldWeight in 688, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.09375 = fieldNorm(doc=688)
0.2 = coord(5/25)

Scheibe, E.: Calculemus! : The problem of the application of logic and mathematics (1996)
0.13
0.12545133 = sum of:
0.12545133 = product of:
0.78407085 = sum of:
0.012529385 = weight(abstract_txt:that in 4510) [ClassicSimilarity], result of:
0.012529385 = score(doc=4510,freq=2.0), product of:
0.04735667 = queryWeight, product of:
1.1174526 = boost
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.017697359 = queryNorm
0.2645749 = fieldWeight in 4510, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.078125 = fieldNorm(doc=4510)
0.096126646 = weight(abstract_txt:true in 4510) [ClassicSimilarity], result of:
0.096126646 = score(doc=4510,freq=1.0), product of:
0.18421452 = queryWeight, product of:
1.5584234 = boost
6.679284 = idf(docFreq=145, maxDocs=42740)
0.017697359 = queryNorm
0.52181906 = fieldWeight in 4510, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.679284 = idf(docFreq=145, maxDocs=42740)
0.078125 = fieldNorm(doc=4510)
0.17438275 = weight(abstract_txt:mathematical in 4510) [ClassicSimilarity], result of:
0.17438275 = score(doc=4510,freq=2.0), product of:
0.24895301 = queryWeight, product of:
2.2188497 = boost
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.017697359 = queryNorm
0.7004645 = fieldWeight in 4510, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.078125 = fieldNorm(doc=4510)
0.50103205 = weight(abstract_txt:mathematics in 4510) [ClassicSimilarity], result of:
0.50103205 = score(doc=4510,freq=3.0), product of:
0.55378133 = queryWeight, product of:
4.6800804 = boost
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.017697359 = queryNorm
0.9047471 = fieldWeight in 4510, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.078125 = fieldNorm(doc=4510)
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.11681271 = sum of:
0.11681271 = product of:
0.7300795 = sum of:
0.0070876908 = weight(abstract_txt:that in 3240) [ClassicSimilarity], result of:
0.0070876908 = score(doc=3240,freq=1.0), product of:
0.04735667 = queryWeight, product of:
1.1174526 = boost
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.017697359 = queryNorm
0.14966616 = fieldWeight in 3240, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.0625 = fieldNorm(doc=3240)
0.008236557 = weight(abstract_txt:with in 3240) [ClassicSimilarity], result of:
0.008236557 = score(doc=3240,freq=1.0), product of:
0.052344993 = queryWeight, product of:
1.1748329 = boost
2.5176222 = idf(docFreq=9369, maxDocs=42740)
0.017697359 = queryNorm
0.15735139 = fieldWeight in 3240, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
2.5176222 = idf(docFreq=9369, maxDocs=42740)
0.0625 = fieldNorm(doc=3240)
0.19729154 = weight(abstract_txt:mathematical in 3240) [ClassicSimilarity], result of:
0.19729154 = score(doc=3240,freq=4.0), product of:
0.24895301 = queryWeight, product of:
2.2188497 = boost
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.017697359 = queryNorm
0.79248506 = fieldWeight in 3240, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.0625 = fieldNorm(doc=3240)
0.5174637 = weight(abstract_txt:mathematics in 3240) [ClassicSimilarity], result of:
0.5174637 = score(doc=3240,freq=5.0), product of:
0.55378133 = queryWeight, product of:
4.6800804 = boost
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.017697359 = queryNorm
0.9344188 = fieldWeight in 3240, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.0625 = fieldNorm(doc=3240)
0.16 = coord(4/25)