symbolic-computation - 技术专题

Run, compile and execute JavaScript for Scientific Computing and Data Visualization TOTALLY TOTALLY TOTALLY in your BROWSER! An open source scientific computing environment for JavaScript TOTALLY in your browser, matrix operations with GPU acceleration, TeX support, data visualization and symbolic computation.

An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations

Fast symbolic computation, code generation, and nonlinear optimization for robotics

Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.

Computer Algebra System in Javascript (Typescript)

Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.

Distributed High-Performance Symbolic Regression in Julia

Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)

A simple library for creating complex neural networks

Scientific computing in Lean 4

An engine for symbolic manipulation and numeric evaluation of math formulas expressed with MathJSON

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

Official repository of the FriCAS computer algebra system

Machine Learning with Symbolic Tensors

Symbolic parser for Julia language algebra using REDUCE

An extensible, lightweight relational/logic programming DSL written in pure Python

Computer Algebra and Symbolic Computation in C#

Automatic Finite Difference PDE solving with Julia SciML

Library for Polynomial System Solving through Algebraic Methods