Commit 208c870f authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

git subrepo commit (merge) lib/kbibs

subrepo:
  subdir:   "lib/kbibs"
  merged:   "880fcf05"
upstream:
  origin:   "git@github.com:KWARC/bibs.git"
  branch:   "master"
  commit:   "86fd833d"
git-subrepo:
  version:  "0.4.0"
  origin:   "git@github.com:ingydotnet/git-subrepo.git"
  commit:   "5d6aba9"
parent 91b1bdc2
...@@ -6,7 +6,7 @@ ...@@ -6,7 +6,7 @@
[subrepo] [subrepo]
remote = git@github.com:KWARC/bibs.git remote = git@github.com:KWARC/bibs.git
branch = master branch = master
commit = 14704f24d2c70910f251f21f59e4d4c1a34d57ed commit = 86fd833db59e1ce782ded3ce3b933b1a0ce7a504
parent = 38bdd47fc690489d66053314060d031a07730161 parent = 38bdd47fc690489d66053314060d031a07730161
method = merge method = merge
cmdver = 0.4.0 cmdver = 0.4.0
...@@ -31,6 +31,14 @@ ...@@ -31,6 +31,14 @@
title = {Zentralblatt {MATH}}, title = {Zentralblatt {MATH}},
url = {http://www.zentralblatt-math.org/zbmath/}} url = {http://www.zentralblatt-math.org/zbmath/}}
@TECHREPORT{PruSea06:sparql,
title = {{SPARQL} Query Language for {RDF}},
institution = {World Wide Web Consortium ({W3C})},
year = {2006},
type = {{W3C} {Candidate} {Recommendation}},
month = apr,
author = {Eric Prud'hommeaux and Andy Seaborne},
url = {http://www.w3.org/TR/2006/CR-rdf-sparql-query-20060406/}}
@unpublished{IanJucKoh:sps15, @unpublished{IanJucKoh:sps15,
title = {The {SMGLoM} Project and System}, title = {The {SMGLoM} Project and System},
......
...@@ -7,6 +7,20 @@ ...@@ -7,6 +7,20 @@
@STRING{spring = "Springer-Verlag"} @STRING{spring = "Springer-Verlag"}
@STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}} @STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}
@proceedings{LWDA18,
editor = {Rainer Gemulla and
Simone Paolo Ponzetto and
Christian Bizer and
Margret Keuper and
Heiner Stuckenschmidt},
title = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA}},
series = {{CEUR} Workshop Proceedings},
volume = {2191},
publisher = {CEUR-WS.org},
year = {2018},
url = {http://ceur-ws.org/Vol-2191}}
@online{TasMah:mc, @online{TasMah:mc,
author = {Assia Mahboubi and Enrico Tassi}, author = {Assia Mahboubi and Enrico Tassi},
title = {Mathematical Components}, title = {Mathematical Components},
......
...@@ -7,6 +7,88 @@ ...@@ -7,6 +7,88 @@
@STRING{spring = "Springer-Verlag"} @STRING{spring = "Springer-Verlag"}
@STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}} @STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}
   
@online{ACM-CompClass:on,
label = {ACM},
title = {The 2012 {ACM} Computing Classification System},
url = {https://www.acm.org/publications/class-2012},
urldate = {2019-03-07}}
@article{Yang2005,
title={Integration of metabolic networks and gene expression in virtual reality},
author={Yuting Yang and Levent Engin and Eve Syrkin Wurtele and Carolina Cruz-Neira and Julie A. Dickerson},
journal={Bioinformatics},
year={2005},
volume={21 18},
pages={3645--50}}
@inproceedings{Yang:2006,
author = {Yang, Yuting and Wurtele, Eve Syrkin and Cruz-Neira, Carolina and Dickerson, Julie A.},
title = {Hierarchical Visualization of Metabolic Networks Using Virtual Reality},
booktitle = {Proceedings of the 2006 ACM International Conference on Virtual Reality Continuum and Its Applications},
series = {VRCIA '06},
year = {2006},
isbn = {1-59593-324-7},
location = {Hong Kong, China},
pages = {377--381},
numpages = {5},
url = {http://doi.acm.org/10.1145/1128923.1128992},
doi = {10.1145/1128923.1128992},
acmid = {1128992},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {computer graphics rendering, graph layout, interactive visualization, metabolic network, virtual reality},
}
@inproceedings{vrexp18,
author = {Capece, Nicola and Erra, Ugo and Grippa, Jari},
year = {2018},
month = {07},
pages = {448-453},
title = {GraphVR: A Virtual Reality Tool for the Exploration of Graphs with HTC Vive System},
doi = {10.1109/iV.2018.00084}
}
@article{vrinterface18,
author = {Erra, Ugo and Malandrino, Delfina and Pepe, Luca},
year = {2018},
month = {01},
pages = {1-14},
title = {Virtual Reality Interfaces for Interacting with Three-Dimensional Graphs},
journal = {International Journal of Human-Computer Interaction},
doi = {10.1080/10447318.2018.1429061}
}
@article{vrinteraction18,
author = {Yang, Jiachen and Wang, Yafang and Lv, Zhihan and Jiang, Na and Steed, Anthony},
year = {2018},
month = {03},
pages = {64-72},
title = {Interaction with Three-Dimensional Gesture and Character Input in Virtual Reality: Recognizing Gestures in Different Directions and Improving User Input},
volume = {7},
journal = {IEEE Consumer Electronics Magazine},
doi = {10.1109/MCE.2017.2776500}
}
@online{UGE:on,
url = {https://unity3d.com},
title = {{Unity Game Engine}},
label = {UGE},
urldate = {2019-03-07},
}
@online{OCR:on,
url = {https://www.oculus.com/rift},
title = {{Oculus Rift}},
label = {OCR},
urldate = {2019-03-07},
}
@online{ORRequirements:on,
url = {https://support.oculus.com/248749509016567},
title = {{Oculus Rift System Requirements}},
label = {REQ},
urldate = {2019-03-07},
}
@online{cocalc:on, @online{cocalc:on,
label = {CC}, label = {CC},
title = {{CoCalc}: Collaborative Calculation in the Cloud}, title = {{CoCalc}: Collaborative Calculation in the Cloud},
...@@ -26,6 +108,13 @@ ...@@ -26,6 +108,13 @@
author = {Steve Harris and Andy Seaborne}, author = {Steve Harris and Andy Seaborne},
url = {http://www.w3.org/TR/2010/WD-sparql11-query-20100601/}} url = {http://www.w3.org/TR/2010/WD-sparql11-query-20100601/}}
   
@TECHREPORT{w3c:SPARQL-Rec:13,
title = {{SPARQL} 1.1 Overview},
institution = {World Wide Web Consortium ({W3C})},
type = {{W3C} {Recommendation}},
date = {2013-03-23},
url = {https://www.w3.org/TR/sparql11-overview/}}
@TECHREPORT{PruSea08:sparql, @TECHREPORT{PruSea08:sparql,
title = {{SPARQL} Query Language for {RDF}}, title = {{SPARQL} Query Language for {RDF}},
institution = {World Wide Web Consortium ({W3C})}, institution = {World Wide Web Consortium ({W3C})},
...@@ -36,15 +125,6 @@ ...@@ -36,15 +125,6 @@
author = {Eric Prud'hommeaux and Andy Seaborne}, author = {Eric Prud'hommeaux and Andy Seaborne},
url = {http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/}} url = {http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/}}
   
@TECHREPORT{PruSea06:sparql,
title = {{SPARQL} Query Language for {RDF}},
institution = {World Wide Web Consortium ({W3C})},
year = {2006},
type = {{W3C} {Candidate} {Recommendation}},
month = apr,
author = {Eric Prud'hommeaux and Andy Seaborne},
url = {http://www.w3.org/TR/2006/CR-rdf-sparql-query-20060406/}}
@online{PARIGP:on, @online{PARIGP:on,
label = {PG}, label = {PG},
title = {{PARI/GP} Home}, title = {{PARI/GP} Home},
...@@ -5027,6 +5107,13 @@ author = "Tjark Weber"} ...@@ -5027,6 +5107,13 @@ author = "Tjark Weber"}
bibsource = {DBLP, http://dblp.uni-trier.de} bibsource = {DBLP, http://dblp.uni-trier.de}
} }
   
@Misc{Harrison:MSTGA18,
author = {John Harrison},
title = {Let's Make Set Theory Great Again},
year = {2018},
url = {http://aitp-conference.org/2018/slides/JH.pdf},
howpublished = {Talk at the Artificial Intelligence and Theorem Proving Conference 2018}
}
   
@Article{H:FPTaP, @Article{H:FPTaP,
author = {John Harrison}, author = {John Harrison},
...@@ -9299,10 +9386,6 @@ title = {Mathematics on the Web: The {EzMath} notation}, ...@@ -9299,10 +9386,6 @@ title = {Mathematics on the Web: The {EzMath} notation},
note = "[Online; accessed March 2008]" note = "[Online; accessed March 2008]"
} }
   
@Misc{wikipedia:depthfirst, @Misc{wikipedia:depthfirst,
key = {Wikipedia: Depth-first search}, key = {Wikipedia: Depth-first search},
title = {{Depth-first search (from Wikipedia, the free encyclopedia)}}, title = {{Depth-first search (from Wikipedia, the free encyclopedia)}},
...@@ -9312,10 +9395,6 @@ title = {Mathematics on the Web: The {EzMath} notation}, ...@@ -9312,10 +9395,6 @@ title = {Mathematics on the Web: The {EzMath} notation},
crossref = {wikipedia}, crossref = {wikipedia},
url = {http://en.wikipedia.org/w/index.php?title=Depth-first_search&oldid=188484505}} url = {http://en.wikipedia.org/w/index.php?title=Depth-first_search&oldid=188484505}}
   
@InProceedings{SD:UnitKnowledgeMgmt08, @InProceedings{SD:UnitKnowledgeMgmt08,
author = {Jonathan Stratford and James H. Davenport}, author = {Jonathan Stratford and James H. Davenport},
title = {Unit Knowledge Management}, title = {Unit Knowledge Management},
...@@ -9359,7 +9438,6 @@ Semantics of the Units}, ...@@ -9359,7 +9438,6 @@ Semantics of the Units},
url = {http://www.bricklin.com/visicalc.htm}, url = {http://www.bricklin.com/visicalc.htm},
howpublished = {\url{http://www.bricklin.com/visicalc.htm}}} howpublished = {\url{http://www.bricklin.com/visicalc.htm}}}
   
@Misc{Tague:tbphstinpi09, @Misc{Tague:tbphstinpi09,
author = {Thomas Tague}, author = {Thomas Tague},
title = {The Big Picture -- How Semantic Technologies Introduce a New Paradigm for Interaction}, title = {The Big Picture -- How Semantic Technologies Introduce a New Paradigm for Interaction},
...@@ -9489,8 +9567,6 @@ PAGES = {259--286}} ...@@ -9489,8 +9567,6 @@ PAGES = {259--286}}
pages="163--187", pages="163--187",
doi="10.1007/s13740-012-0016-7"} doi="10.1007/s13740-012-0016-7"}
   
@InProceedings{NCLM:FrameOntoEvoCollEnv06, @InProceedings{NCLM:FrameOntoEvoCollEnv06,
author = {Natalya F. Noy and Abhita Chugh and William Liu and Mark A. Musen}, author = {Natalya F. Noy and Abhita Chugh and William Liu and Mark A. Musen},
title = {A Framework for Ontology Evolution in Collaborative Environments}, title = {A Framework for Ontology Evolution in Collaborative Environments},
...@@ -9692,26 +9768,12 @@ howpublished = {\url{http://cnx.org/lenses}}} ...@@ -9692,26 +9768,12 @@ howpublished = {\url{http://cnx.org/lenses}}}
volume = {44}, volume = {44},
year = {2007}} year = {2007}}
   
@TECHREPORT{SaMa:Avlefpms, @TECHREPORT{SaMa:Avlefpms,
author = {Teresa Sancho and Ramon Masia}, author = {Teresa Sancho and Ramon Masia},
title = {A virutal learning environmnet for pregraduate mathematical students}, title = {A virutal learning environmnet for pregraduate mathematical students},
institution = {Universitat Oberta de Catalunya, Barcelona}, institution = {Universitat Oberta de Catalunya, Barcelona},
year = {2007}} year = {2007}}
   
@PhdThesis{Borst97:ConstructionEngineeringOntologies, @PhdThesis{Borst97:ConstructionEngineeringOntologies,
author = {Willem Nico Borst}, author = {Willem Nico Borst},
title = {Construction of Engineering Ontologies for Knowledge Sharing and Reuse}, title = {Construction of Engineering Ontologies for Knowledge Sharing and Reuse},
...@@ -9719,12 +9781,6 @@ howpublished = {\url{http://cnx.org/lenses}}} ...@@ -9719,12 +9781,6 @@ howpublished = {\url{http://cnx.org/lenses}}}
year = {1997}, year = {1997},
url = {http://doc.utwente.nl/17864/}} url = {http://doc.utwente.nl/17864/}}
   
@misc{wiki:semantics, @misc{wiki:semantics,
author = "Wikipedia", author = "Wikipedia",
title = "Semantics --- Wikipedia{} The Free Encyclopedia", title = "Semantics --- Wikipedia{} The Free Encyclopedia",
...@@ -9747,7 +9803,6 @@ howpublished = {\url{http://cnx.org/lenses}}} ...@@ -9747,7 +9803,6 @@ howpublished = {\url{http://cnx.org/lenses}}}
year = 1967, year = 1967,
note = {Originally published in 1930}} note = {Originally published in 1930}}
   
@InProceedings{KanSuz:rddrmf06, @InProceedings{KanSuz:rddrmf06,
title = {Refinement of digitized documents through recognition of mathematical formulae}, title = {Refinement of digitized documents through recognition of mathematical formulae},
year = 2006, year = 2006,
...@@ -10424,8 +10479,6 @@ lastchecked = {May, 2008}} ...@@ -10424,8 +10479,6 @@ lastchecked = {May, 2008}}
volume = {7}, volume = {7},
pages = {267--280}} pages = {267--280}}
   
@InProceedings{PS:FoucaultWiki06, @InProceedings{PS:FoucaultWiki06,
author = {Christian Pentzold and Sebastian Seidenglanz}, author = {Christian Pentzold and Sebastian Seidenglanz},
title = {{Foucault@Wiki} -- First Steps Towards a Conceptual Framework for the title = {{Foucault@Wiki} -- First Steps Towards a Conceptual Framework for the
...@@ -10448,10 +10501,6 @@ lastchecked = {May, 2008}} ...@@ -10448,10 +10501,6 @@ lastchecked = {May, 2008}}
url = {http://www.wikisym.org/ws2006/proceedings/p33.pdf}, url = {http://www.wikisym.org/ws2006/proceedings/p33.pdf},
crossref = {wikisym06}} crossref = {wikisym06}}
   
@inproceedings{MunaMin:MFmase06,crossref={MunMin:MathFind06}} @inproceedings{MunaMin:MFmase06,crossref={MunMin:MathFind06}}
@InProceedings{MunMin:MathFind06, @InProceedings{MunMin:MathFind06,
author = {Rajesh Munavalli and Robert Miner}, author = {Rajesh Munavalli and Robert Miner},
...@@ -10638,14 +10687,6 @@ lastchecked = {May, 2008}} ...@@ -10638,14 +10687,6 @@ lastchecked = {May, 2008}}
school = {Worcester Polytechnic Institute}, school = {Worcester Polytechnic Institute},
} }
   
@unpublished{cm:s3t:10, @unpublished{cm:s3t:10,
author = {Christine M{\"u}ller}, author = {Christine M{\"u}ller},
title = {From Topics to Narrative Documents Management and Personalization of Topic Collections}, title = {From Topics to Narrative Documents Management and Personalization of Topic Collections},
...@@ -10660,21 +10701,6 @@ lastchecked = {May, 2008}} ...@@ -10660,21 +10701,6 @@ lastchecked = {May, 2008}}
note = {Submitted, see \url{http://kwarc.info/cmueller/papers/kmis10.pdf}}, note = {Submitted, see \url{http://kwarc.info/cmueller/papers/kmis10.pdf}},
url = {http://kwarc.info/cmueller/papers/kmis10.pdf}} url = {http://kwarc.info/cmueller/papers/kmis10.pdf}}
   
@book{Falk:thermodyn, @book{Falk:thermodyn,
author = {Gottfried Falk}, author = {Gottfried Falk},
title = {Theoretische Physik II Thermodynamik}, title = {Theoretische Physik II Thermodynamik},
...@@ -10735,7 +10761,6 @@ lastchecked = {May, 2008}} ...@@ -10735,7 +10761,6 @@ lastchecked = {May, 2008}}
url = {http://www.mathtran.org}, url = {http://www.mathtran.org},
note = {\seen{\May~} 2010}} note = {\seen{\May~} 2010}}
   
@InProceedings{RDSH:SemanticsXMLMarkup02, @InProceedings{RDSH:SemanticsXMLMarkup02,
author = {Allen Renear and David Dubin and C. M. Sperberg-McQueen and Claus Huitfeld}, author = {Allen Renear and David Dubin and C. M. Sperberg-McQueen and Claus Huitfeld},
title = {Towards a Semantics for {XML} Markup}, title = {Towards a Semantics for {XML} Markup},
...@@ -11079,6 +11104,23 @@ G. Goguadze and P. Libbrecht and M. Pollet and C. Ullrich}, ...@@ -11079,6 +11104,23 @@ G. Goguadze and P. Libbrecht and M. Pollet and C. Ullrich},
publisher = {Oxford University Press}, publisher = {Oxford University Press},
pages = {523--530}} pages = {523--530}}
   
@inproceedings{Klein2009seL4FV,
title={seL4: formal verification of an OS kernel},
author={Gerwin Klein and Kevin Elphinstone and Gernot Heiser and June Andronick and David Cock and Philip Derrin and Dhammika Elkaduwe and Kai Engelhardt and Rafal Kolanski and Michael Norrish and Thomas Sewell and Harvey Tuch and Simon Winwood},
booktitle={SOSP},
year={2009}
}
@article{Frimm2018FVSurvey,
author = {Tomás Frimm and Djones Lettnin and Michael Hübner},
year = {2018},
month = {05},
title = {A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip},
volume = {7},
journal = {Electronics},
doi = {10.3390/electronics7060081}
}
@INPROCEEDINGS{SH02, @INPROCEEDINGS{SH02,
author = {Axel Schairer and Dieter Hutter}, author = {Axel Schairer and Dieter Hutter},
title = {Proof Transformations for Evolutionary Formal Software Development}, title = {Proof Transformations for Evolutionary Formal Software Development},
...@@ -42148,9 +42190,22 @@ crossref = {SEPUBLICA14}, ...@@ -42148,9 +42190,22 @@ crossref = {SEPUBLICA14},
crossref = {BenBroSieSta:fhpab08} crossref = {BenBroSieSta:fhpab08}
} }
   
@InProceedings{DarvasMehtaRudich:EWDC08,
author="{\'A}d{\'a}m Darvas and Farhad Mehta and Arsenii Rudich",
editor="Alessandro Armando and Peter Baumgartner and Gilles Dowek",
title="Efficient Well-Definedness Checking",
booktitle="Automated Reasoning",
year="2008",
publisher="Springer Berlin Heidelberg",
pages="100--115",
isbn="978-3-540-71070-7",
url="https://link.springer.com/content/pdf/10.1007%2F978-3-540-71070-7_8.pdf"
}
@inproceedings{Farmer:UndCalc04, @inproceedings{Farmer:UndCalc04,
author = {William M. Farmer}, author = {William M. Farmer},
title = {Formalizing undefinedness arising in calculus}, title = {Formalizing Undefinedness Arising in Calculus},
booktitle = {Automated Reasoning}, booktitle = {Automated Reasoning},
series = {Lecture Notes in Computer Science}, series = {Lecture Notes in Computer Science},
volume = {3097}, volume = {3097},
...@@ -42160,6 +42215,25 @@ crossref = {SEPUBLICA14}, ...@@ -42160,6 +42215,25 @@ crossref = {SEPUBLICA14},
url = {http://imps.mcmaster.ca/doc/calculus.pdf} url = {http://imps.mcmaster.ca/doc/calculus.pdf}
} }
   
@online{JupMessaging:on,
label = "JM",
title = "Jupyter Messaging",
url = {http://jupyter-client.readthedocs.io/en/latest/messaging.html},
urldate = {2018-07-16}
}
@MANUAL{JupDocumentation:on,
label = {JD},
title = "Jupyter Documentation",
url = {http://jupyter.readthedocs.io/en/latest/},
urldate = {2018-07-16}
}
@MANUAL{Py4J:on,
label = "P4J",
title = "Py4J",
url = {https://www.py4j.org/},
urldate = {2018-07-16}
}
@article{coen2007note, @article{coen2007note,
title={A Note on Formalising Undefined Terms in Real Analysis}, title={A Note on Formalising Undefined Terms in Real Analysis},
author={Claudio Sacerdoti Coen and Enrico Zoli}, author={Claudio Sacerdoti Coen and Enrico Zoli},
...@@ -42177,7 +42251,15 @@ crossref = {SEPUBLICA14}, ...@@ -42177,7 +42251,15 @@ crossref = {SEPUBLICA14},
number={3}, number={3},
pages={295--320}, pages={295--320},
year={1995}, year={1995},
publisher={Springer} publisher={Springer},
url={https://math.stanford.edu/~feferman/papers/definedness.pdf}
}
@book{Lambert1991-LAMPAO,
title = {Philosophical Applications of Free Logic},
year = {1991},
publisher = {Oxford University Press},
author = {Karel Lambert}
} }
   
@techreport{OntoIOp-RFP, @techreport{OntoIOp-RFP,
...@@ -42430,3 +42512,10 @@ pages="288--295"} ...@@ -42430,3 +42512,10 @@ pages="288--295"}
howpublished = {\url{https://github.com/vega/ts-json-schema-generator}}, howpublished = {\url{https://github.com/vega/ts-json-schema-generator}},
note = {Accessed: 2018-10-14}, note = {Accessed: 2018-10-14},
} }
@MANUAL{nbformat:on,
label = {JND},
title = "The Jupyter Notebook Format",
url = {https://nbformat.readthedocs.io/en/latest/},
urldate = {2018-03-13}
}
This diff is collapsed.
@STRING{krcmessage = "READ the README please!!!!!!!!!!!!!!"} @STRING{krcmessage = "READ the README please!!!!!!!!!!!!!!"}
@PROCEEDINGS{CICM18WIP, @PROCEEDINGS{CICM18WIP,
title = {Intelligent Computer Mathematics -- Work in Progress Papers}, title = {Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018},
booktitle = {{Intelligent Computer Mathematics -- Work in Progress Papers}}, booktitle = {Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018},
key = {CICM18WIP}, key = {CICM18WIP},
year = {2018}, year = {2018},
SOONurl = {http://ceur-ws.org/Vol-1785/}, url = {http://ceur-ws.org/Vol-2307/},
SOONeditor = {Michael Kohlhase and Andrea Kohlhase and Paul Libbrecht and Bruce Miller and Adam Naumowicz and Walther Neuper and Pedro Quaresma and editor = {Osman Hasan and Abdou Youssef and Adam Naumowicz and William Farmer and Cezary Kaliszyk and Diane Gallois-Wong and Florian Rabe and Gabriel Dos Reis and Grant Passmore and James Davenport and Markus Pfeiffer and Michael Kohlhase and Serge Autexier and Sofiene Tahar and Thomas Koprucki and Umair Siddique and Walther Neuper and Wolfgang Windsteiger and Wolfgang Schreiner and Wolfram Sperber and Zoltán Kovács},
Frank Tompa and Martin Suda}, pubs={mkohlhase,akohlhase,frabe}}
SOONpubs={mkohlhase,akohlhase}}
@Proceedings{FGWM17, @Proceedings{FGWM17,
editor = {Andrea Kohlhase and Eric K{\"u}bler}, editor = {Andrea Kohlhase and Eric K{\"u}bler},
...@@ -17,6 +15,7 @@ Frank Tompa and Martin Suda}, ...@@ -17,6 +15,7 @@ Frank Tompa and Martin Suda},
booktitle = {Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), {FGWM}}, booktitle = {Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), {FGWM}},
note = {Workshop at LWDA 2017}, note = {Workshop at LWDA 2017},
year = {2017}, year = {2017},
url = {http://ceur-ws.org/Vol-1917/},
month = oct, month = oct,
pubs = {akohlhase}} pubs = {akohlhase}}
...@@ -72,19 +71,37 @@ Frank Tompa and Martin Suda}, ...@@ -72,19 +71,37 @@ Frank Tompa and Martin Suda},
} }
@proceedings{CICM18, @proceedings{CICM18,
editor = {Florian Rabe and William Farmer and Abdou Youssef and \ldots}, editor = {Florian Rabe and
William M. Farmer and
Grant O. Passmore and
Abdou Youssef},
eventtitle = {Conferences on Intelligent Computer Mathematics}, eventtitle = {Conferences on Intelligent Computer Mathematics},
title = {Intelligent Computer Mathematics}, title = {Intelligent Computer Mathematics},
booktitle = {{Intelligent Computer Mathematics} (CICM) 2018}, booktitle = {{Intelligent Computer Mathematics} (CICM) 2018},
publisher = {Springer}, publisher = {Springer},
doi = {10.1007/978-3-319-96812-4},
isbn = {978-3-319-96811-7},
series = {LNAI},
number = {11006},
year = {2018},
keywords = {conference},
pubs={frabe,oaf,odk}
}
@proceedings{CICM19,
editor = {Cezary Kaliszyck and Edwin Brady and Claudio Sacerdoti-Coen and Andrea Kohlhase},
eventtitle = {Conferences on Intelligent Computer Mathematics},
title = {Intelligent Computer Mathematics},
booktitle = {{Intelligent Computer Mathematics} (CICM) 2019},
publisher = {Springer},
SOONdoi = {10.1007/978-3-319-62075-6}, SOONdoi = {10.1007/978-3-319-62075-6},
series = {LNAI}, series = {LNAI},
SOONnumber = {10383}, SOONnumber = {10383},
SOONisbn = {978-3-319-62074-9}, SOONisbn = {978-3-319-62074-9},
note = {in press}, note = {in preparation},
year = {2018}, year = {2019},
keywords = {conference}, keywords = {conference},
pubs={frabe,oaf,odk} pubs={akohlhase}
} }
@proceedings{CICM16, @proceedings{CICM16,
......
...@@ -2,13 +2,25 @@ ...@@ -2,13 +2,25 @@
@STRING{stexyear = 2018} @STRING{stexyear = 2018}
@STRING{testing = 16} @STRING{testing = 16}
@online{TGWiki:on,
url = {https://github.com/UniFormal/TGView/wiki},
title = {{Graph Format Description}},
label = {TGWIKI},
urldate = {2019-03-07}}
@online{TGW3DWEB:on,
url = {https://tgview3d.mathhub.info},
title = {{TGView3D Web Version}},
label = {T3W},
urldate = {2019-03-07}
}
@online{kwarc:datahost:on,