{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:20Z","timestamp":1740099140384,"version":"3.37.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319964171"},{"type":"electronic","value":"9783319964188"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-96418-8_5","type":"book-chapter","created":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T06:57:13Z","timestamp":1531465033000},"page":"36-44","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["DiscreteZOO: Towards a Fingerprint Database of Discrete Objects"],"prefix":"10.1007","author":[{"given":"Katja","family":"Ber\u010di\u010d","sequence":"first","affiliation":[]},{"given":"Jano\u0161","family":"Vidali","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,14]]},"reference":[{"key":"5_CR1","unstructured":"Babai, L., Luks, E.M.: Canonical labeling of graphs. In: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing. pp. 171\u2013183. STOC 1983. ACM, New York (1983). \nhttp:\/\/doi.acm.org\/10.1145\/800061.808746"},{"key":"5_CR2","unstructured":"Ber\u010di\u010d, K., Vidali, J.: DiscreteZOO. \nhttp:\/\/discretezoo.xyz\/"},{"key":"5_CR3","unstructured":"Ber\u010di\u010d, K., Vidali, J.: DiscreteZOO data repository. \nhttps:\/\/github.com\/DiscreteZOO\/DiscreteZOO-data"},{"key":"5_CR4","unstructured":"Ber\u010di\u010d, K., Vidali, J.: DiscreteZOO documentation. \nhttps:\/\/github.com\/DiscreteZOO\/DiscreteZOO-docs"},{"key":"5_CR5","unstructured":"Ber\u010di\u010d, K., Vidali, J.: DiscreteZOO SageMath interface repository. \nhttps:\/\/github.com\/DiscreteZOO\/DiscreteZOO-sage"},{"issue":"08","key":"5_CR6","doi-asserted-by":"publisher","first-page":"1034","DOI":"10.1090\/noti1029","volume":"60","author":"Sara C. Billey","year":"2013","unstructured":"Billey, S.C., Tenner, B.E.: Fingerprint databases for theorems. Not. Am. Math. Soc. 60(8), 1034\u20131039 (2013). \nhttps:\/\/doi.org\/10.1090\/noti1029","journal-title":"Notices of the American Mathematical Society"},{"key":"5_CR7","unstructured":"Bouwer, I. (ed.): The Foster census. R. M. Foster\u2019s 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)"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-1-4842-0076-6_5","volume-title":"Pro Git","author":"Scott Chacon","year":"2014","unstructured":"Chacon, S., Straub, B.: Pro Git (2014). \nhttps:\/\/git-scm.com\/"},{"key":"5_CR9","unstructured":"Conder, M., Dobcs\u00e1nyi, P., McKay, B., Royle, G.: The Extended Foster Census. \nhttp:\/\/www.cs.uwa.edu.au\/gordon\/remote\/foster"},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1109\/T-AIEE.1932.5056068","volume":"51","author":"Ronald M. Foster","year":"1932","unstructured":"Foster, R.M.: Geometrical circuits of electrical networks. Trans. Am. Inst. Electr. Eng. 51(2), 309\u2013317 (1932). \nhttps:\/\/doi.org\/10.1109\/T-AIEE.1932.5056068","journal-title":"Transactions of the American Institute of Electrical Engineers"},{"key":"5_CR11","unstructured":"Junttila, T., Kaski, P.: Bliss: A Tool for Computing Automorphism Groups and Canonical Labelings of Graphs. \nhttp:\/\/www.tcs.hut.fi\/Software\/bliss\/"},{"key":"5_CR12","unstructured":"Kholmatova, A.: Design Systems. Smashing Media AG (2017)"},{"key":"5_CR13","unstructured":"McKay, B.: Description of graph6, sparse6 and digraph6 encodings. \nhttp:\/\/users.cecs.anu.edu.au\/~bdm\/data\/formats.txt"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1016\/j.jsc.2013.09.003","volume":"60","author":"BD McKay","year":"2014","unstructured":"McKay, B.D., Piperno, A.: Practical graph isomorphism II. J. Symbolic Comput. 60, 94\u2013112 (2014)","journal-title":"J. Symbolic Comput."},{"key":"5_CR15","unstructured":"Norman, D.: The Design of Everyday Things. Revised and Expanded edn. Basic Books (2013)"},{"key":"5_CR16","unstructured":"OEIS Foundation Inc. The On-Line Encyclopedia of Integer Sequences (2018). \nhttp:\/\/oeis.org"},{"key":"5_CR17","doi-asserted-by":"publisher","unstructured":"Poto\u010dnik, P., Spiga, P., Verret, G.: Cubic vertex-transitive graphs on up to $$1280$$1280 vertices. J. Symbolic Comput. 50, 465\u2013477 (2013). \nhttps:\/\/doi.org\/10.1016\/j.jsc.2012.09.002","DOI":"10.1016\/j.jsc.2012.09.002"},{"key":"5_CR18","unstructured":"Royle, G.: Transitive graphs. \nhttp:\/\/staffhome.ecm.uwa.edu.au\/~00013890\/remote\/trans\/index.html"},{"key":"5_CR19","unstructured":"Rubey, M., Stump, C., et al.: FindStat - The combinatorial statistics database (2017). \nhttp:\/\/www.FindStat.org"},{"key":"5_CR20","unstructured":"Tenner, B.E.: Database of permutation pattern avoidance. \nhttp:\/\/math.depaul.edu\/bridget\/patterns.html"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96418-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T06:59:48Z","timestamp":1531465188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96418-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319964171","9783319964188"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96418-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}