Deductive Reasoning In Mathematics

When this project is complete, a user may enter in an deductive argument in standard form, and out pops a fresh, baked validity judgement.

Wumpus! is a classic strategy game where you must find Wumpus using your deductive reasoning powers. You can't see Wumpus, and if you end up wandering into him, you'll be startled and he'll have your for breakfast.

MathGenius is a graphical tool intended to simplify your work in mathematics. By now it includes a graphical function plotter, a mechanism (still in development) to derive functions, and an equation solver. An extension mechanism will be developed.


Platforms: Windows, Mac, Linux

The Math Homework Maker, is a FREE software which can solve all your homework. If you are a pupil or a student, needing help with your math homework or just want to check them, Then you must have this software. The Math Homework Maker covers everything you need, from elementary school up...


Platforms: Windows

Thinknowlogy is grammar-based software, designed to utilize the logic contained within grammar, in order to create intelligence through natural language, which is demonstrated by: * Programming in natural language; * Reasoning in natural language: drawing conclusions, making assumptions (with...


Platforms: Windows, Mac, Linux

Memorizing multiplication tables is an essential part of elementary education. A student who has mastered multiplication gains a solid foundation for achievement in mathematics throughout high school and beyond. Math Games Multiplication software is designed to help K-3 students in mastering...


Platforms: Windows

KnowledgeMiner (yX) for Excel Free – Entry-Level Knowledge and Data Mining for Everybody. Simple, objective, fast. Develop reliable predictive models in only two steps. You know about the value of your data? Find unknown relevant relationships in your scientific, business or personal data...


Platforms: Mac

A Sudoku Solver in C is a console-based Linux program, written in C language, that solves Su Doku puzzles using deductive logic. It will only resort to trial-and-error and backtracking approaches upon exhausting its deductive moves. Puzzles must be of the standard 9x9 variety using the (ASCII)...


Platforms: *nix

SpeQ is a small, extensive mathematics program with a simple, intuitive interface. All calculations are entered in a sheet. In there you can freely add, edit and execute all calculations. You can define variables and functions, and plot graphs of your functions. You can save your calculations for...


Platforms: Windows

Mathematics Tools is a tools that help people in solving Mathematical problems such as: - Solving quadratic equation and cubic equation - Solving System of equations (2 or 3 unknowns) - Working in the Base Number System - Practice: Calculate the value of PI using the Probability - Explore the...


Platforms: Windows

Programs from the third edition of 'Advanced Mathematics and Mechanics Applications Using MATLAB', by Howard Wilson, Louis Turcotte and David Halpern, CRC Press, 2003, ISBN 1-58488-262-X. Contains about 12,000 lines of MATLAB programs and utilities emphasizing problems in engineering, applied...


Platforms: Matlab

Keep in reserve is a powerful and reliable backup tool with a built-in scheduler. The program feature is a task manager, which allows you automate your backups by scheduling them at given dates and times. The interface is intuitive and vivid, that makes configuration extremely easy. Only one...


Platforms: Windows

This program quickly and conveniently will allow You to work with a collection of Your VB projects. With the help of the given program you easily can organize access to most frequently projects used by You. And also, it is possible quickly to see properties of any project not opening it in the...


Platforms: Windows

AIOCP (All In One Control Panel) is a professional platform-independent all-in-one solution to completely manage a website through a userfriendly web-interface. Based on PHP/MySQL, AIOCP is an Internet/Intranet software platform for: Website Management System (WMS), Content Management System...


Platforms: Windows, *nix

A computer together with educational software gives the chance to raise the efficiency of learning and makes the deductive process more attractive. 2+2 is a program aimed to help children's education in the area of basic mathematical skills. Thanks to the program, the child learns how to count,...


Platforms: Windows

This plug-in creates a wide range of well known craquelure (krăkloor?) effects. The filter is useful in designing various abstract patterns, decorative surfaces and construction materials.Two independent craquelure layers can be controlled to achieve an amazing variety of texture effects, from...


Platforms: Windows

This is a free sample add-in (ready to install and use) that adds a number of useful features to Microsoft Excel, including advanced options for Excel styles, merging cells and special paste options. The add-in is based on the innovative Add-in Express technology and gives you an example of...


Platforms: Windows

Exceptions in C implements fully-functional nested exceptions with these constructs: try except on throw Also, it allows to define various datatypes for exception object (default is int, can be anything from char * to struct foo *). Compiling and running Precodey straight forward....


Platforms: *nix

Rhino in Spring is a project that intends to integrate Mozilla Rhino JavaScript interpreter, the interpreter for the best (in our opinion) dynamic language on the Java platform with Spring Framework, the also best (again, in our opinion) enterprise framework on the Java platform. Rhino in...


Platforms: *nix

Cookie Button in the status bar is a Firefox button for easy access to cookie permissions in the status bar. For those who have been asking for cookie button in the status bar. Some features are optional. See Tools -> Extensions/Addons, select Cookie button in the status bar, press...


Platforms: *nix