Allow user to specify known bounds
nvcleemp opened this issue · comments
If such bounds are specified, then the program would only produce conjectures that are more significant then the known bounds.
nvcleemp / conjecturing
Adding conjecturing to Sage