An encyclopaedia of cubature formulas
Journal of Complexity
Methods of Relevance Ranking and Hit-content Generation in Math Search
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Roles of math search in mathematics
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Hi-index | 0.00 |
Document Analysis and Understanding (DAU) is a complex AI application with high industrial impact. For the increasing demands upon the bandwidth and quality of the analysis it is crucial to enable different analysis modules to collaborate. For making ...