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

⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

Symbolic parser for Julia language term rewriting using REDUCE algebra

Computational algebraic number theory

Julia wrappers of SymEngine

Julia bindings for various mathematical libraries (including flint2)

Generic abstract algebra functionality in pure Julia (no C dependencies)

Computer algebra tools for symbolic manipulations in quantum mechanics and quantum information

Field-algebra based on Group / Ring symbolic vector module extension

Mathematically sound structures and fast algorithms for things around representation theory, especially algebraic Lie theory and accompanying combinatorics.

Classical logic truth table magma algebra

Field algebra constant parametric type