From 62f4a65ac65eb44ed55a60fdae76d5de24ae0be4 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Tue, 14 Jul 2009 18:39:01 +0000 Subject: . git-svn-id: svn://tug.org/texlive/trunk@14259 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/bibtex/bib/beebe/texbook3.bib | 68 ++++++++++++++++++++++--- 1 file 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}", -- cgit v1.2.3