reduce-native: A native (well, not quite) code port of REDUCE CAS to Android
-
Updated
Mar 23, 2023
#
reduce-algebra
Here are 5 public repositories matching this topic...
Proof of concept
graphviz automata formal-semantics formal-methods constraint-satisfaction reduce-algebra reo-coordination-language
-
Updated
Jun 4, 2021 - Java
A macOS Homebrew tap for REDUCE, the portable general-purpose computer algebra system.
homebrew lisp cas reduce homebrew-tap computer-algebra-system csl psl homebrew-formulae reduce-algebra standard-lisp
-
Updated
Feb 26, 2024
Pure node server + JaxMaTe client
math socket-io mathjax symbolic-computation computer-algebra-system term-rewriting nodejs-server reduce-algebra pure-lang
-
Updated
Dec 9, 2022 - Red
REDUCE in browser (scratchpad, MathJax)
-
Updated
Aug 30, 2022 - TeX
Add this topic to your repo
To associate your repository with the reduce-algebra topic, visit your repo's landing page and select "manage topics."