The simpliZia-program implements the simplex-algorithm and is designed to help students of Operations Research to understand and learn the algorithm. This is a german project, source and program are actually written in german.
Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform.
Geographic restrictions, eligibility, and terms apply.
JEquation provides an intuitive and fast way to input mathematical expressions into latex documents by using prestructured neural network based handwriting recognition.
GradeSignifier provides statistical significance testing for item response data.
In a few clicks you can: convert raw test data into scores, determine if the scores of two groups differ significantly, make cumulative probability charts, and more.
Edit equations right on the screen with your mouse, and never make a mistake. Guide the program through any complex algebraic manipulation, and let it handle the tedious details. Many other features!
BabyTALK is to add another brick in the wall of natural languages learning. The baby needs to structure a corpus of texts when his tutor points and talks about a particular part of the corpus. The baby is also to describe any selected part of the corpus.
SurveyForge is a survey definition and execution tool oriented to statisticians running on JEE platform with special emphasis on data entry made easy, use of existing standards (Triple-S, Metanet, DDI) and reuse of standard (or not) classifications
Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.
A java tool used for row reducing matrices of varying sizes to row echelon/row reduced echelon forms. It is intended to support basic row reduction over different fields, then expand to support other linear algebra operations and html output of working.
The K.U.Leuven JCHR System is an integration of Constraint Handling Rules (CHR) and Java designed with three aims in mind: user-friendliness, flexibility and efficiency.
http://www.cs.kuleuven.be/~petervw/JCHR/
A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.