Team and Contact

Contact

reduce-algebra/bugs
the Reduce bug tracker at SourceForge (external link)
bugs@redlog.eu
for bugs and problems, if the bug tracker above is not an option
developers@redlog.eu
for email to all Redlog developers
www@redlog.eu
for emails about this website

Senior Developers

 
Thomas Sturm
University of Lorraine, CNRS, and Inria, France
MPI Informatics and Saarland University, Germany
sturm@redlog.eu

 
Andreas Dolzmann
Schloss Dagstuhl—Leibniz Center for Informatics, Germany
dolzmann@redlog.eu

Developers

Marek Košta
Slovak Academy of Sciences
mkosta@redlog.eu

 

Further Contributors to the Project

M. Achatz, T. Becker, K. Burhenne, C. Hoffelner, M. Jaroschek, M. Kappert, H. Kredel, A. Lasaruk, H. Melenk, W. Neun, E. Nolden, A. Norman, R. Schöpf, A. Seidl, C. Stra├čer, V. Weispfenning, C. Zengler, and many student projects