MYWOT
Child safety
Confidence
Trustworthiness
Confidence
MALICIOUS CONTENT INDICATORS
Redlog.eu most likely does not offer any malicious content.
Secure connection support
HTTPS
Redlog.eu provides SSL-encrypted connection.
ADULT CONTENT INDICATORS
Redlog.eu most likely does not offer any adult content.
Popular pages
-
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...