summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2009-07-14 18:39:01 +0000
committerKarl Berry <karl@freefriends.org>2009-07-14 18:39:01 +0000
commit62f4a65ac65eb44ed55a60fdae76d5de24ae0be4 (patch)
treeceb7158b87f26e9574df88716b72579365f7c267 /Master
parent3cec715f8bfffdecc26c4957f3335db3385283bc (diff)
.
git-svn-id: svn://tug.org/texlive/trunk@14259 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r--Master/texmf-dist/bibtex/bib/beebe/texbook3.bib68
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}",