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 10 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 for mobile devices

Please note that the apps listed below are not supported by the REDUCE developers, so any queries should be directed to the app developers. The links below are provided purely for information and their presence here does not constitute any recommendation by the REDUCE developers. These apps may not use the latest version of REDUCE and you use them entirely at you own risk!

  • iCAS is a commercial version of REDUCE packaged for the Apple iPhone and iPad.
  • Symbolic is a CLI version of REDUCE packaged for Android, which is available for free from Google Play. It was developed from Android REDUCE (see below) and was last updated in 2013. Beware that users have reported 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.

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. These include:

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

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;
  • REDUCE IDE is an Integrated Development Environment for the GNU Emacs editor.

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: