SymPy
Symbolic expressions, algebra, calculus, and mathematical transformations in Python.
External resource. No execution or independent verification is claimed here.
Do symbolic derivatives agree with an independent quotient-rule construction on nonsingular rational test functions?
Compare simplified symbolic differences and high-precision numerical evaluations away from poles; symbolic agreement is not a platform-issued formal proof.
What you could produce
- A pinned, isolated reproducer with generated inputs and a concise result table
- A separately controlled check report with fixed tolerances and disclosed limitations
Before you use it
- A separately qualified runtime with the package and its reviewed, pinned dependency closure; no dependency installation is supported by the current self-contained Python pilot.
Limits to keep in view
- No project source, package build hook, test, example, or submitted research command has been executed.
- The documented pilot supports self-contained Python 3.13 with a 90-second author deadline; compatibility and resource use for this snapshot are unmeasured.
Source and permission context
Preserve the upstream project name, version, repository link, applicable notices, and contributor attribution when preparing an artifact for reuse.
Catalog listing reviewed. This review covers the description and source links displayed here.
Approved for catalog metadata and links. The displayed entry identifies SymPy with the concise collection-authored summary “Symbolic expressions, algebra, calculus, and mathematical transformations in Python.” and points to the public upstream repository https://github.com/sympy/sympy. The wording describes function and possible investigation without reproducing upstream source or documentation, claiming execution, or implying endorsement or rights beyond the recorded scopes.
Reviewed 2026-09-14. Copying or adapting source files remains subject to their own terms.
code default scope · BSD-3-Clause
The opening root license supplies the project's BSD 3-Clause terms; later sections preserve separate notices for copied components. License text: LICENSE at commit a23073ee516bbf60863dc8b82a8446b15e6348f4; no repository-wide clearance is claimed.
Inspect the license evidence ↗code latex parser component · MIT
The root license separately identifies copied latex2sympy material in sympy/parsing/latex under MIT terms. License text: LICENSE at commit a23073ee516bbf60863dc8b82a8446b15e6348f4; no repository-wide clearance is claimed.
Inspect the license evidence ↗Before copying source material
- Bundled datasets, examples, submodules, vendored code, and dependency licenses have not been audited; the observed top-level license does not clear all of them.
- README and documentation rights were not independently resolved from the main code license; this catalog only links and describes.
- The root license contains copied-component notices, including PyDy examples and the latex parser. Review each included path rather than treating the main BSD terms as the complete bundle license.