nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

DiscreteZOO: Towards a Fingerprint Database of Discrete Objects

verfasst von : Katja Berčič, Janoš Vidali

Erschienen in: Mathematical Software – ICMS 2018

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Paramotopy: Parameter Homotopies in Parallel

Nächstes Kapitel A Framework for Unconditionally Secure Public-Key Encryption (with Possible Decryption Errors)

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/noti1029MathSciNetCrossRef

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/CrossRef

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.5056068CrossRef

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)

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

15.

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

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

Titel: DiscreteZOO: Towards a Fingerprint Database of Discrete Objects
verfasst von: Katja Berčič
Janoš Vidali
Verlag: Springer International Publishing
Buch: Mathematical Software – ICMS 2018
Print ISBN: 978-3-319-96417-1

Electronic ISBN: 978-3-319-96418-8

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-96418-8_5

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner