Solving Geometry Proofs

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..

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...

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

Copan Pro -- for Windows 98, NT, 2000, ME, XP, Vista, or 7 -- is a very functional and easy-to-use desktop/netbook geomatics engineering tool for computing and managing plane land surveying and mapping coordinates, and drafting survey maps and plans. It does numerous coordinate geometry...


Platforms: 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

Gain a Production Edge!quick3D Geometry is a 3D file format viewing and converting solution, and is an essential tool for anyone working with 3D graphics or 3D files. It supports viewing and geometry translation for an expansive range of 3D file formats. quick3D's real-time 3D viewer displays...


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

Protect the Earth by solving perplexing puzzles and solving tricky problems in Mechanicus, a fun and challenging Brain Teaser game. Work with conventional devices with earthly physics, as well as alien technology like teleporters and antigravity devices. Discover various solutions to each puzzle...


Platforms: Windows

Curvilinear: Easy Learning Plane Analytic Geometry An Intuitively-Easy-To-Use visual interactive software, oriented to overcome the abstraction that exists in the Plane Analytic Geometry (PAG), this is a tool that makes it easy to learn and master the PAG, the user is allowed to literally "see"...


Platforms: Windows

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

Civil Engineering design surveying calculation software - surveying calculations for curve geometry, topographic surveying, and unit conversions. Covers calculations for horizontal curves, vertical curves, spiral curves, lattitudes and departures, azimuths, northings and eastings, area...


Platforms: Windows