Extensions of closure spaces and applications to proximity and contiguity structures
Extracting Precise Data on the Mathematical Content of PDF Documents
As more and more scientific documents become available in PDF format, their automatic analysis becomes increasingly important. We present a procedure that extracts mathematical symbols from PDF documents by examining both the original PDF file and a rasterized version. This provides more precise information than is available either directly from the PDF file or by traditional character recognition techniques. The data can then be used to improve mathematical parsing methods that transform the mathematics...
Extrapolation of finite element solutions on non-uniform quadrilateral meshes
Extremal disconnectedness and dyadicity