Test out REDUCE 3.8!

There are online demo servers available for special packages by

Thomas Wolf from Brock University in St. Catharines, Canada, namely ConLaw and Crack.

For a general impression on REDUCE 3.8 you may use our test server.
With SSH, e.g from www.ssh.com, or putty, you can get connected to a REDUCE test machine "marlene.zib.de"

ssh -X marlene.zib.de -l reducet

You can log in as

with password R (one character) and automatically a REDUCE 3.8 session will be started. The DISPLAY variable is set too, such that plot should work, if you log in from a X11 system. All packages of REDUCE 3.8 are available. If you are not familiar with the usage of REDUCE or of the packages , please have a look in the overview or in the examples.

A HTML Online Help system maintained at the University of Cologne is available, too.

  • As of today, the machine is slower than a 'good' PC by a factor of ten.
  • The Graphical User interface is NOT available on this machine. Sorry.
  • Due to the limited swap space the number of simultaneous sessions is limited to 3.
  • The software is binary only and the machine is cumbersome to say at least, therefore there is not much value in copying it . :-)
  • As stated before, the machine which is dedicated for REDUCE as test site is weak and crashes from time to time. This is (normally) not a REDUCE fault.

    REDUCE Homepage

    Winfried Neun, 22-Sep-2007