Skip to main content
SpringerLink
Log in
Book cover

International Congress on Mathematical Software

ICMS 2018: Mathematical Software – ICMS 2018 pp 36–44Cite as

DiscreteZOO: Towards a Fingerprint Database of Discrete Objects

  • Conference paper
  • First Online:

  • 1105 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10931))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. 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

  2. Berčič, K., Vidali, J.: DiscreteZOO. http://discretezoo.xyz/

  3. Berčič, K., Vidali, J.: DiscreteZOO data repository. https://github.com/DiscreteZOO/DiscreteZOO-data

  4. Berčič, K., Vidali, J.: DiscreteZOO documentation. https://github.com/DiscreteZOO/DiscreteZOO-docs

  5. Berčič, K., Vidali, J.: DiscreteZOO SageMath interface repository. https://github.com/DiscreteZOO/DiscreteZOO-sage

  6. 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

    Article  MathSciNet  Google Scholar 

  7. 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)

    Google Scholar 

  8. Chacon, S., Straub, B.: Pro Git (2014). https://git-scm.com/

    Chapter  Google Scholar 

  9. Conder, M., Dobcsányi, P., McKay, B., Royle, G.: The Extended Foster Census. http://www.cs.uwa.edu.au/gordon/remote/foster

  10. 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

    Article  Google Scholar 

  11. Junttila, T., Kaski, P.: Bliss: A Tool for Computing Automorphism Groups and Canonical Labelings of Graphs. http://www.tcs.hut.fi/Software/bliss/

  12. Kholmatova, A.: Design Systems. Smashing Media AG (2017)

    Google Scholar 

  13. McKay, B.: Description of graph6, sparse6 and digraph6 encodings. http://users.cecs.anu.edu.au/~bdm/data/formats.txt

  14. McKay, B.D., Piperno, A.: Practical graph isomorphism II. J. Symbolic Comput. 60, 94–112 (2014)

    Article  MathSciNet  Google Scholar 

  15. Norman, D.: The Design of Everyday Things. Revised and Expanded edn. Basic Books (2013)

    Google Scholar 

  16. OEIS Foundation Inc. The On-Line Encyclopedia of Integer Sequences (2018). http://oeis.org

  17. 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

  18. Royle, G.: Transitive graphs. http://staffhome.ecm.uwa.edu.au/~00013890/remote/trans/index.html

  19. Rubey, M., Stump, C., et al.: FindStat - The combinatorial statistics database (2017). http://www.FindStat.org

  20. Tenner, B.E.: Database of permutation pattern avoidance. http://math.depaul.edu/bridget/patterns.html

Download references

Author information

Authors and Affiliations

  1. UNAM, Morelia, Mexico

    Katja Berčič

  2. University of Ljubljana, Ljubljana, Slovenia

    Janoš Vidali

Authors
  1. Katja Berčič
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Janoš Vidali
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Katja Berčič .

Editor information

Editors and Affiliations

  1. University of Bath, Bath, United Kingdom

    James H. Davenport

  2. Johannes Kepler University, Linz, Austria

    Manuel Kauers

  3. University of Waterloo, Waterloo, Ontario, Canada

    George Labahn

  4. Czech Technical University in Prague, Prague 6, Czech Republic

    Josef Urban

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Search

Navigation