math1um / objects-invariants-properties

Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
GNU General Public License v3.0
14 stars 6 forks source link

Compute fixed invariants #574

Closed yirkajk closed 6 years ago

yirkajk commented 6 years ago

Computed, replacing any old values, recently fixed invariants, including fractional_covering, max_eigenvalue, min_eigenvalue, largest_eigenvalue_minus_avg_degree, laplacian_energy, gutman_energy, and wilf. Timeout up to 20 minutes. Closes #568. Closes #569.