%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/

%% Created for Nicholas Beaton at 2019-05-29 12:00:19 +1000 


%% Saved with string encoding Unicode (UTF-8) 



@inproceedings{Canonical,
	Acmid = {808746},
	Author = {Babai, L\'{a}szl\'{o} and Luks, Eugene M.},
	Booktitle = {Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing},
	Date-Modified = {2019-05-29 11:55:13 +1000},
	Doi = {10.1145/800061.808746},
	Isbn = {0-89791-099-0},
	Pages = {171--183},
	Publisher = {ACM},
	address = {New York, NY},
	Series = {STOC '83},
	Title = {Canonical Labeling of Graphs},
	Year = {1983},
	Bdsk-Url-1 = {http://doi.acm.org/10.1145/800061.808746},
	Bdsk-Url-2 = {https://doi.org/10.1145/800061.808746}}

@misc{GraphFormats,
	Author = {Brendan McKay},
	Title = {Description of graph6, sparse6 and digraph6 encodings},
	Url = {http://users.cecs.anu.edu.au/~bdm/data/formats.txt},
	Bdsk-Url-1 = {http://users.cecs.anu.edu.au/~bdm/data/formats.txt}}

@inproceedings{Rabe:qlfml12,
	Author = {Florian Rabe},
	Booktitle = {Intelligent Computer Mathematics},
	Date-Modified = {2019-05-29 11:56:41 +1000},
	Eprint = {1204.4685},
	Eprintclass = {cs.LO},
	Eprinttype = {arxiv},
	Isbn = {978-3-642-31374-5},
	Pages = {143--158},
	Publisher = {Springer Berlin Heidelberg},
	Title = {{A Query Language for Formal Mathematical Libraries}},
	Year = {2012}}

@online{BerDZweb:on,
	Author = {Katja Ber\v{c}i\v{c}},
	Label = {DZ},
	Title = {DiscreteZOO website},
	Url = {https://discretezoo.xyz},
	Urldate = {2019-01-24},
	Bdsk-Url-1 = {https://discretezoo.xyz}}

@online{MBGen:generator,
	Label = {GG},
	Title = {MBGen: code generator},
	Url = {https://github.com/UniFormal/MMT/tree/devel/src/mmt-lf/src/info/kwarc/mmt/sql},
	Urldate = {2019-01-24},
	Bdsk-Url-1 = {https://github.com/UniFormal/MMT/tree/devel/src/mmt-lf/src/info/kwarc/mmt/sql}}

@online{MBGen:code,
	Label = {GC},
	Title = {MBGen: schema independent code},
	Url = {https://github.com/DiscreteZOO/Web-MBGen-Generated},
	Urldate = {2019-01-24},
	Bdsk-Url-1 = {https://github.com/DiscreteZOO/Web-MBGen-Generated}}

@inproceedings{CICM,
	Author = {Katja Ber{\v c}i{\v c} and Michael Kohlhase and Florian Rabe},
	Crossref = {CICM19},
	Pubs = {frabe,mkohlhase,kbercic},
	Title = {Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation},
	Url = {https://kwarc.info/kohlhase/submit/cicm19-MDH.pdf},
	Bdsk-Url-1 = {https://kwarc.info/kohlhase/submit/cicm19-MDH.pdf}}

@proceedings{CICM19,
	Booktitle = {{Intelligent Computer Mathematics} (CICM) 2019},
	Date-Modified = {2019-05-29 11:56:13 +1000},
	Editor = {Cezary Kaliszyck and Edwin Brady and Claudio Sacerdoti-Coen and Andrea Kohlhase},
	Eventtitle = {Conferences on Intelligent Computer Mathematics},
	Keywords = {conference},
	Note = {In preparation},
	Pubs = {akohlhase},
	Soondoi = {10.1007/978-3-319-62075-6},
	Soonisbn = {978-3-319-62074-9},
	Soonnumber = {10383},
	Soonpublisher = {Springer},
	Soonseries = {LNAI},
	Title = {Intelligent Computer Mathematics},
	Year = {2019}}

@online{DZWeb:on,
	Label = {DZ},
	Title = {DiscreteZOO website},
	Url = {https://discretezoo.xyz/},
	Urldate = {2019-03-19},
	Bdsk-Url-1 = {https://discretezoo.xyz/}}

@online{MBGen:on,
	Label = {MBG},
	Title = {MBGen description, links demos and code repositories},
	Url = {https://github.com/MathHubInfo/Documentation/wiki/MBGen},
	Urldate = {2019-03-19},
	Bdsk-Url-1 = {https://github.com/MathHubInfo/Documentation/wiki/MBGen}}

@unpublished{DZ:ICMS,
	Author = {Katja Ber\v{c}i\v{c} and Jano\v{s} Vidali},
	Title = {DiscreteZOO: a Fingerprint Database of Discrete Objects},
	Url = {https://arxiv.org/pdf/1812.05921.pdf},
	Year = {2018},
	Bdsk-Url-1 = {https://arxiv.org/pdf/1812.05921.pdf}}

@online{bercic:cmo:table,
	Author = {Katja Ber\v{c}i\v{c}},
	Pubs = {kbercic,cmo-survey},
	Title = {Math Databases Living Survey},
	Url = {https://mathdb.mathhub.info/},
	Urldate = {2019-03-19},
	Bdsk-Url-1 = {https://mathdb.mathhub.info/}}

@online{Bercic:cmo:wiki,
	Author = {Katja Ber\v{c}i\v{c}},
	Pubs = {kbercic,cmo-survey},
	Title = {Math Databases wiki},
	Url = {https://github.com/MathHubInfo/Documentation/wiki/Math-Databases},
	Urldate = {2019-03-19},
	Bdsk-Url-1 = {https://github.com/MathHubInfo/Documentation/wiki/Math-Databases}}

@online{OEIS:on,
	Label = {OEIS},
	Title = {The On-Line Encyclopedia of Integer Sequences},
	Url = {http://oeis.org},
	Urldate = {2019-03-19},
	Bdsk-Url-1 = {http://oeis.org}}

@online{lmfdb:on,
	Crossref = {lmfdb:base},
	Label = {LM},
	Url = {http://www.lmfdb.org},
	Urldate = {2019-03-19},
	Bdsk-Url-1 = {http://www.lmfdb.org}}

@misc{lmfdb,
	Crossref = {lmfdb:base},
	Howpublished = {\url{http://www.lmfdb.org}}}

@misc{lmfdb:base,
	Key = {LMFDB},
	Title = {The {L}-functions and Modular Forms Database}}

@misc{findstat,
	Author = {C. Berg and C. Stump and al.},
	Howpublished = {\url{http://www.FindStat.org}},
	Key = {FindStat},
	Title = {FindStat: {T}he {C}ombinatorial {S}tatistic Finder},
	Year = {2014}}

@book{BerGel:ilp03,
	Editor = {Bernstein, Joseph Gelbart, Steve},
	Isbn = {3-7643-3211-5},
	Publisher = {Birkh{\"a}user},
	Title = {An Introduction to the {Langlands Program}},
	Year = {2003}}

@inproceedings{WieKohRab:vtuimkb17,
	Author = {Tom Wiesing and Michael Kohlhase and Florian Rabe},
	Booktitle = {Mathematical Aspects of Computer and Information Sciences},
	Date-Modified = {2019-05-29 11:59:47 +1000},
	Pages = {243--257},
	Publisher = {Springer, Cham},
	Series = {Lecture Notes in Computer Science 10693},
	Title = {Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases},
	Url = {https://github.com/OpenDreamKit/OpenDreamKit/blob/master/WP6/MACIS17-vt/crc.pdf},
	Year = {2017},
	Bdsk-Url-1 = {https://github.com/OpenDreamKit/OpenDreamKit/blob/master/WP6/MACIS17-vt/crc.pdf}}