Scientific computing in Lean 4

Official repository of the FriCAS computer algebra system

Calculation of tree-level and one-loop Feynman diagrams Beyond the Standard Model

reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/. Please visit the REDUCE Homepage, https://reduce-algebra.sourceforge.io/, to report any bugs or request assistance.

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

Use the type system to create restrictions over symbolic math operations.

Integrating Symbolic Programming and Neuromorphic Modeling with NVIDIA Jetson and GPU-based DNN/ML Systems for Edge Labs

Julia package for the construction of quantum lattice systems.

Ridiculously fast symbolic expressions

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.

Distributed High-Performance Symbolic Regression in Julia

A general interface for symbolic indexing of SciML objects used in conjunction with Domain-Specific Languages

Curso de Ciência da Computação

Automatic Finite Difference PDE solving with Julia SciML

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

С++ library for symbolic mathematical calculations

Collocation methods for trajectory optimization for second or higher order systems.

Fork of https://github.com/fricas/fricas

ReZolve is a symbolic computer algebra system that acts as a mathematical compiler written in Zig.

A simple library for creating complex neural networks