
Balaguer, M.: ¬A guide for the perplexed : what mathematicians need to know to understand philosophers of mathematics (2014)
0.13
0.13354766 = sum of:
0.13354766 = product of:
0.8346729 = sum of:
0.036158018 = weight(abstract_txt:about in 3661) [ClassicSimilarity], result of:
0.036158018 = score(doc=3661,freq=1.0), product of:
0.07376945 = queryWeight, product of:
1.0403793 = boost
3.9211915 = idf(docFreq=2381, maxDocs=44218)
0.018082846 = queryNorm
0.49014893 = fieldWeight in 3661, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.9211915 = idf(docFreq=2381, maxDocs=44218)
0.125 = fieldNorm(doc=3661)
0.015956473 = weight(abstract_txt:that in 3661) [ClassicSimilarity], result of:
0.015956473 = score(doc=3661,freq=1.0), product of:
0.053873442 = queryWeight, product of:
1.2573489 = boost
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.018082846 = queryNorm
0.2961844 = fieldWeight in 3661, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.125 = fieldNorm(doc=3661)
0.30957356 = weight(abstract_txt:mathematics in 3661) [ClassicSimilarity], result of:
0.30957356 = score(doc=3661,freq=3.0), product of:
0.21406335 = queryWeight, product of:
1.7722483 = boost
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.018082846 = queryNorm
1.4461774 = fieldWeight in 3661, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.125 = fieldNorm(doc=3661)
0.47298485 = weight(abstract_txt:mathematicians in 3661) [ClassicSimilarity], result of:
0.47298485 = score(doc=3661,freq=2.0), product of:
0.32505858 = queryWeight, product of:
2.1839075 = boost
8.231152 = idf(docFreq=31, maxDocs=44218)
0.018082846 = queryNorm
1.4550757 = fieldWeight in 3661, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
8.231152 = idf(docFreq=31, maxDocs=44218)
0.125 = fieldNorm(doc=3661)
0.16 = coord(4/25)

Lange, C.: Ontologies and languages for representing mathematical knowledge on the Semantic Web (2011)
0.12
0.121679135 = sum of:
0.121679135 = product of:
0.5069964 = sum of:
0.015819132 = weight(abstract_txt:about in 135) [ClassicSimilarity], result of:
0.015819132 = score(doc=135,freq=1.0), product of:
0.07376945 = queryWeight, product of:
1.0403793 = boost
3.9211915 = idf(docFreq=2381, maxDocs=44218)
0.018082846 = queryNorm
0.21444015 = fieldWeight in 135, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.9211915 = idf(docFreq=2381, maxDocs=44218)
0.0546875 = fieldNorm(doc=135)
0.012091371 = weight(abstract_txt:that in 135) [ClassicSimilarity], result of:
0.012091371 = score(doc=135,freq=3.0), product of:
0.053873442 = queryWeight, product of:
1.2573489 = boost
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.018082846 = queryNorm
0.22444029 = fieldWeight in 135, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.0546875 = fieldNorm(doc=135)
0.032553587 = weight(abstract_txt:examples in 135) [ClassicSimilarity], result of:
0.032553587 = score(doc=135,freq=1.0), product of:
0.11934952 = queryWeight, product of:
1.3233166 = boost
4.9875827 = idf(docFreq=819, maxDocs=44218)
0.018082846 = queryNorm
0.27275842 = fieldWeight in 135, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.9875827 = idf(docFreq=819, maxDocs=44218)
0.0546875 = fieldNorm(doc=135)
0.17485027 = weight(abstract_txt:mathematics in 135) [ClassicSimilarity], result of:
0.17485027 = score(doc=135,freq=5.0), product of:
0.21406335 = queryWeight, product of:
1.7722483 = boost
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.018082846 = 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.14632222 = weight(abstract_txt:mathematicians in 135) [ClassicSimilarity], result of:
0.14632222 = score(doc=135,freq=1.0), product of:
0.32505858 = queryWeight, product of:
2.1839075 = boost
8.231152 = idf(docFreq=31, maxDocs=44218)
0.018082846 = 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.12535983 = weight(abstract_txt:notation in 135) [ClassicSimilarity], result of:
0.12535983 = score(doc=135,freq=1.0), product of:
0.33565322 = queryWeight, product of:
2.7179687 = boost
6.829353 = idf(docFreq=129, maxDocs=44218)
0.018082846 = queryNorm
0.37348023 = fieldWeight in 135, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.829353 = idf(docFreq=129, maxDocs=44218)
0.0546875 = fieldNorm(doc=135)
0.24 = coord(6/25)

Velleman, D.J.: Fermat's last theorem and Hilbert's program (1997)
0.09
0.09474552 = sum of:
0.09474552 = product of:
0.5921595 = sum of:
0.027118513 = weight(abstract_txt:about in 6443) [ClassicSimilarity], result of:
0.027118513 = score(doc=6443,freq=1.0), product of:
0.07376945 = queryWeight, product of:
1.0403793 = boost
3.9211915 = idf(docFreq=2381, maxDocs=44218)
0.018082846 = queryNorm
0.3676117 = fieldWeight in 6443, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.9211915 = idf(docFreq=2381, maxDocs=44218)
0.09375 = fieldNorm(doc=6443)
0.020728065 = weight(abstract_txt:that in 6443) [ClassicSimilarity], result of:
0.020728065 = score(doc=6443,freq=3.0), product of:
0.053873442 = queryWeight, product of:
1.2573489 = boost
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.018082846 = queryNorm
0.38475478 = fieldWeight in 6443, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.09375 = fieldNorm(doc=6443)
0.18957432 = weight(abstract_txt:mathematics in 6443) [ClassicSimilarity], result of:
0.18957432 = score(doc=6443,freq=2.0), product of:
0.21406335 = queryWeight, product of:
1.7722483 = boost
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.018082846 = 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.35473865 = weight(abstract_txt:mathematicians in 6443) [ClassicSimilarity], result of:
0.35473865 = score(doc=6443,freq=2.0), product of:
0.32505858 = queryWeight, product of:
2.1839075 = boost
8.231152 = idf(docFreq=31, maxDocs=44218)
0.018082846 = 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.16 = coord(4/25)

Chaitin, G.J.: Conversations with a mathematician : Math, art, science and the limits of reason (2002)
0.08
0.07556504 = sum of:
0.07556504 = product of:
0.47228152 = sum of:
0.07019807 = weight(abstract_txt:centuries in 2212) [ClassicSimilarity], result of:
0.07019807 = score(doc=2212,freq=1.0), product of:
0.14464393 = queryWeight, product of:
1.0301217 = boost
7.7650614 = idf(docFreq=50, maxDocs=44218)
0.018082846 = queryNorm
0.48531634 = fieldWeight in 2212, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.7650614 = idf(docFreq=50, maxDocs=44218)
0.0625 = fieldNorm(doc=2212)
0.015956473 = weight(abstract_txt:that in 2212) [ClassicSimilarity], result of:
0.015956473 = score(doc=2212,freq=4.0), product of:
0.053873442 = queryWeight, product of:
1.2573489 = boost
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.018082846 = queryNorm
0.2961844 = fieldWeight in 2212, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.0625 = fieldNorm(doc=2212)
0.21890157 = weight(abstract_txt:mathematics in 2212) [ClassicSimilarity], result of:
0.21890157 = score(doc=2212,freq=6.0), product of:
0.21406335 = queryWeight, product of:
1.7722483 = boost
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.018082846 = 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.1672254 = weight(abstract_txt:mathematicians in 2212) [ClassicSimilarity], result of:
0.1672254 = score(doc=2212,freq=1.0), product of:
0.32505858 = queryWeight, product of:
2.1839075 = boost
8.231152 = idf(docFreq=31, maxDocs=44218)
0.018082846 = 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.16 = coord(4/25)

Grunwald, E.: Evolution and design inside and outside mathematics (2005)
0.07
0.0672853 = sum of:
0.0672853 = product of:
0.42053312 = sum of:
0.025567578 = weight(abstract_txt:about in 469) [ClassicSimilarity], result of:
0.025567578 = score(doc=469,freq=2.0), product of:
0.07376945 = queryWeight, product of:
1.0403793 = boost
3.9211915 = idf(docFreq=2381, maxDocs=44218)
0.018082846 = queryNorm
0.34658763 = fieldWeight in 469, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.9211915 = idf(docFreq=2381, maxDocs=44218)
0.0625 = fieldNorm(doc=469)
0.015956473 = weight(abstract_txt:that in 469) [ClassicSimilarity], result of:
0.015956473 = score(doc=469,freq=4.0), product of:
0.053873442 = queryWeight, product of:
1.2573489 = boost
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.018082846 = queryNorm
0.2961844 = fieldWeight in 469, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
2.3694751 = idf(docFreq=11241, maxDocs=44218)
0.0625 = fieldNorm(doc=469)
0.0893662 = weight(abstract_txt:mathematics in 469) [ClassicSimilarity], result of:
0.0893662 = score(doc=469,freq=1.0), product of:
0.21406335 = queryWeight, product of:
1.7722483 = boost
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.018082846 = queryNorm
0.41747546 = fieldWeight in 469, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.6796074 = idf(docFreq=150, maxDocs=44218)
0.0625 = fieldNorm(doc=469)
0.28964287 = weight(abstract_txt:mathematicians in 469) [ClassicSimilarity], result of:
0.28964287 = score(doc=469,freq=3.0), product of:
0.32505858 = queryWeight, product of:
2.1839075 = boost
8.231152 = idf(docFreq=31, maxDocs=44218)
0.018082846 = queryNorm
0.89104825 = fieldWeight in 469, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
8.231152 = idf(docFreq=31, maxDocs=44218)
0.0625 = fieldNorm(doc=469)
0.16 = coord(4/25)