C

computer-algebra-system

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.

Countable magma and semigroup for abstract functional analysis

⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra

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

reduce.jl: Symbolic parser generator for Julia language expressions using REDUCE algebra term re-writer, automatically mirrored from https://github.com/chakravala/Reduce.jl

Symbolic parser for Julia language term rewriting using REDUCE algebra

--The alphabet is not language but a circuit of cognition.

Computer Algebra System with custom bytecode interpreted language. Online Repl at https://openbirch.deprived.dev/console

A computational algebra library which provides tools to apply correspondence theory to arbitrary classes of heterogeneous algebras.

reducealgebra.jl: Meta-package for Reduce.jl and External Packages, automatically mirrored from https://github.com/JuliaReducePkg/ReduceAlgebra.jl

run-reduce: A JavaFX GUI to run the REDUCE Computer Algebra System, automatically mirrored from https://github.com/fjwright/Run-REDUCE

Classical logic truth table magma algebra

Field algebra constant parametric type

reduce-historical: historical snapshots of the portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/historical/. Please visit the REDUCE Homepage, https://reduce-algebra.sourceforge.io/, for additional details.

grg: Computer Algebra System for Differential Geometry, Gravitation and Field Theory, automatically mirrored from https://reduce-algebra.sourceforge.io/grg32/grg32.php

olli-scripts: Dieter (Olli) Egger's REDUCE/Symbolic scripts, used as demonstrations for Symbolic (as shown in the screenshots on Google Play), and relating to Dieter's research in curved space-time, with scientific background papers, automatically mirrored from https://reduce-algebra.sourceforge.io/tutorials/EggerScripts.en.php

icas-bundled: REDUCE scripts that are bundled with iCAS, a port of REDUCE to iOS, automatically mirrored from http://alsoftiphone.com/iCAS/bundledFiles/