Search Results for "learning"

Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.

Sphaerica is an interactive spherical geometry computer software. You can create complex geometric constructions in spherical geometry with this software. It supports orthogonal, stereographic and gnomonic projections to display your construction. It also has a built in scripting language for automated constructions.

IMathAS is a web-based math assessment and homework system. It is a course/learning management system (CMS/LMS/VLE) and testing system featuring algorithmic questions, similar to WebWork, Webassign, and publisher systems like iLrn, MathXL, etc.

Data Mining Platform is a platform for data mining and analysis. It contains many of the new and sophisticated methods such as kernel-based classification, two-way clustering, bayesian networks, pattern recognition for time series analysis and many other