summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/lib/bib/extpubs.bib
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/lib/bib/extpubs.bib')
-rw-r--r--Master/texmf-dist/source/latex/stex/lib/bib/extpubs.bib355
1 files changed, 305 insertions, 50 deletions
diff --git a/Master/texmf-dist/source/latex/stex/lib/bib/extpubs.bib b/Master/texmf-dist/source/latex/stex/lib/bib/extpubs.bib
index 2e03a51bebe..c966ee6ed56 100644
--- a/Master/texmf-dist/source/latex/stex/lib/bib/extpubs.bib
+++ b/Master/texmf-dist/source/latex/stex/lib/bib/extpubs.bib
@@ -2,6 +2,157 @@
@STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}
+
+@book{ChaStr:pg14,
+ title = {Pro {Git}},
+ edition= {2nd Edition},
+ year = {2014},
+ author = {Scott Chacon and Ben Straub},
+ isbn = {978-1484200773},
+ url = {https://git-scm.com/book/en/v2},
+ publisher = {APress}}
+
+@Article{zbMATH06165381,
+ Author = "Thierry {Bouche} and Olaf {Teschke} and Krzy{\'s} {Wojciechowski}",
+ Title = "Time lag in mathematical references",
+ Journal = "{European Mathematical Society Newsletter}",
+ ISSN = "1027-488X",
+ Volume = "86",
+ Pages = "54--55",
+ Year = "2012"}
+
+@online{SCLWorkshop16,
+ title = {Semantic Representation of Mathematical Knowledge Workshop},
+ url = {https://www.fields.utoronto.ca/programs/scientific/15-16/semantic/},
+ date = {February 3-5, 2016},
+ institution = {Fields Institute, Toronto, Ontario}}
+
+@online{Zyga:mfnsp16,
+ author = {Lisa Zyga},
+ note = {Online article at \url{http://phys.org}},
+ title = {Mathematician finds his 'new' solution to {Poisson} formula problem buried in 1959 paper},
+ url = {http://phys.org/news/2016-03-mathematician-solution-poisson-formula-problem.html},
+ date = {2016}}
+
+@online{EPUB-contentdocs:on,crossref={EPUB.-contentdocs:base},
+ urldate = {2016-03-29}}
+@misc{EPUB-contentdocs:URL,crossref={EPUB-contentdocs:base},
+ howpublished = {\url{http://www.idpf.org/epub/301/spec/epub-contentdocs.html}}}
+@misc{EPUB-contentdocs:base,
+ title = {EPUB Content Documents 3.0.1},
+ url = {http://www.idpf.org/epub/301/spec/epub-contentdocs.html},
+ author = {Markus Gylling and William McCoy and Dave Cramer and Elika J. Etemad},
+ institution = {International Digital Publishing Forum (IDPF)}}
+
+@online{EPUB-publications:on,crossref={EPUB-publications:base},
+ urldate = {2016-03-29}}
+@misc{EPUB-publications:URL,crossref={EPUB-publications:base},
+ howpublished = {\url{http://www.idpf.org/epub/301/spec/epub-publications.html}}}
+@misc{EPUB-publications:base,
+ title = {EPUB Publications 3.0.1},
+ url = {http://www.idpf.org/epub/301/spec/epub-publications.html},
+ author = {Markus Gylling and William McCoy and Matt Garrish},
+ institution = {International Digital Publishing Forum (IDPF)},
+ urldate = {2016-03-29}}
+
+@online{OCF:on,crossref={OCF:base},
+ urldate = {2016-03-29}}
+@misc{OCF:URL,crossref={OCF:base},
+ howpublished = {\url{http://www.idpf.org/epub/301/spec/epub-ocf.html}}}
+@misc{OCF:base,
+ title = {EPUB Open Container Format (OCF) 3.0.1},
+ url = {http://www.idpf.org/epub/301/spec/epub-ocf.html},
+ author = {James Pritchett and Markus Gylling},
+ institution = {International Digital Publishing Forum (IDPF)},
+ urldate = {2016-03-29}}
+
+@online{EPUB-mediaoverlays:on,crossref={EPUB-mediaoverlays:base},
+ urldate = {2016-03-29}}
+@misc{EPUB-mediaoverlays:URL,crossref={EPUB-mediaoverlays:base},
+ howpublished = {\url{http://www.idpf.org/epub/301/spec/epub-mediaoverlays.html}}}
+@misc{EPUB-mediaoverlays:base,
+ title = {EPUB Media Overlays 3.0.1},
+ url = {http://www.idpf.org/epub/301/spec/epub-mediaoverlays.html},
+ author = {Marisa DeMeglio and Daniel Weck},
+ institution = {International Digital Publishing Forum (IDPF)},
+ urldate = {2016-03-29}}
+
+@online{opendefinition.org,
+ url = {http://opendefinition.org},
+ label = {OD},
+ title = {The Open Definition},
+ urldate = {2016-01-11}}
+
+@misc{Gutenberg:url,crossref={Gutenberg:base},
+ key = {GO},
+ howpublished = {Project page at \url{https://www.gutenberg.org}},
+ note = {accessed 1. 3. 2016}}
+@online{Gutenberg:online,crossref={Gutenberg:base},
+ urldate = {2016-03-01},
+ label={GO}}
+@misc{Gutenberg:base,
+ title = {Project Gutenberg},
+ url = {https://www.gutenberg.org}}
+
+
+@Misc{Morzycki:modificationbook,
+ author = {Marcin Morzycki},
+ year = 2014,
+ chapter = {The Lexical Semantics of Adjectives: More Than Just Scales},
+ title = {Modification},
+ booktitle = {Modification},
+ note = {Book manuscript. In preparation for the Cambridge University Press series \emph{Key Topics in Semantics and Pragmatics}.},
+ url = {http://msu.edu/~morzycki/work/book}}
+
+@article{Cantor:bbtm95,
+author = {Cantor, Georg},
+year ={1895},
+title = {Beitr{\"a}ge zur Begr{\"u}ndung der transfiniten Mengenlehre (1)},
+journal = {Mathematische Annalen},
+volume = {46},
+pages = {481--512},
+doi = {10.1007/bf02124929}}
+
+@article{Cantor:bbtm97,
+author = {Cantor, Georg},
+year ={1897},
+title = {Beitr{\"a}ge zur Begr{\"u}ndung der transfiniten Mengenlehre (2)},
+journal = {Mathematische Annalen},
+volume = {49},
+pages = {207--246},
+doi = {doi:10.1007/bf01444205}}
+
+@book{DoxPapPap:lest09,
+ title={Logicomix: An Epic Search for Truth},
+ author={Doxiad{\=e}s, A.K. and Papadimitriou, C.H. and Papadatos, A. and Di Donna, A.},
+ isbn={9780747597209},
+ year={2009},
+ publisher={Bloomsbury}
+}
+
+@book{Hofstadter:GEB79,
+ author = {Hofstadter, Douglas R.},
+ year = {1979},
+ title= {G{\"o}del, Escher, Bach: An Eternal Golden Braid},
+ publisher = {Basic Books},
+ isbn = { 0-465-02656-7}}
+
+@misc{python-regexp:URL,crossref={python-regexp:base},
+key = {RE},
+howpublished = {online manual at \url{https://docs.python.org/2/library/re.html}}}
+@online{python-regexp:on,crossref={python-regexp:base},
+label = {RE},
+urldate = {2015-09-20}}
+@misc{python-regexp:base,
+url = {https://docs.python.org/2/library/re.html},
+title = {\texttt{re} -- Regular expression operations}}
+
+@incollection{MosCodNeuKut:dol15,
+author = {Till Mossakowski and Mihai Codescu and Fabian Neuhaus and Oliver Kutz},
+crossref = {KosBuc:rtul15},
+title = {The Distributed Ontology, Modeling, and Specification Language -- DOL},
+pages = {489--520}}
+
@incollection{Gonthier+:mcpoot13,
doi = {10.1007/978-3-642-39634-2_14},
title = {A Machine-Checked Proof of the Odd Order Theorem},
@@ -1648,7 +1799,7 @@ urldate = {2014-03-14}}
title = {The {\texttt{biblatex}} Package},
year = 2010,
institution = {CTAN: Comprehensive {\TeX} Archive Network},
- url = {http://www.ctan.org/tex-archive/macros/latex/exptl/biblatex/doc/biblatex.pdf}}
+ url = {http://ctan.org/pkg/biblatex}}
@TechReport{CalStai:natm09,
author = {Cris Calude and Ludwig Staiger},
@@ -2048,6 +2199,29 @@ for {DAISY} 3, officially, the {ANSI}/{NISO} {Z39.86} Specifications for the {Di
date = {2011-10-11},
url = {http://idpf.org/epub/30/spec/epub30-overview.html}}
+@online{IDPF:on,crossref={IDPF:base},
+ label = {IDPF},
+ urldate = {2016-03-29}}
+@misc{IDPF:URL,crossref={IDPF:base},
+ key = {IDPF},
+ howpublished = {\url{http://www.idpf.org}}}
+@misc{IDPF:base,
+ title = {International Digital Publishing Forum (IDPF)},
+ url = {http://idpf.org},
+ urldate = {2016-03-27}}
+
+@online{epubvalidator:on,crossref={epubvalidator:base},
+ label = {EV},
+ urldate = {2016-03-29}}
+@misc{epubvalidator:URL,crossref={epubvalidator:base},
+ key = {EV},
+ howpublished = {\url{http://validator.idpf.org/}}}
+@misc{epubvalidator:base,
+ title = {EPUB Validator (beta)},
+ institution = {International Digital Publishing Forum (IDPF)},
+ url = {http://validator.idpf.org/},
+ urldate = {2016-03-27}}
+
@online{mobi:online,
title={MOBI eBook Format},
institution = {Mobipocket SA},
@@ -2372,9 +2546,9 @@ url = "http://www.sciencedirect.com/science/article/pii/S1071581907000468",
}
@online{5stardata,
- title = {5 star Open Data},
+ title = {5-star Open Data},
url = {http://5stardata.info/},
- urldate = {2013-09-18},
+ urldate = {2015-10-11},
date = {2012-04-03},
}
@@ -3526,8 +3700,8 @@ author = "Tjark Weber"}
title = {{The Comprehensive LaTeX Symbol List}},
year = 2009,
note = {seen August 2011},
- howpublished = {\url{http://ctan.org/tex-archive/info/symbols/comprehensive/}},
- url = {http://ctan.org/tex-archive/info/symbols/comprehensive/},
+ howpublished = {\url{http://mirror.ctan.org/info/symbols/comprehensive/}},
+ url = {http://mirror.ctan.org/info/symbols/comprehensive/},
keywords = {lamapunbibs}
}
@@ -6764,7 +6938,7 @@ LANGUAGE = {English}}
@Manual{Tantau:ugbc,
title = {User Guide to the Beamer Class},
author = {Till Tantau},
- url = {http://www.ctan.org/tex-archive/macros/latex/contrib/beamer/doc/beameruserguide.pdf}}
+ url = {http://ctan.org/macros/latex/contrib/beamer/doc/beameruserguide.pdf}}
@PhdThesis{Lawvere:fsat63,
author = "F. William Lawvere",
@@ -6777,7 +6951,7 @@ LANGUAGE = {English}}
title = {beamer -- A LaTeX class for producing presentations and slides},
author = {Till Tantau},
urldate = {2014-01-07},
- url={http://www.ctan.org/pkg/beamer}}
+ url={http://ctan.org/pkg/beamer}}
@article{Barnard:teifede97,
author = "David T. Barnard and Nancy Ide",
@@ -8370,11 +8544,11 @@ lastchecked = {May, 2008}}
@online{CTAN:on,crossref={CTAN:base},urldate={2012-12-11},label={CTAN}}
@MISC{URL:CTAN,crossref={CTAN:base},
- howpublished = {\webpageat\url{http://www.ctan.org}}}
+ howpublished = {\webpageat\url{http://ctan.org}}}
@MISC{CTAN:base,
key = {CTAN},
title = {{CTAN} the {Comprehensive {\TeX} Archive Network}},
- url = {http://www.ctan.org}}
+ url = {http://ctan.org}}
@INCOLLECTION{KamLamMaaWel:rnlcmim07,
author = {Fairouz Kamareddine and Robert Lamar and Manuel Maarek and J. B. Wells},
@@ -8383,6 +8557,32 @@ lastchecked = {May, 2008}}
keywords = {lamapunbibs},
crossref = {MKM07}}
+@online{manifold-atlas:on,
+ label = {MAP},
+ title = {Manifold Atlas},
+ url = {http://www.map.mpim-bonn.mpg.de/Main_Page},
+ urldate = {2016-03-20}}
+
+@incollection{KamWellZen:cmt14,
+ author = {Fairouz Kamareddine and Joe Wells and Christoph Zengler and Henk Barendregt},
+ editor = {Joerg Siekmann and Dov Gabbay and John Woods},
+ year = {2104},
+ title = {Computerising Mathematical Text In Joerg Siekmann},
+ volume = {11},
+ booktitle = {Logic and Computation in the 20th century},
+ publisher = {North Holland},
+ pages = {87--140}}
+
+@article{BucJebKut:tcansm16,
+ title = {Theorema 2.0: Computer-Assisted Natural-Style Mathematics},
+ author = {Bruno Buchberger and Tudor Jebelean and Temur Kutsia and Alexander Maletzky and Wolfgang Windsteiger},
+ year = {2016},
+ journal = {Journal of Formalized Reasoning},
+ volume = {9},
+ number = {1},
+ note = {Special Issue: Twenty Years of the QED Manifesto},
+ pages = {149--185}}
+
@INCOLLECTION{KamMaaRetWel:nsmt07,
author = {Fairouz Kamareddine and Manuel Maarek and Krzysztof Retel and J. B. Wells},
title = {Narrative Structure of Mathematical Texts},
@@ -8882,7 +9082,7 @@ lastchecked = {May, 2008}}
@online{Miller:latexml:online,crossref={Miller:latexml:base},urldate={2013-03-12},label={LTX}}
@Misc{Miller:latexml,crossref={Miller:latexml:base},
howpublished = {Web Manual at \url{http://dlmf.nist.gov/LaTeXML/}},
- note = {\seen{\September 2011}}}
+ note = {seen September 2011}}
@Misc{Miller:latexml:base,
author = {Bruce Miller},
title = {{\texttt{LaTeXML}}: A {\LaTeX} to {XML} Converter},
@@ -9795,7 +9995,7 @@ crossref = {wikipedia}}
note = {seen January 2015}}
@online{Jing:on,crossref={Jing:base},
label = {Jing},
- urldate = {2015/01/15}}
+ urldate = {2015-01-15}}
@MISC{Jing:base,
title = {{Jing} --- {Relax} {NG} {Validator} in {Java}},
url = {http://www.thaiopensource.com/relaxng/jing.html}}
@@ -16797,25 +16997,12 @@ YEAR = 1989}
author = {Blachman, Nancy},
address = {Wiesbaden}}
-@book{blabos:rainl98,crossref={BlaBos:rainl05}}
@book{BlaBos:rainl05,
author = {Blackburn, Patrick and Bos, Johan},
title = {Representation and Inference for Natural Language. A First Course in Computational Semantics},
- keywords = {lamapunbibs},
publisher = {CSLI},
year = {2005}}
-
-
-
-
-
-
-
-
-
-
-
@UNPUBLISHED{bg98,
author = {Patrick Blackburn and Claire Gardent},
title = {A specification language for discourse},
@@ -17026,7 +17213,7 @@ YEAR = 1989}
number = {854},
month = jun}
-@BOOK{Bourbaki:a68,
+@BOOK{Bourbaki:tos68,
title = {Theory of Sets},
publisher = {Springer Verlag},
year = {1968},
@@ -17040,6 +17227,13 @@ YEAR = 1989}
author = {Nicolas Bourbaki},
series = {Elements of Mathematics}}
+@Book{Bourbaki:gt89,
+ Title = {General Topology 1-4},
+ Author = {N. Bourbaki},
+ Publisher = {Springer Verlag},
+ Year = {1989},
+ series = {Elements of Mathematics}}
+
@MISC{Box:soap00,
author = {Don Box and David Ehnebuske and Gopal Kakivaya and Andrew Layman
and Noah Mendelsohn and Henrik Frystyk Nielsen and Satish Thatte
@@ -17821,11 +18015,27 @@ YEAR = 1989}
title = {On a Solution of the Mutilated Checkerboard Problem using the Theorema Set Theory Prover},
pages = {28--47},
crossref = {CALCULEMUS01}}
-@Misc{URL:creativecommonsMetadata,
- key = {Creative Commons Metadata},
+
+
+@Misc{URL:creativecommonsWorldwide,crossref={creativecommonsWorldwide:base},
+ key = {Creative Commons Worldwide},
+ howpublished = {\webpageat\url{http://creativecommons.org/worldwide}}}
+@online{creativecommonsWorldwide:on,crossref={creativecommonsWorldwide:base},
+ label = {CCW},
+ urldate = {2014-11-02}}
+@Misc{creativecommonsWorldwide:base,
+ title = {{Creative Commons Worldwide}},
+ url = {http://creativecommons.org/worldwide}}
+
+@Misc{URL:creativecommonsMetadata,crossref={creativecommonsMetadata:base},
+ key = {Creative Commons Worldwide},
+ howpublished = {\webpageat\url{http://creativecommons.org/worldwide}}}
+@online{creativecommonsMetadata:on,crossref={creativecommonsMetadata:base},
+ label = {CCM},
+ urldate = {2014-11-02}}
+@Misc{creativecommonsMetadata:base,
title = {{Metadata Commons Worldwide}},
- url = {http://creativecommons.org/learn/technology/metadata},
- howpublished = {\webpageat\url{http://creativecommons.org/learn/technology/metadata}}}
+ url = {http://creativecommons.org/learn/technology/metadata}}
@INPROCEEDINGS{ChiTsoZanZha:ecqsmxd02,
author = {Shu-Yao Chien and Vassilis J. Tsotras and Carlo Zaniolo and Donghui
@@ -20572,6 +20782,15 @@ urldate = {2015-04-25}}
address = {San Francisco, CA, USA},
isbn = {0-934613-31-1}}
+@article{Hilbert:udu26,
+ author = {Hilbert, David},
+ year = {1926},
+ title = {{\"U}ber das Unendliche},
+ journal = {Mathematische Annalen},
+ volume = {95},
+ pages = {161--190},
+ doi = {10.1007/BF01206605}}
+
@ARTICLE{Gentzen:uudlsi35,
author = {Gerhard Gentzen},
title = {Untersuchungen {\"u}ber das logische {Schlie{\ss}en} {I}},
@@ -24381,7 +24600,7 @@ howpublished = {online at \url{http://nvie.com/posts/a-successful-git-branching-
@ARTICLE{Lenat:tnoh82,
author = {Douglas B.\ Lenat},
title = {The Nature of Heuristics},
- journal = {AI Jounal},
+ journal = {AI Journal},
year = {1982},
volume = {19},
pages = {189--249}}
@@ -24819,6 +25038,7 @@ howpublished = {online at \url{http://nvie.com/posts/a-successful-git-branching-
institution = {Library of Congress Network Development and MARC Standards Office},
year = 2003,
key = {MARC},
+ label = {MR},
url = {http://www.loc.gov/marc/relators}}
@online{LCSH,
@@ -28406,7 +28626,7 @@ pages= {325--329}}
@ARTICLE{Russell08,
author = {Bertrand Russell},
title = {Mathematical Logic as based on the Theory of Types},
- journal = {American Jounal of Mathematics},
+ journal = {American Journal of Mathematics},
year = {1908},
volume = {XXX},
pages = {222--262}}
@@ -30171,12 +30391,23 @@ crossref={Heijenoort67},
venue = {Hiroshima, Japan},
eventdate = {2004}}
+@online{MetaMath:on,
+ label = {MeMa},
+ title = {Metamath Home page},
+ url = {http://us.metamath.org}}
+
+@online{HalAdaBau:afpkc15,
+ title = "{A formal proof of the Kepler conjecture}",
+ author = {Thomas Hales and Mark Adams and Gertrud Bauer and Dat Tat Dang and John Harrison and Truong Le Hoang and Cezary Kaliszyk and Victor Magron and Sean McLaughlin and Thang Tat Nguyen and Truong Quang Nguyen and Tobias Nipkow and Steven Obua and Joseph Pleso and Jason Rute and Alexey Solovyev and An Hoai Thi Ta and Trung Nam Tran and Diep Thi Trieu and Josef Urban and Ky Khac Vu and Roland Zumkeller},
+ year = {2015},
+ url = {http://arxiv.org/abs/1501.02155}
+}
+
@MANUAL{CoqManual,
- title = {The Coq Proof Assistant Reference Manual},
+ title = {The Coq Proof Assistant: Reference Manual},
author = {Coq Development Team},
organization = {INRIA},
- note = {see {\url{http://coq.inria.fr/doc/main.html}}},
- url = {http://coq.inria.fr/doc/main.html},
+ url = {https://coq.inria.fr/refman/},
key = {COQ}}
@TECHREPORT{coq-03-a,
@@ -30804,7 +31035,7 @@ crossref={Heijenoort67},
author = {Marilyn Walker and Aravind Joshi and Ellen Prince},
address = {Oxford, England}}
-@BOOK{WalMue:dtdg99o,
+@BOOK{WalMue:dtdg99,
title = {DocBook: The Definitive Guide},
publisher = {O'Reilly},
year = {1999},
@@ -31979,10 +32210,14 @@ title = {Web Map}}
url = {http://www.faqs.org/rfcs/rfc2046.html},
year = 1996}
-@Misc{IANA:TLD,
+@Misc{IANA:TLD,crossref={TLD:base},
key = {IANA TLD},
+ howpublished = {\url{http://www.iana.org/cctld/cctld-whois.htm}}}
+@online{TLD:on,crossref={TLD:base},
+ label = {TLD},
+ urlcate = {2014-11-02}}
+@MISC{TLD:base,
title = {Root-Zone Whois Information},
- howpublished = {\url{http://www.iana.org/cctld/cctld-whois.htm}},
url = {http://www.iana.org/cctld/cctld-whois.htm},
institution = {IANA Internet Assigned Names Association}}
@@ -32004,12 +32239,6 @@ title = {Web Map}}
title = {{\textsc{OpenMath}} Content Dictionaries},
url = {http://www.openmath.org/cd/}}
-@Misc{URL:creativecommonsWorldwide,
- key = {Creative Commons Worldwide},
- title = {{Creative Commons Worldwide}},
- howpublished = {\webpageat\url{http://creativecommons.org/worldwide}},
- url = {http://creativecommons.org/worldwide}}
-
@TECHREPORT{W3C:xmlschema11,crossref={W3C09:xmlschema11}}
@TECHREPORT{W3C09:xmlschema11,
title = {{W3C XML Schema Definition Language (XSD) 1.1 Part 1: Structures}},
@@ -32692,7 +32921,17 @@ Reference},
month = oct,
url = {http://www.w3.org/TR/2008/NOTE-xhtml-rdfa-primer-20081014/}}
-@TECHREPORT{w3c:rdfa-core,crossref={w3c:REC-rdfa-core-20120607}}
+@TECHREPORT{w3c:rdfa-core,crossref={w3c:REC-rdfa-core-20150317}}
+@TECHREPORT{w3c:REC-rdfa-core-20150317,
+ title = {{RDFa} Core 1.1},
+ subtitle = {Syntax and processing rules for embedding RDF through attributes},
+ institution = {World Wide Web Consortium ({W3C})},
+ date = {2015-03-17},
+ edition = 3,
+ type = {{W3C} {Recommendation}},
+ author = {Ben Adida and Mark Birbeck and Shane McCarron and Ivan Herman},
+ url = {http://www.w3.org/TR/2012/REC-rdfa-core-20150317}}
+
@TECHREPORT{w3c:REC-rdfa-core-20120607,
title = {{RDFa} Core 1.1},
subtitle = {Syntax and processing rules for embedding RDF through attributes},
@@ -33358,7 +33597,7 @@ howpublished = {available at \url{http://www.relaxng.org/}}}
@online{Patashnik:b88,
author = {Oren Patashnik},
title = {bib{\TeX}ing},
- url = {http://www.ctan.org/get/biblio/bibtex/contrib/doc/btxdoc.pdf},
+ url = {http://mirrors.ctan.org/biblio/bibtex/base/btxdoc.pdf},
urldate = {2009-12-14}}
@MISC{MKM-IG-Meetings:web,
@@ -33400,7 +33639,6 @@ howpublished = {available at \url{http://www.relaxng.org/}}}
crossref = {CADE94},
pages = {238--251},
url = {http://www.cs.chalmers.se/Cs/Research/Logic/TypesSS05/Extra/wiedijk_2.pdf},
- year = {1995},
key = {QED95}}
@MISC{QEDManifesto95,
@@ -33487,14 +33725,14 @@ address = {Chiang Mai},
author = {Wolfgang May and Andreas Schedler},
title = {An Extension of the LATEX-Theorem Evironment},
type = {Self-documenting {\LaTeX} package},
- url = {http://dante.ctan.org/tex-archive/macros/latex/contrib/ntheorem/ntheorem.pdf},
+ url = {http://ctan.org/pkg/ntheorem},
urldate = {2010-01-11}}
@misc{Heldoorn:siunits07,
author = {Marcel Heldoorn},
title = {The SIunits package: Consistent application of SI units},
type = {Self-documenting {\LaTeX} package},
- url = {http://mirror.ctan.org/macros/latex/contrib/SIunits/SIunits.pdf},
+ url = {http://ctan.org/pkg/siunits},
urldate = {2011-03-13}}
@@ -33959,9 +34197,11 @@ address = {Chiang Mai},
publisher = {London: Lawrence Erlbaum Associates},
year = 2006,
pages = {43--57}}
+
@misc{posix,
title = "{IEEE POSIX}",
key = "POSIX",
+ label = "PO88",
year = "1988",
note = "ISO/IEC 9945"}
@@ -37235,12 +37475,12 @@ provided by Thomson Reuters},
@TechReport{ctan/macros/latex/contrib/listings:oldfashioned,
crossref = {ctan/macros/latex/contrib/listings:base},
- note = {\url{http://www.ctan.org/tex-archive/macros/latex/contrib/listings}},
+ note = {\url{http://ctan.org/listings}},
}
@TechReport{ctan/macros/latex/contrib/listings:biblatex,
crossref = {ctan/macros/latex/contrib/listings:base},
- url = {http://www.ctan.org/tex-archive/macros/latex/contrib/listings}}
+ url = {http://ctan.org/pkg/listings}}
@TechReport{ctan/macros/latex/contrib/listings:base,
key = {ctan/macros/latex/contrib/listings},
@@ -38428,6 +38668,21 @@ author = "Deepak Kapur"
pubs = {projects/krextor},
}
+@book{DauLynCar:dcglmr14,
+ title = {Developing a 21st Century Global Library for Mathematics Research},
+ author = {Ingrid Daubechies and Clifford A. Lynch and Kathleen M. Carley and
+ Timothy W. Cole and Judith L. Klavans and Yann LeCun and
+ Michael Lesk and Peter Olver and Jim Pitman and Zhihong Xia},
+ url = {http://www.nap.edu/catalog/18619/developing-a-21st-century-global-library-for-mathematics-research},
+ publisher = {THE NATIONAL ACADEMIES PRESS},
+ year = {2014},
+ isbn = {978-0-309-29848-3}}
+
+@online{webofscience:on,
+ label = {ISI},
+ url = {webofscience.com},
+ title = {Web of Science}}
+
@InProceedings{TRTBN:OpenStreetMapWebOfData11,
author = {Johannes Trame and Philippe Rieffel and Umut Tas and Alkyoni Baglatzi and Volker von Nathusius},
title = {{LOSM} -- A lightweight approach to integrate {OpenStreetMap} into the Web of Data},