GrInvIn
From MaRDI portal
Software:16872
swMATH4703MaRDI QIDQ16872FDOQ16872
Author name not available (Why is that?)
Cited In (8)
- Quantitative graph theory: a new branch of graph theory and network science
- Title not available (Why is that?)
- Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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