Computers arechanging the way wethink. Of course, nearly all desk-workers have access to
computers and use them to email their colleagues, search the Web for information and …

We present a search engine for mathematical formulae. The MathWebSearch system
harvests the web for content representations (currently MathML and OpenMath) of formulae …

In recent years, the field of Universal Access has made significant progress in consolidating
theoretical approaches, scientific methods and technologies, as well as in exploring new …

The Semantic Web is being designed to enable automated reasoners to be used as core
components in a wide variety of Web applications and services. In order for a client to accept …

This paper explores the initial steps towards extracting information about theorems and
proofs from scholarly documents to build a knowledge base of interlinked results …

In this paper we present an extension OMDoc to the Open-Math standard that allows the
representation of the semantics and structure of various kinds of mathematical documents …

We report on the user requirements study and preliminary implementation phases in
creating a digital library that indexes and retrieves educational materials on math. We first …

The WWW became the main resource of mathematical knowledge. Currently available full
text search engines can be used on these documents but they are deficient in almost all …

Mizar, a proof-checking system, is used to build the Mizar Mathematical Library (MML). This
is a long term project aiming at building a comprehensive library of mathematical …

Classical automated theorem proving of today is based on ingenious search techniques to
find a proof for a given theorem in very large search spaces—often in the range of several …