DiscreteZOO: a fingerprint database of discrete objects

DOI10.1007/s11786-020-00453-5zbMath1474.68457arXiv1812.05921OpenAlexW3005976134MaRDI QIDQ2209260

Janoš Vidali, Katja Berčič

Publication date: 30 October 2020

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1812.05921

zbMATH Keywords

vertex-transitive graphsfingerprint databasemaniplexesSageMath packagewebsite

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Database theory (68P15) Discrete mathematics in relation to computer science (68Rxx) Digital mathematics libraries and repositories (68V35)

Related Items (2)

Making the census of cubic vertex transitive graphs searchable and FAIR ⋮ DiscreteZOO

Uses Software

• Magma
• nauty
• SageMath
• SymbolicData
• DLMF
• House of Graphs
• OEIS
• LMFDB
• Traces
• ATLAS Group Representations
• FindStat
• OpenDreamKit
• bliss
• GitHub
• MathOverflow
• Small Graph Database

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Coincidental pattern avoidance
• Mathematical knowledge management: transcending the one-brain-barrier with theory graphs
• The Magma algebra system. I: The user language
• DiscreteZOO: towards a fingerprint database of discrete objects
• House of Graphs: a database of interesting graphs
• NIST digital library of mathematical functions
• Cubic vertex-transitive graphs on up to 1280 vertices
• Practical graph isomorphism. II.
• Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
• Fingerprint Databases for Theorems
• Classification of Vertex‐Transitive Cubic Partial Cubes
• Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases
• Girth-regular graphs
• Engineering an Efficient Canonical Labeling Tool for Large and Sparse Graphs

This page was built for publication: DiscreteZOO: a fingerprint database of discrete objects