Abstract
There have been various efforts to collect certain mathematical results into searchable databases. In this paper, we present DiscreteZOO: a repository and a fingerprint database for discrete mathematical objects. At the moment, it hosts collections of vertex-transitive graphs and maniplexes, which are a common generalisation of maps and abstract polytopes. The project encompasses a tool for handling and maintaining collections of objects, as well as a website and SageMath package for interacting with the database. The project aims to become a general platform to make collections of mathematical objects easier to publish and access.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Babai, L., Luks, E.M.: Canonical labeling of graphs. In: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing. pp. 171–183. STOC 1983. ACM, New York (1983). http://doi.acm.org/10.1145/800061.808746
Berčič, K., Vidali, J.: DiscreteZOO. http://discretezoo.xyz/
Berčič, K., Vidali, J.: DiscreteZOO data repository. https://github.com/DiscreteZOO/DiscreteZOO-data
Berčič, K., Vidali, J.: DiscreteZOO documentation. https://github.com/DiscreteZOO/DiscreteZOO-docs
Berčič, K., Vidali, J.: DiscreteZOO SageMath interface repository. https://github.com/DiscreteZOO/DiscreteZOO-sage
Billey, S.C., Tenner, B.E.: Fingerprint databases for theorems. Not. Am. Math. Soc. 60(8), 1034–1039 (2013). https://doi.org/10.1090/noti1029
Bouwer, I. (ed.): The Foster census. R. M. Foster’s census of connected symmetric trivalent graphs. Co-editors: Chernoff, W.W., Monson, B., Star, Z.: With a foreword by H. S. M. Coxeter and a biographical preface by S. Schuster. Charles Babbage Research Centre, Winnipeg (1988)
Chacon, S., Straub, B.: Pro Git (2014). https://git-scm.com/
Conder, M., Dobcsányi, P., McKay, B., Royle, G.: The Extended Foster Census. http://www.cs.uwa.edu.au/gordon/remote/foster
Foster, R.M.: Geometrical circuits of electrical networks. Trans. Am. Inst. Electr. Eng. 51(2), 309–317 (1932). https://doi.org/10.1109/T-AIEE.1932.5056068
Junttila, T., Kaski, P.: Bliss: A Tool for Computing Automorphism Groups and Canonical Labelings of Graphs. http://www.tcs.hut.fi/Software/bliss/
Kholmatova, A.: Design Systems. Smashing Media AG (2017)
McKay, B.: Description of graph6, sparse6 and digraph6 encodings. http://users.cecs.anu.edu.au/~bdm/data/formats.txt
McKay, B.D., Piperno, A.: Practical graph isomorphism II. J. Symbolic Comput. 60, 94–112 (2014)
Norman, D.: The Design of Everyday Things. Revised and Expanded edn. Basic Books (2013)
OEIS Foundation Inc. The On-Line Encyclopedia of Integer Sequences (2018). http://oeis.org
Potočnik, P., Spiga, P., Verret, G.: Cubic vertex-transitive graphs on up to \(1280\) vertices. J. Symbolic Comput. 50, 465–477 (2013). https://doi.org/10.1016/j.jsc.2012.09.002
Royle, G.: Transitive graphs. http://staffhome.ecm.uwa.edu.au/~00013890/remote/trans/index.html
Rubey, M., Stump, C., et al.: FindStat - The combinatorial statistics database (2017). http://www.FindStat.org
Tenner, B.E.: Database of permutation pattern avoidance. http://math.depaul.edu/bridget/patterns.html
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Berčič, K., Vidali, J. (2018). DiscreteZOO: Towards a Fingerprint Database of Discrete Objects. In: Davenport, J., Kauers, M., Labahn, G., Urban, J. (eds) Mathematical Software – ICMS 2018. ICMS 2018. Lecture Notes in Computer Science(), vol 10931. Springer, Cham. https://doi.org/10.1007/978-3-319-96418-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-96418-8_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-96417-1
Online ISBN: 978-3-319-96418-8
eBook Packages: Computer ScienceComputer Science (R0)