Editing Reduce (computer algebra system) (section)

== Other software that uses REDUCE ==
The following projects use REDUCE:
* ALLTYPES<ref>{{Cite web |title=ALLTYPES - An ALgebraic Language and TYPE System |url=http://www.alltypes.de/ |url-status=dead |archive-url=https://web.archive.org/web/20240811161343/http://www.alltypes.de/ |archive-date=2024-08-11}}</ref> (ALgebraic Language and TYPe System) is a computer algebra type system with particular emphasis on differential algebra and differential equations;
* DAISY<ref>{{Cite web |title=Differential Algebra for Identifiability of SYstems |url=https://daisy.dei.unipd.it/ |access-date=2025-01-19 |website=DAISY}}</ref> (Differential Algebra for Identifiability of SYstems) is a software tool to perform structural identifiability analysis for linear and nonlinear dynamic models described by polynomial or rational ODE equations;
* MTT<ref>{{Cite web |title=Model Transformation Tools |url=https://sourceforge.net/projects/mtt/ |access-date=2025-01-19 |website=SourceForge|date=4 September 2014 }}</ref> (Model Transformation Tools) is a set of tools for modeling dynamic physical systems using the bond-graph methodology;
* Reduce.jl<ref>{{Cite web |last=Reed |first=Michael |date=May 5, 2017 |title=Reduce.jl |url=https://github.com/chakravala/Reduce.jl |access-date=2025-01-25 |website=GitHub}}</ref> is a symbolic parser for [[Julia (programming language)|Julia]] language term rewriting using REDUCE algebra;
* Redlog<ref>{{Cite web |title=Computing with Logic |url=https://www.redlog.eu/ |access-date=2025-01-19 |website=Redlog}}</ref> (REDUCE Logic System) provides more than 100 functions on first-order formulas and was originally independent but is now available as a REDUCE package;
* [[Pure (programming language)|Pure]] is a programming language, which has bindings for REDUCE, providing a very interesting environment for doing computer-powered science.