Allow user to specify known bounds

nvcleemp / conjecturing

Adding conjecturing to Sage

http://nvcleemp.github.io/conjecturing/

12 stars 3 forks source link

Closed nvcleemp closed 10 years ago

nvcleemp commented 10 years ago

If such bounds are specified, then the program would only produce conjectures that are more significant then the known bounds.