MKM

2009

Springer

13 years 8 months ago
2009

Springer

MKM

2009

Springer

13 years 8 months ago
2009

Springer

Spreadsheets are mathematical documents that are heavily employed in administration, ﬁnancial forecasting, education, and science because of their intuitive, ﬂexible, and direc...

MKM

2009

Springer

13 years 8 months ago
2009

Springer

Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...

MKM

2009

Springer

13 years 8 months ago
2009

Springer

Sketch recognizers are an important part of the design of natural interfaces for many domains. However, current recognition technology is generally quite crude and difﬁcult to w...

MKM

2009

Springer

13 years 8 months ago
2009

Springer

Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing, in which an object of interest is viewed in terms of ...

MKM

2009

Springer

13 years 8 months ago
2009

Springer

Abstract. Active mathematical documents are distinguished from traditional paper-oriented ones by their ability to interactively adapt to a reader’s inputs. This includes changes...

MKM

2009

Springer

13 years 10 months ago
2009

Springer

MKM

2009

Springer

13 years 10 months ago
2009

Springer

Many approaches have been proposed over the years for the recognition of mathematical formulae from scanned documents. More recently a need has arisen to recognise formulae from PD...

MKM

2009

Springer

13 years 10 months ago
2009

Springer

Abstract. One of the fundamental and seemingly simple aims of mathematical knowledge management (MKM) is to develop and standardize formats that allow to “represent the meaning o...

MKM

2009

Springer

13 years 10 months ago
2009

Springer

Methods for deciding quantiﬁer-free non-linear arithmetical conjectures over R are crucial in the formal veriﬁcation of many realworld systems and in formalised mathematics. Wh...