Solving Geometry Proofs

Interactive software for creating and solving problems in 3D geometry. Draw and measure segments and angles, measure areas and volumes, transform, cut and join figures. Can be used and distributed free of charge.

Custom Geometry is an extension which resizes and positions the window according to your settings. Custom Geometry adds a button to the Firefox status bar that will resize the Firefox window to your specifications. Many other extensions will resize the window, but only to preset dimensions,...

Geometry Description Markup Language (GDML) workpackage is primarly ment to provide geometry data exchange format for the LCG applications. The workpackage consists of the GDML Schema part, which is a fully self-consistent definition of the GDML syntax and the GDML I/O part which provides means...


Platforms: *nix

Geometry Solver 3D is an accessible and handy application that will resolve analytic geometry problems with ease. The program will also provide tools for calculations in 3D as well as graphic OpenGL demonstrations. Now you can use this handy software to solve math problems.


Platforms: Windows, Windows Vista, 7

Polar Parallel Coordinate Geometry (PPCG) plots standardardised time series data. Colour is used to demonstrate data through time; black being the oldest to white being the newest. 2 - 3 Std deviation warning/action limits are also highlighted by yellow/red respectively.


Platforms: Matlab

Math::Geometry is a Perl module that implements classic geometry methods. It should be considered alpha software and any feedback at all is greatly appreciated. The following methods are available: vector_product. Also known as the cross product, given two vectors in Geometry space, the...


Platforms: *nix

JGEX, which is actually short for Java Geometry Expert is an ongoing developing system. JGEX is a useful system that is able to combine an approach for visually dynamic presentation of proofs (VDDP), dynamic geometry software (DGS) and automated geometry theorem prover (GTP) .


Platforms: Windows

This software aims help students of analytic geometry courses by visualizating several key concepts.


Platforms: Windows, Mac, Linux

The Protein Geometry Database hosts the development code for a flexible database for searching protein geometry, as well as a library for accessing this data for protein modeling & refinement programs.


Platforms: Windows, Mac, Linux

The SuDoku Solving Assistent is a Java application meant as replacement of pencil and paper to solve SuDoku puzzles. It can automatically remove identified numbers from boxes in same block, row or column. A MIDlet for mobile phones is also available


Platforms: Windows, Mac, Linux

A common way to create new compound widgets is to inherit Frame, create everything you need inside it and pack this base Frame on your application.This script is an alternative to this method, that sets geometry methods and options from a wiget to another.


Platforms: Windows, Mac, *nix, Python, BSD Solaris

This is a Java program that calculates commonly used parameters related to airplane wing geometry such as area, taper ratio, aspect ratio, sweep, etc. As an aerospace engineer involved in airplane design, I find that I'm calculating these parameters all the time, so I wrote this program to help...


Platforms: Mac

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.


Platforms: *nix

SOLVCON is a software framework for solving hyperbolic partial differential equations (PDEs). SOLVCON uses the space-time Conservation Element and Solution Element (CESE) method for time-accurate solutions. The goal of SOLVCON is to enable high-fidelity solutions for design iterations. SOLVCON is...


Platforms: *nix

Copan for Windows desktop/netbook is a very functional and easy-to-use geomatics engineering tool for computing and managing plane land surveying and mapping coordinates. It does numerous coordinate geometry (COGO) calculations, processes and adjusts raw field survey data, computes and...


Platforms: Windows

This bilingual problem-solving mathematics software allows you to work through 41087 hyperbolic problems with guided solutions, and encourages to learn through in-depth understanding of each solution step and repetition rather than through rote memorization. The software includes all the...


Platforms: Windows

Python Stencil Environment also know as PySE is a new python library for solving Partial Differential Equations with the Finite Difference Method (FDM). This is still a quite new library, and the current release must be considered as beta software. It is quite rough around the edges,...


Platforms: *nix

Tk::SplitFrame is a geometry manager for scaling two subwidgets. SYNOPSIS use Tk; use Tk::SplitFrame; my $MainWindow = MainWindow->new(); my $SplitFrame = $MainWindow->SplitFrame ( -orientation => vertical, -trimcolor => #c7c7c7, -background => white, -sliderposition => 60,...


Platforms: *nix

CSudoku is a command line Sudoku solving program. CSudoku project solves the popular 9x9 versions of Sudoku using Donald Knuths Dancing Links algorithm. It was created as a fun exercise in computer programming and not necessarily to be a program useful to anyone in particular. There are many...


Platforms: *nix

Tk::Gpack module contains abbreviated geometry arguments for pack, grid and place geometry managers. This module exports four functions for each of the different geometry mananers into the Tk namespace. These functions provide a variety of styles for controlling the indevidual geometry of one,...


Platforms: *nix