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 |
|---|---|---|---|---|---|
| examples | 29 | none, sympy, wolfram | 15 | 3 | 2026-10-13 17:20:05 |
| 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 | 14 | 2 | 2026-10-13 16:43:00 |
| 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 | 14 | 2 | 2026-10-13 16:39:24 |