Implement a new checker that computes zeros with Sollya and is more accurate
Showing
- checkerDefsScript.sml 0 additions, 1 deletioncheckerDefsScript.sml
- checkerScript.sml 86 additions, 68 deletionscheckerScript.sml
- drangScript.sml 3 additions, 3 deletionsdrangScript.sml
- examples/mockUpCosChebyshevScript.sml 32 additions, 0 deletionsexamples/mockUpCosChebyshevScript.sml
- examples/mockUpCosScript.sml 3 additions, 100 deletionsexamples/mockUpCosScript.sml
- examples/mockUpExpScript.sml 3 additions, 54 deletionsexamples/mockUpExpScript.sml
- examples/mockUpSinScript.sml 3 additions, 17 deletionsexamples/mockUpSinScript.sml
- mcLaurinApproxScript.sml 3 additions, 4 deletionsmcLaurinApproxScript.sml
- preamble.sml 3 additions, 4 deletionspreamble.sml
- realZeroLib.sml 153 additions, 11 deletionsrealZeroLib.sml
Loading
Please register or sign in to comment