.

git-svn-id: svn://tug.org/texlive/trunk@14259 c570f23f-e606-0410-a88d-b1316a301751

1 files changed, 60 insertions, 8 deletions

diff --git a/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib b/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
index 5db859dc5b0..e2a315e5d27 100644
--- a/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
+++ b/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
@@ -5,9 +5,9 @@
 %%% ====================================================================
 %%%  BibTeX-file{
 %%%     author          = "Nelson H. F. Beebe",
-%%%     version         = "3.17",
-%%%     date            = "01 July 2009",
-%%%     time            = "13:35:16 MDT",
+%%%     version         = "3.18",
+%%%     date            = "09 July 2009",
+%%%     time            = "17:07:21 MDT",
 %%%     filename        = "texbook3.bib",
 %%%     address         = "University of Utah
 %%%                        Department of Mathematics, 110 LCB
@@ -17,7 +17,7 @@
 %%%     telephone       = "+1 801 581 5254",
 %%%     FAX             = "+1 801 581 4148",
 %%%     URL             = "http://www.math.utah.edu/~beebe",
-%%%     checksum        = "38998 13925 57471 528925",
+%%%     checksum        = "61365 13977 57755 531773",
 %%%     email           = "beebe at math.utah.edu, beebe at acm.org,
 %%%                        beebe at computer.org (Internet)",
 %%%     codetable       = "ISO/ASCII",
@@ -37,7 +37,7 @@
 %%%                        covered in separate bibliographies
 %%%                        (ep.bib, epodd.bib, and sgml.bib).
 %%%
-%%%                        At version 3.17, the year coverage looks
+%%%                        At version 3.18, the year coverage looks
 %%%                        like this:
 %%%
 %%%                             1928 (   1)    1955 (   0)    1982 (  21)
@@ -66,10 +66,10 @@
 %%%                             1951 (   0)    1978 (   7)    2005 (   6)
 %%%                             1952 (   0)    1979 (   5)    2006 (   1)
 %%%                             1953 (   0)    1980 (   6)    2007 (   3)
-%%%                             1954 (   0)    1981 (  12)    2008 (   3)
+%%%                             1954 (   0)    1981 (  12)    2008 (   4)
 %%%                             19xx (   2)
 %%%
-%%%                             Article:        169
+%%%                             Article:        170
 %%%                             Book:           293
 %%%                             Booklet:         12
 %%%                             InCollection:     7
@@ -83,7 +83,7 @@
 %%%                             TechReport:      54
 %%%                             Unpublished:      2
 %%%
-%%%                             Total entries:  728
+%%%                             Total entries:  729
 %%%
 %%%                        The ISBN and ISSN fields will be printed if
 %%%                        the is-alpha.bst or is-plain.bst style
@@ -456,6 +456,8 @@
 
 @String{j-LINUX-J               = "Linux Journal"}
 
+@String{j-MATH-COMPUT-SCI       = "Mathematics in Computer Science"}
+
 @String{j-MATHINTEL             = "The Mathematical Intelligencer"}
 
 @String{j-MDMV                  = "Mitteilungen der Deutschen
@@ -7719,6 +7721,56 @@
   acknowledgement = ack-nhfb,
 }
 
+@Article{Kohlhase:2008:USM,
+  author =       "Michael Kohlhase",
+  title =        "Using {\LaTeX} as a Semantic Markup Format",
+  journal =      j-MATH-COMPUT-SCI,
+  volume =       "2",
+  number =       "2",
+  pages =        "279--304",
+  month =        dec,
+  year =         "2008",
+  CODEN =        "????",
+  DOI =          "http://dx.doi.org/10.1007/s11786-008-0055-5",
+  ISSN =         "1661-8270 (print), 1661-8289 (electronic)",
+  MRclass =      "subject classification (2000); 68U15",
+  bibdate =      "Thu Jul 9 15:44:16 MDT 2009",
+  bibsource =    "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1661-8270&volume=2&issue=2",
+  URL =          "http://www.springerlink.com/openurl.asp?genre=article&issn=1661-8270&volume=2&issue=2&spage=279",
+  abstract =     "One of the great problems of Mathematical Knowledge
+                 Management (MKM) systems is to obtain access to a
+                 sufficiently large corpus of mathematical knowledge to
+                 allow the management/search/navigation techniques
+                 developed by the community to display their strength.
+                 Such systems usually expect the mathematical knowledge
+                 they operate on in the form of semantically enhanced
+                 documents, but mathematicians and publishers in
+                 Mathematics have heavily invested into the
+                 {\TeX}/{\LaTeX} format and workflow.\par
+
+                 We analyze the current practice of semi-semantic markup
+                 in {\LaTeX} documents and extend it by a markup
+                 infrastructure that allows to embed semantic
+                 annotations into {\LaTeX} documents without changing
+                 their visual appearance. This collection of {\TeX}
+                 macro packages is called {s\TeX} (semantic {\TeX}) as
+                 it allows to markup documents semantically without
+                 leaving the time-tried workflow, essentially turning
+                 {\LaTeX} into an MKM format. At the heart of {s\TeX} is
+                 a definition mechanism for semantic macros for
+                 mathematical objects and a non-standard scoping
+                 construct for them, which is oriented at the semantic
+                 dependency relation rather than the document structure.
+                 We evaluate the {s\TeX} macro collection on a large
+                 case study: the course materials of a two-semester
+                 course in Computer Science was annotated semantically
+                 and converted to the OMDoc MKM format by Bruce Miller's
+                 {\LaTeX}ML system.",
+  acknowledgement = ack-nhfb,
+  keywords =     "elision; Knowledge representation; semantics;
+                 typography",
+}
+
 @TechReport{Kolodziejska:1987:DWP,
   author =       "Hanna Ko{\l}odziejska",
   title =        "Dzielenie wyraz{\'o}w polskich w systemie {\TeX}",