-
Balaguer, M.: ¬A guide for the perplexed : what mathematicians need to know to understand philosophers of mathematics (2014)
0.13
0.13348487 = sum of:
0.13348487 = product of:
0.8342805 = sum of:
0.036018424 = weight(abstract_txt:about in 4661) [ClassicSimilarity], result of:
0.036018424 = score(doc=4661,freq=1.0), product of:
0.07358683 = queryWeight, product of:
1.0383037 = boost
3.9157467 = idf(docFreq=2405, maxDocs=44421)
0.01809927 = queryNorm
0.48946834 = fieldWeight in 4661, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.9157467 = idf(docFreq=2405, maxDocs=44421)
0.125 = fieldNorm(doc=4661)
0.015869696 = weight(abstract_txt:that in 4661) [ClassicSimilarity], result of:
0.015869696 = score(doc=4661,freq=1.0), product of:
0.05368332 = queryWeight, product of:
1.2541776 = boost
2.3649352 = idf(docFreq=11344, maxDocs=44421)
0.01809927 = queryNorm
0.2956169 = fieldWeight in 4661, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
2.3649352 = idf(docFreq=11344, maxDocs=44421)
0.125 = fieldNorm(doc=4661)
0.30847508 = weight(abstract_txt:mathematics in 4661) [ClassicSimilarity], result of:
0.30847508 = score(doc=4661,freq=3.0), product of:
0.21357805 = queryWeight, product of:
1.7688975 = boost
6.6710296 = idf(docFreq=152, maxDocs=44421)
0.01809927 = queryNorm
1.4443202 = fieldWeight in 4661, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
6.6710296 = idf(docFreq=152, maxDocs=44421)
0.125 = fieldNorm(doc=4661)
0.47391728 = weight(abstract_txt:mathematicians in 4661) [ClassicSimilarity], result of:
0.47391728 = score(doc=4661,freq=2.0), product of:
0.32551822 = queryWeight, product of:
2.1837957 = boost
8.235732 = idf(docFreq=31, maxDocs=44421)
0.01809927 = queryNorm
1.4558855 = fieldWeight in 4661, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
8.235732 = idf(docFreq=31, maxDocs=44421)
0.125 = fieldNorm(doc=4661)
0.16 = coord(4/25)
-
Lange, C.: Ontologies and languages for representing mathematical knowledge on the Semantic Web (2011)
0.12
0.12164537 = sum of:
0.12164537 = product of:
0.5068557 = sum of:
0.01575806 = weight(abstract_txt:about in 1135) [ClassicSimilarity], result of:
0.01575806 = score(doc=1135,freq=1.0), product of:
0.07358683 = queryWeight, product of:
1.0383037 = boost
3.9157467 = idf(docFreq=2405, maxDocs=44421)
0.01809927 = queryNorm
0.2141424 = fieldWeight in 1135, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.9157467 = idf(docFreq=2405, maxDocs=44421)
0.0546875 = fieldNorm(doc=1135)
0.012025614 = weight(abstract_txt:that in 1135) [ClassicSimilarity], result of:
0.012025614 = score(doc=1135,freq=3.0), product of:
0.05368332 = queryWeight, product of:
1.2541776 = boost
2.3649352 = idf(docFreq=11344, maxDocs=44421)
0.01809927 = queryNorm
0.22401026 = fieldWeight in 1135, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
2.3649352 = idf(docFreq=11344, maxDocs=44421)
0.0546875 = fieldNorm(doc=1135)
0.032581568 = weight(abstract_txt:examples in 1135) [ClassicSimilarity], result of:
0.032581568 = score(doc=1135,freq=1.0), product of:
0.11942985 = queryWeight, product of:
1.3227593 = boost
4.9885116 = idf(docFreq=822, maxDocs=44421)
0.01809927 = queryNorm
0.27280924 = fieldWeight in 1135, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
4.9885116 = idf(docFreq=822, maxDocs=44421)
0.0546875 = fieldNorm(doc=1135)
0.17422985 = weight(abstract_txt:mathematics in 1135) [ClassicSimilarity], result of:
0.17422985 = score(doc=1135,freq=5.0), product of:
0.21357805 = queryWeight, product of:
1.7688975 = boost
6.6710296 = idf(docFreq=152, maxDocs=44421)
0.01809927 = queryNorm
0.81576663 = fieldWeight in 1135, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
6.6710296 = idf(docFreq=152, maxDocs=44421)
0.0546875 = fieldNorm(doc=1135)
0.14661066 = weight(abstract_txt:mathematicians in 1135) [ClassicSimilarity], result of:
0.14661066 = score(doc=1135,freq=1.0), product of:
0.32551822 = queryWeight, product of:
2.1837957 = boost
8.235732 = idf(docFreq=31, maxDocs=44421)
0.01809927 = queryNorm
0.4503916 = fieldWeight in 1135, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
8.235732 = idf(docFreq=31, maxDocs=44421)
0.0546875 = fieldNorm(doc=1135)
0.12564999 = weight(abstract_txt:notation in 1135) [ClassicSimilarity], result of:
0.12564999 = score(doc=1135,freq=1.0), product of:
0.3362046 = queryWeight, product of:
2.7181401 = boost
6.8339334 = idf(docFreq=129, maxDocs=44421)
0.01809927 = queryNorm
0.37373072 = fieldWeight in 1135, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.8339334 = idf(docFreq=129, maxDocs=44421)
0.0546875 = fieldNorm(doc=1135)
0.24 = coord(6/25)
-
Velleman, D.J.: Fermat's last theorem and Hilbert's program (1997)
0.09
0.094715 = sum of:
0.094715 = product of:
0.5919688 = sum of:
0.027013818 = weight(abstract_txt:about in 6511) [ClassicSimilarity], result of:
0.027013818 = score(doc=6511,freq=1.0), product of:
0.07358683 = queryWeight, product of:
1.0383037 = boost
3.9157467 = idf(docFreq=2405, maxDocs=44421)
0.01809927 = queryNorm
0.36710125 = fieldWeight in 6511, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.9157467 = idf(docFreq=2405, maxDocs=44421)
0.09375 = fieldNorm(doc=6511)
0.020615337 = weight(abstract_txt:that in 6511) [ClassicSimilarity], result of:
0.020615337 = score(doc=6511,freq=3.0), product of:
0.05368332 = queryWeight, product of:
1.2541776 = boost
2.3649352 = idf(docFreq=11344, maxDocs=44421)
0.01809927 = queryNorm
0.3840176 = fieldWeight in 6511, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
2.3649352 = idf(docFreq=11344, maxDocs=44421)
0.09375 = fieldNorm(doc=6511)
0.18890163 = weight(abstract_txt:mathematics in 6511) [ClassicSimilarity], result of:
0.18890163 = score(doc=6511,freq=2.0), product of:
0.21357805 = queryWeight, product of:
1.7688975 = boost
6.6710296 = idf(docFreq=152, maxDocs=44421)
0.01809927 = queryNorm
0.8844619 = fieldWeight in 6511, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
6.6710296 = idf(docFreq=152, maxDocs=44421)
0.09375 = fieldNorm(doc=6511)
0.35543796 = weight(abstract_txt:mathematicians in 6511) [ClassicSimilarity], result of:
0.35543796 = score(doc=6511,freq=2.0), product of:
0.32551822 = queryWeight, product of:
2.1837957 = boost
8.235732 = idf(docFreq=31, maxDocs=44421)
0.01809927 = queryNorm
1.0919142 = fieldWeight in 6511, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
8.235732 = idf(docFreq=31, maxDocs=44421)
0.09375 = fieldNorm(doc=6511)
0.16 = coord(4/25)
-
Chaitin, G.J.: Conversations with a mathematician : Math, art, science and the limits of reason (2002)
0.08
0.07550289 = sum of:
0.07550289 = product of:
0.47189307 = sum of:
0.070343494 = weight(abstract_txt:centuries in 3212) [ClassicSimilarity], result of:
0.070343494 = score(doc=3212,freq=1.0), product of:
0.14485815 = queryWeight, product of:
1.0301034 = boost
7.769642 = idf(docFreq=50, maxDocs=44421)
0.01809927 = queryNorm
0.48560262 = fieldWeight in 3212, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.769642 = idf(docFreq=50, maxDocs=44421)
0.0625 = fieldNorm(doc=3212)
0.015869696 = weight(abstract_txt:that in 3212) [ClassicSimilarity], result of:
0.015869696 = score(doc=3212,freq=4.0), product of:
0.05368332 = queryWeight, product of:
1.2541776 = boost
2.3649352 = idf(docFreq=11344, maxDocs=44421)
0.01809927 = queryNorm
0.2956169 = fieldWeight in 3212, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
2.3649352 = idf(docFreq=11344, maxDocs=44421)
0.0625 = fieldNorm(doc=3212)
0.21812485 = weight(abstract_txt:mathematics in 3212) [ClassicSimilarity], result of:
0.21812485 = score(doc=3212,freq=6.0), product of:
0.21357805 = queryWeight, product of:
1.7688975 = boost
6.6710296 = idf(docFreq=152, maxDocs=44421)
0.01809927 = queryNorm
1.0212888 = fieldWeight in 3212, product of:
2.4494898 = tf(freq=6.0), with freq of:
6.0 = termFreq=6.0
6.6710296 = idf(docFreq=152, maxDocs=44421)
0.0625 = fieldNorm(doc=3212)
0.16755505 = weight(abstract_txt:mathematicians in 3212) [ClassicSimilarity], result of:
0.16755505 = score(doc=3212,freq=1.0), product of:
0.32551822 = queryWeight, product of:
2.1837957 = boost
8.235732 = idf(docFreq=31, maxDocs=44421)
0.01809927 = queryNorm
0.51473325 = fieldWeight in 3212, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
8.235732 = idf(docFreq=31, maxDocs=44421)
0.0625 = fieldNorm(doc=3212)
0.16 = coord(4/25)
-
Grunwald, E.: Evolution and design inside and outside mathematics (2005)
0.07
0.067296244 = sum of:
0.067296244 = product of:
0.42060155 = sum of:
0.025468871 = weight(abstract_txt:about in 594) [ClassicSimilarity], result of:
0.025468871 = score(doc=594,freq=2.0), product of:
0.07358683 = queryWeight, product of:
1.0383037 = boost
3.9157467 = idf(docFreq=2405, maxDocs=44421)
0.01809927 = queryNorm
0.34610638 = fieldWeight in 594, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.9157467 = idf(docFreq=2405, maxDocs=44421)
0.0625 = fieldNorm(doc=594)
0.015869696 = weight(abstract_txt:that in 594) [ClassicSimilarity], result of:
0.015869696 = score(doc=594,freq=4.0), product of:
0.05368332 = queryWeight, product of:
1.2541776 = boost
2.3649352 = idf(docFreq=11344, maxDocs=44421)
0.01809927 = queryNorm
0.2956169 = fieldWeight in 594, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
2.3649352 = idf(docFreq=11344, maxDocs=44421)
0.0625 = fieldNorm(doc=594)
0.08904909 = weight(abstract_txt:mathematics in 594) [ClassicSimilarity], result of:
0.08904909 = score(doc=594,freq=1.0), product of:
0.21357805 = queryWeight, product of:
1.7688975 = boost
6.6710296 = idf(docFreq=152, maxDocs=44421)
0.01809927 = queryNorm
0.41693935 = fieldWeight in 594, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.6710296 = idf(docFreq=152, maxDocs=44421)
0.0625 = fieldNorm(doc=594)
0.29021388 = weight(abstract_txt:mathematicians in 594) [ClassicSimilarity], result of:
0.29021388 = score(doc=594,freq=3.0), product of:
0.32551822 = queryWeight, product of:
2.1837957 = boost
8.235732 = idf(docFreq=31, maxDocs=44421)
0.01809927 = queryNorm
0.89154416 = fieldWeight in 594, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
8.235732 = idf(docFreq=31, maxDocs=44421)
0.0625 = fieldNorm(doc=594)
0.16 = coord(4/25)