-
Redlog
Computing with Logic
Redlog is integrated with the interactive computer algebra system
REDUCE. It supplements the open-source computer algebra system REDUCE
with more than 100 functions on f...
-
Redlog Documentation
Redlog Documentation
reduce in the command line. reduce should start up.
Type the four commands
load redlog; rlset ofsf; phi :=
ex(x,a*x^2+b*x+1=0); rlqe phi; and hit return. You will get a
conditio...
-
redlog.eu
Welcome to the Reduce Wiki
the wiki for the SourceForge project reduce-algebra
23 articles in English
The Open Source version of the REDUCE algebra system was registered on SourceForge.net on Dec 18, ...
-
Documentation
Documentation
Calling Sequence
Description
The notion of polynomial exponential problems refers to an extension of the
theory of real closed fields. Polynomial exponential sentences are
c...
-
Documentation
Documentation
Calling Sequence
Description
Eliminate quantifiers from \(\varphi\) using cylindrical algebraic
decomposition. The result is a quantifier-free formula \(\varphi′\) that
is equival...
-
Redlog Quick Start
Redlog Quick Start
Quick Start by Example
Here is a screenshot of an interactive Reduce session, which helps you to
quickly get started with Redlog. Find detailed explanations below.
About the...