Acknowledgements
Research areas for e-proof environment:
- Research Error Analysis for Mathematical Proofs: Jun-Prof. Dr. Kathrin Winter (University of Münster) - Head of Project
- Fuzzy Logic Representation of Error Analysis: Dr. Melanie Platz
Special Thanks for Support and Conrtribution to:
- Dr. Melanie Platz (University of Koblenz-Landau - Fuzzy-Logic Application for Decision Support and Tutoring Modeling)
- Dipl.-UWi. Jörg Rapp (University of Koblenz-Landau - spatial Fuzzy Logic for Decision Support for Risks)
- Dipl.-Ing Matthias Größler (University of Koblenz-Landau - Spatial Fuzzy-Logic and Resource Optimization)
- Prof. Dr. David Lippman (for OpenSource IMathAS)
- Prof. Dr. Peter Jipsen for the ASCII MATH Library that was used in iMathAS and iMathAS-Creator for e-Proofs
- Dipl. math. Ulrike Dreyer (University Koblenz Landau, Mathematics - Support, Advice, Improvement)
- Dr. Ingo Dahn (IWM University Koblenz-Landau)
- Dr. Peter Ferdinand (IWM University Koblenz-Landau)
- Gergeley Kapolnasi (IWM University Koblenz-Landau)
- Guido Vollbach (IWM University Koblenz-Landau, Transfer in e-Assessment Environment)
- Dr. med. Ruth Niehaus (Advice: Application on Medical System Analysis, Evidence Based Medicine)
- Dr. Nora Heyne (Psychological Decision Making)
Open Community Approach
The web site is following the Open Community Approach for Improving Basic Skills for Mathematical Proofs & Skills of Fuzzy-Logical Argumentation for non-math content.
regards,
Engelbert Niehaus (University of Koblenz-Landau)
Engelbert Niehaus (University of Koblenz-Landau)