Popular repositories Loading

1. satassume satassume Public

   Unified incremental SAT-based assumptions engine for SymPy (prototype)

   Python 1 1

2. sympy sympy Public

   Forked from sympy/sympy

   A computer algebra system written in pure Python

   Python

3. sympy_benchmarks sympy_benchmarks Public

   Forked from TiloRC/sympy_benchmarks

   Some benchmarks of SymPy

   Python

4. asv-sample-bias asv-sample-bias Public

   Positional (warm-up) bias in asv benchmark samples

   Python

5. sympy-conjugate-lean sympy-conjugate-lean Public

   Lean proofs for three finite-complex conjugation rewrites in SymPy PR #29173, with frozen source contracts and reproducible CI

   Python

6. reasoning reasoning Public

   Forked from TiloRC/reasoning

   A fork of sympy's assumption system

   Python