2003
DOI: 10.1007/3-540-36469-2_2
|View full text |Cite
|
Sign up to set email alerts
|

MKM from Book to Computer: A Case Study

Abstract: Abstract.[2] is one of the great mathematical knowledge repositories. Nevertheless, it was written for a different era, and for human readership. In this paper, we describe the sorts of knowledge in one chapter (elementary transcendental functions) and the difficulties in making this sort of knowledge formal. This makes us ask questions about the nature of a Mathematical Knowledge Repository, and whether a database is enough, or whether more "intelligence" is required.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

2004
2004
2007
2007

Publication Types

Select...
5

Relationship

1
4

Authors

Journals

citations
Cited by 6 publications
(3 citation statements)
references
References 12 publications
(19 reference statements)
0
3
0
Order By: Relevance
“…Similar to other Siemensinternal platforms supporting knowledge management [DP02] [Mü04] and according to the principles of Web 2.0, the application intends to connect colleagues across organizaReferences@BT [Mü07a] is a self-developed web application specially designed for globally sharing knowledge, experiences and best-practices. Similar to other Siemensinternal platforms supporting knowledge management [DP02] [Mü04] and according to the principles of Web 2.0, the application intends to connect colleagues across organiza- tional and geographical borders and animates them to get in touch and communicate directly with each other. In References@BT, Siemens employees can publish and exchange both personal experiences (as 'Knowledge References') and business-related questions (as 'Urgent Requests').…”
Section: References@bt References@btmentioning
confidence: 99%
“…Similar to other Siemensinternal platforms supporting knowledge management [DP02] [Mü04] and according to the principles of Web 2.0, the application intends to connect colleagues across organizaReferences@BT [Mü07a] is a self-developed web application specially designed for globally sharing knowledge, experiences and best-practices. Similar to other Siemensinternal platforms supporting knowledge management [DP02] [Mü04] and according to the principles of Web 2.0, the application intends to connect colleagues across organiza- tional and geographical borders and animates them to get in touch and communicate directly with each other. In References@BT, Siemens employees can publish and exchange both personal experiences (as 'Knowledge References') and business-related questions (as 'Urgent Requests').…”
Section: References@bt References@btmentioning
confidence: 99%
“…As explained in [6], these have no such meaning, but are rather glosses on more complicated inclusions of the form A = B ∪ C or A ⊂ B ∪ C where A, B and C are multivalued expressions. In particular the ± on the left-hand side of (8) is redundant, since Arccosh(z) = − Arccosh(z).…”
Section: Plus or Minusmentioning
confidence: 99%
“…A typical example would be 4 . This is correctly encoded as &InvisiblePlus; in MathML-3 6 . Summation.…”
Section: Multiplicationmentioning
confidence: 99%