REDUCE


Related Projects

REDUCE user interfaces

  • Run-REDUCE is an open-source graphical user interface for running any command-line version of REDUCE. Installers are available for Microsoft Windows and Gnu/Linux distributions based on Debian (e.g. Ubuntu) or Red Hat (e.g. Fedora). A Java JAR file is also available that should run on any platform that supports JavaFX.
  • REDUCE IDE is an open-source Integrated Development Environment for the GNU Emacs editor, which supports editing REDUCE source code and running any command-line version of REDUCE.

REDUCE for mobile devices

Web REDUCE should work on most mobile devices.

As of July 2024 there appear to be no REDUCE mobile apps available from the Google or Apple app stores, but there are other options. Please note that the apps listed below are not supported at all. The links below are provided purely for information and their presence here does not constitute any recommendation. These apps are all fairly old and you use them entirely at you own risk!

  • Symbolic is a CLI version of REDUCE packaged for Android. It was developed from Android REDUCE (see below) and was last updated in 2013. Beware that users have reported that this app can be a little fragile and that the read and save facilities do not work, in which case a work-around is to copy and paste from a separate file editor. Symbolic is available only from the author's web site as both a pre-build package and as source code. However, it may not install on recent versions of Android. Users have reported that, with a little effort, it can be persuaded to install on Android 12 but that it will not install on Android 13.

The following Android apps are available only as source code, not as installable apps.

  • ReduceNative is code that provides a GUI written in Kotlin for running REDUCE on Android that was kindly released by the authors on 25 November 2019. It includes a prebuilt binary version of REDUCE itself but not the code to build REDUCE for Android.
  • Android REDUCE is a GUI version of REDUCE packaged for Android that provides only non-programmable calculator-style input with limited functionality developed in 2011–12. It was the first Android version of REDUCE.

External projects using REDUCE

There are a number of independent projects that use REDUCE in various ways. Please note that the REDUCE developers are not involved with these projects and so probably cannot help users with them.

  • ALLTYPES is an algebraic language and type system;
  • MTT is a set of tools for modeling dynamic physical systems using the bond-graph methodology;
  • Reduce.jl is an interface for calling REDUCE from the Julia language for symbolic manipulation;
  • Pure is a programming language, which has bindings for REDUCE, providing a very interesting environment for doing computer-powered science;
  • DAISY (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.

Internal projects using REDUCE

The following projects were distributed independently but are now available from the REDUCE SourceForge project:

  • Redlog – Computing with Logic – is now an integral part of REDUCE;
  • Ortocartan is a set of programs for algebraic calculations in relativity, implemented in the Lisp underlying REDUCE.

Alternative Access to REDUCE Resources

If you prefer to use a version control system other than Subversion, the REDUCE repository is mirrored at GitHub, where the README lists several other mirrors, and the GitHub REDUCE organization page provides alternative access to a number of closely related projects, including several of those listed above.

Other computer algebra systems

Wikipedia provides a fairly comprehensive list of computer algebra systems, but it does not include the following: