GrInvIn
From MaRDI portal
Cited in
(28)- INGRID
- House of Graphs: a database of interesting graphs
- AutoGraphiX
- House of Graphs
- Colt
- GRAFFITI
- House of graphs 2.0: a database of interesting graphs and more
- plantri
- Mathchem
- GraphTheory
- netbiov
- GRAPH
- CaGe
- GWT
- GraPHedron
- GENREG
- Automated conjecturing. VI: Domination number of benzenoids
- scientific article; zbMATH DE number 7410923 (Why is no real title available?)
- GRADPART
- Systre
- Gavrog
- scientific article; zbMATH DE number 5255703 (Why is no real title available?)
- Conjecturing
- Graph6Java
- BlueJ
- Quantitative graph theory: a new branch of graph theory and network science
- Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited
- A survey of automated conjectures in spectral graph theory
This page was built for software: GrInvIn
