Search Results for "educational linux"

QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension. QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать.

MathWars (mathwars-risk) is an educational game based on R.I.S.K. You must defend and conquer new territories to defeat your oponents. In this case, though, you must do it by solving quickly simple math problems involving addition, subtraction, multiplication and division. NOTE: This project WILL NOT receive updates for a long time; I need time and the project should be entirely redesigned. Fell free to contact me for further information and/or new ideas for the project.

The Shape Visualizer is intented to be an exploratory/educational tool making it quick and easy to see how various mathematical methods perform in analysing and selecting the various patterns present on an image. The main website is built as a wiki gathering info and examples on the various implemented algorithms. The combination of the application and its wiki intend to constitute a nice little pedagogic toolkit for multiscale analysis. Feel free to contribute code or wiki content !

This is my first attempt at building a reusable framework for 3D applications (not an engine!), primarily for educational purpose and also because none of the already existing tools did satisfy me. No longer maintained.

Clausula is an Automatic Clause Deductor licensed under the GNU GPL. From a set of clauses, this software can determinate whether or not the set is satisfacible. Clausula has been designed for educational purposes, specially for Logic degree curses.

ENIAC: Electrical Network Interactive Analysis Console. Educational software originally made for the study and simulation of electrical LTI circuits, but which supply also a lot of mathematics computations, like complex, polynomial and matrix operations.

This intuitive (and fully configurable) tool will help users to generate and check truth tables of many variables. You'll be able to work with Clasic logic and Lukasiewicz, Kleene & Bochvar and Gödel multivalued logics.

MAED is a simple but powerfull math program with educational character. It has a Lisp like programming language, a nice GUI. It can work in client-server mode. A main goal is to make a program which can solve math problems using both numerical and symb

GPLconx is an educational visualization tool that allows exploration of lines and conic sections in three models of 2-D hyperbolic geometry.