Schöneberg, U.; Sperber, W.: ¬The DeLiVerMATH project : text analysis in mathematics (2013)
0.01
0.00990369 = product of:
0.01980738 = sum of:
0.01980738 = product of:
0.03961476 = sum of:
0.03961476 = weight(_text_:j in 4929) [ClassicSimilarity], result of:
0.03961476 = score(doc=4929,freq=2.0), product of:
0.16120142 = queryWeight, product of:
3.1774964 = idf(docFreq=5010, maxDocs=44218)
0.05073221 = queryNorm
0.24574696 = fieldWeight in 4929, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.1774964 = idf(docFreq=5010, maxDocs=44218)
0.0546875 = fieldNorm(doc=4929)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Source
- Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Eds. J. Carette et al