GrInvIn
From MaRDI portal
swMATH4703MaRDI QIDQ16872FDOQ16872
Author name not available (Why is that?)
Official website: http://www.grinvin.org/
Cited In (28)
- Automated conjecturing. VI: Domination number of benzenoids
- Quantitative graph theory: a new branch of graph theory and network science
- Title not available (Why is that?)
- INGRID
- AutoGraphiX
- House of Graphs
- Colt
- GRAFFITI
- plantri
- Mathchem
- GraphTheory
- netbiov
- Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited
- GRAPH
- CaGe
- GWT
- GraPHedron
- GENREG
- Gavrog
- GRADPART
- Systre
- Title not available (Why is that?)
- Conjecturing
- BlueJ
- Graph6Java
- House of Graphs: a database of interesting graphs
- A survey of automated conjectures in spectral graph theory
- House of graphs 2.0: a database of interesting graphs and more
This page was built for software: GrInvIn
