Solving Geometry Proofs

sudoku-perl is a Sudoku player that offers a board, assistance, and solving using a (text based) ANSI screen. sudoku-perl offers a simple alphanumeric board display that supports the 9x9 matrix. It does not generate a Sudoku puzzle; for this, the user must look on the Internet, newspapers,...

GNUDoku is a free Sudoku game program for creating and solving Su Doku puzzles. GNUDokus only requirement is the gtkmm library, specifically gtkmm2.4 is required. Version 2.6 is preferred, see below for instructions on using version 2.4. Installation: To build, use "make". To install, use...

ASCEND is a flexible modelling environment for solving hard engineering and science problems. It offers: - an object-oriented model description language for describing your system, - an interactive user interface that allows you to solve your model and explore the effect of changing the model...


Platforms: *nix

Clabbers is an anagram tool aimed towards solving Scrabble racks. Clabbers project consists of a couple of Perl scripts, a word list, and an SQL schema. It was designed for use with PostgreSQL, though it could be ported to other database backends..


Platforms: *nix

powerPlant is a geometry generator and editor. powerPlant is specially suitable to generate terrain and plant models. The geometry generation is based on custom implementations of L-Systems, Turtle-Interpretation and the Diamond-and-Square algorithm. powerPlant is composed of a Java application...


Platforms: *nix

BRL-CAD project is a powerful Constructive Solid Geometry (CSG) solid modeling system. BRL-CAD includes an interactive geometry editor, ray tracing support for rendering and geometric analysis, network distributed framebuffer support, image-processing and signal-processing tools. The entire...


Platforms: *nix

Tablix is a powerful free software kernel for solving general timetabling problems. Tablix project uses a coarse-grained parallel genetic algorithm in combination with other techniques to construct sensible timetables from XML formatted problem descriptions. Tablix can run on a single host as...


Platforms: *nix

GeoGebra project is a dynamic mathematics software that joins geometry, algebra, and calculus. Two views are characteristic of GeoGebra: an expression in the algebra window corresponds to an object in the geometry window and vice versa. GeoGebra - Dynamic Mathematics for Schools


Platforms: *nix

CopanMobile for Pocket PC is a very functional and easy-to-use geomatics engineering tool for computing and managing plane surveying and mapping coordinates. It does numerous coordinate geometry (COGO) calculations, processes and adjusts raw field survey data, computes and adjusts map...


Platforms: Pocket PC, Windows

Easy to create mind maps (graphical representations of thought processes) for brainstorming, problem solving, rational analysis, and decision marking. Easy to use drawing tools, many pre-drawn flowchart templates and more than 600 flowchart symbols and flowchart samples, drawing couldn't be...


Platforms: Windows

GEUP 3D is an interactive solid geometry software for math calculation and visualization. It allows to create dynamic and general constructions/applications visually by defining math elements. GEUP 3D allows the modification of the construction visually (directly in screen) and it calculates each...


Platforms: Windows

This is an adventure/puzzle-solving game with a science fiction slant and some action thrown in for effect. You are Monobe, a man who knows nothing of his past or that of his people. In an epic journey of discovery, exploration, and self-realization, you must make your way through six sectors of...


Platforms: Windows

JavaView is a simple, easy to use application designed to offer you a 3D geometry viewer and a mathematical visualization software. The open API of JavaView enables a smooth integration as 3D viewer and advanced visualization toolkit into commercial software. Note: In order to use this...


Platforms: Windows

xyz2eps is a simple, accessible and handy utility designed in the Python programming language that can print xyz-geometry to the eps file format. This is done through the Command Line Interface. Now you can print the eps files you want in no time at all.


Platforms: Windows

rattleCAD is an easy to use graphical application that will help you design a bicycles geometry and derive drawings from configuration.


Platforms: Windows

SAGGLibEngine was designed based on the Anti-Grain Geometry library and aims to provide a simple interface for developers, such as pen, font, brush, DrawText, Ellipse,etc. The library is developped based on common language extension (CLE). Therefore it can be called from c/c++, java, php,...


Platforms: Windows, Windows Vista, 7, 7x64

Free math lessons and math homework help from basic math to algebra, geometry. The classic puzzle, a favorite of programmers and Buddhist monks. Puzzle index for geometry puzzles, logic puzzles, math puzzles, weight puzzles, moves puzzles and puzzles. You can sort the puzzle list by clicking The...


Platforms: All

ALL-IN-ONE MULTI-PHYSICS FINITE ELEMENT MODELING Ever wish there was a flexible system for solving all the partial differential equation problems that come up in science and engineering, so you didn't have to buy and learn a new software tool for each problem? Well, now your wish has come...


Platforms: Windows, Mac, Linux

GeoGebra is free and multi-platform dynamic mathematics software for all levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy-to-use package. Features includes Graphics, algebra and tables are connected and fully dynamic, Easy-to-use interface,...


Platforms: Mac

GeoGebra is free and multi-platform dynamic mathematics software for all levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy-to-use package. Features includes Graphics, algebra and tables are connected and fully dynamic, Easy-to-use interface,...


Platforms: Windows