search

nvcleemp / conjecturing

Adding conjecturing to Sage
http://nvcleemp.github.io/conjecturing/
12 stars 3 forks source link

Add property-based conjecturing to the program #4

Closed nvcleemp closed 10 years ago

nvcleemp commented 10 years ago

Upperbounds correspond to sufficient conditions, lowerbounds correspond to necessary conditions.