zbMATH — the first resource for mathematics

DiscreteZOO: a fingerprint database of discrete objects. (English) Zbl 07268445
Summary: In this paper, we present DiscreteZOO, a project which illustrates some of the possibilities for computer-supported management of collections of finite combinatorial (discrete) objects, in particular graphs with a high degree of symmetry. DiscreteZOO encompasses a data repository, a website and a SageMath Package.
68R05 Combinatorics in computer science
68P20 Information storage and retrieval of data
Full Text: DOI
[1] Babai, L., Luks, E.M.: Canonical Labeling of Graphs. In: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing. STOC ’83. New York, NY, USA: ACM, pp. 171-183 (1983). ISBN: 0-89791-099-0. 10.1145/800061.808746
[2] Berčič, K., Vidali, J.: DiscreteZOO repositories. https://github.com/DiscreteZOO · Zbl 1395.68108
[3] Berčič, K.: Math Databases. https://github.com/MathHubInfo/Documentation/wiki/Math-Databases. Accessed 29 Nov 2018
[4] Berg, C., Stump, C.: FindStat: The Combinatorial Statistic Finder (2014). http://www.FindStat.org
[5] Billey, SC; Tenner, BE, Fingerprint databases for theorems, Not. Am. Math. Soc., 60, 8, 1034-1039 (2013) · Zbl 1322.68252
[6] Bosma, W., Cannon, J., Playoust, C.: The Magma algebra system. I. The user language. In: J. Symb. Comput. 24.3-4. Computational algebra and number theory (London, 1993), pp. 235-265, (1997). ISSN: 0747-7171. 10.1006/jsco.1996.0125 · Zbl 0898.68039
[7] Brinkmann, G., House of graphs: a database of interesting graphs, Discrete Appl. Math., 161, 1, 311-314 (2013) · Zbl 1292.05254
[8] Chacon, S., Straub, B.: Pro Git (2014). https://git-scm.com/
[9] Conder, M.D.E., et al.: The Extended Foster Census. https://www.math.auckland.ac.nz/ conder/symmcubic2048list.txt
[10] Dehaye, P.-O. et al.: Interoperability in the OpenDreamKit project: the math-in-the-middle approach. In: Kohlhase, M., et al. (eds.) Intelligent Computer Mathematics 2016. LNAI 9791. Springer, (2016). ISBN: 978-3-319-08434-3. https://github.com/OpenDreamKit/OpenDreamKit/blob/master/WP6/CICM2016/published.pdf · Zbl 1344.68268
[11] Farmer, WM; Schwartz, D.; Te’eni, D., Mathematical knowledge management, Encyclopedia of Knowledge Management, 1082-1089 (2011), Hershey: Idea Group Reference, Hershey
[12] Grout, J.: Small Graph Database. https://jasongrout.org/graph_database. Accessed 3 Dec 2018
[13] Junttila, T., Kaski, P.: Bliss: A Tool for Computing Automorphism Groups and Canonical Labelings of Graphs. http://www.tcs.hut.fi/Software/bliss/ · Zbl 1428.68222
[14] Kholmatova, A., Design Systems (2017), Breisgau: Smashing Media AG, Breisgau
[15] Kohlhase, M.: Math Object Identifiers—Towards Research Data in Mathematics. In: Kohlhase, A., Kübler, E. (ed.) Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM. Workshop at LWDA 2017, pp. 214-252 (2017). http://ceur-ws.org/Vol-1917/paper33.pdf
[16] Kohlhase, M.: Mathematical knowledge management: transcending the one-brain-barrier with theory graphs. In: EMS Newsletter, pp. 22-27 (2014). https://kwarc.info/people/mkohlhase/papers/ems13.pdf · Zbl 1317.68241
[17] Lozier, D.W.: NIST Digital Library of Mathematical Function. In: Annals of Mathematics and Artificial Intelligence—Special Issue on Mathematical Knowledge Management 38, pp. 105-119 (2003). http://dlmf.nist.gov/about/publications/MKM-Lozier.pdf · Zbl 1019.65001
[18] Marc, T., Classification of vertex-transitive cubic partial cubes, J. Graph Theory, 86, 4, 406-421 (2017) · Zbl 1375.05130
[19] MathOverflow contributors. What are some early examples of creation of lists / catalogues of (particularly) combinatorial objects? MathOverflow. https://mathoverflow.net/questions/47044/what-are-some-early-examples-of-creation-of-lists-catalogues-of-particularly. Accessed 20 Nov 2018
[20] McKay, B., Royle, G.: Transitive Graphs. http://staffhome.ecm.uwa.edu.au/ 00013890/remote/trans/index.html · Zbl 0805.05037
[21] McKay, B.: Description of graph6, sparse6 and digraph6 encodings. http://users.cecs.anu.edu.au/ bdm/data/formats.txt
[22] McKay, BD; Piperno, A., Practical graph isomorphism, II, J. Symb. Comput., 60, 94-112 (2014) · Zbl 1394.05079
[23] Menezes, AJ; van Oorschot, PC; Vanstone, SA, Handbook of Applied Cryptography, xxviii+780 (1997), Boca Raton: CRC Press, Boca Raton · Zbl 0868.94001
[24] Norman, D., The Design of Everyday Things. Revised and Expanded (2013), New York: Basic Books, New York
[25] OEIS Foundation Inc., ed. The On-Line Encyclopedia of Integer Sequences. http://oeis.org (visited on 05/28/2017)
[26] Pisanski, T., et al.: The Encyclopedia of Graphs. http://atlas.gregas.eu. Accessed 3 Dec 2018
[27] Potočnik, P.; Vidali, J., Girth-regular graphs, ARS Math. Contemp., 17, 2, 349-368 (2019) · Zbl 1435.05120
[28] Potočnik, P.; Spiga, P.; Verret, G., Cubic vertex-transitive graphs on up to 1280 vertices, J. Symb. Comput., 50, 465-477 (2013) · Zbl 1256.05102
[29] Read, R.C., Wilson, R.J.: An Atlas of Graphs. p. 464 (2005) · Zbl 0908.05001
[30] Tenner, B.E.: Database of permutation pattern avoidance. http://math.depaul.edu/bridget/patterns.html · Zbl 1275.05006
[31] The Kant Project. Querying Algebraic Objects System. http://page.math.tu-berlin.de/ kant/database.html. Accessed 3 Dec 2018
[32] The LMFDB Collaboration. The L-functions and Modular Forms Database. http://www.lmfdb.org. Accessed 1 Feb 2016
[33] The Sage Developers. SageMath, the Sage Mathematics Software System (Version 8.3) (2018). http://www.sagemath.org
[34] The SymbolicData Project. SymbolicData Project. https://symbolicdata.github.io/. Accessed 3 Dec 2018
[35] UniFormal/MMT—The MMT Language and System. https://github.com/UniFormal/MMT. Accessed 24 Oct 2017
[36] Wiesing, T., Kohlhase, M., Rabe, F.: Virtual theories—a uniform interface to mathematical knowledge bases. In: Blömer, J., Kutsia, T., Simos, D. (eds.) MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences. LNCS 10693. Springer, pp. 243-257 (2017). https://github.com/OpenDreamKit/OpenDreamKit/blob/master/WP6/MACIS17-vt/crc.pdf · Zbl 07036055
[37] Wikipedia contributors. Fingerprint (disambiguation). Wikipedia, The Free Encyclopedia. http://en.wikipedia.org/wiki/Fingerprint_(disambiguation). Accessed 22 Nov 2018
[38] Wilson, R., et al.: ATLAS of Finite Group Representations—Version 3. http://brauer.maths.qmul.ac.uk/Atlas/v3/. Accessed 3 Dec 2018
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.