assume-eval results
Results of the assume-eval benchmark: how computer algebra systems decide claims under assumptions. Official cases of the public suites only; held-out cases are not shown and not counted. Pick a suite.
| suite | cases | CAS | runs | case sets | latest run |
|---|---|---|---|---|---|
| simplipy SimpliPy rewrite rules under principal branches 307 cases derived from the rewrite rules of SimpliPy (engine acj-4, Paul Saegert). SimpliPy's rules were accepted by numerical equivalence of real-valued float… | 307 | none, sympy, wolfram | 21 | 3 | 2026-10-13 17:24:42 |
| trig Trigonometric identities (demo) A small public demo suite: Pythagorean and double-angle identities, inverse functions composed with their functions (true only on the principal range), and per… | 13 | none, sympy, wolfram | 21 | 3 | 2026-10-13 17:21:15 |
| examples | 29 | none, sympy, wolfram | 21 | 3 | 2026-10-13 17:20:59 |