Geometry Proofs

Geometry Master 3.0 is a Geometry Tutor that enhances Geometrical, Spatial and Drawing skills. The program comes with many excellent drawing tools. The Software runs on all Windows systems and has multiple Drawing Tools, Color Fill Options and Custom Shape Tools. It also can save the images in...

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

Circles Geometry has 9 graphic calculators to solve line and circle problems. All possible solutions are calculated in your coordinates and units. The picture, drawn from the calculated values, witnesses that the computations are correct. Use thie step-by-step help information to code your...


Platforms: Windows

ceometric provides efficient math libraries for object-oriented spatial geometry programming in a .NET language. Our libraries enable very intuitive and CAD-like working on geometric objects in space in C#, VB.NET or J#. All methods are highly efficient and suitable for large scale computations....


Platforms: Windows

Geometry Express is the newest addition to Praeter Software's award-winning line of educational mathematic calculation and teaching software for students and teachers. Designed to help students and teachers visualize and demonstrate various calculations for different geometrical shapes,...


Platforms: Mac

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

Geometry calculates geometric figures such as spheres, triangles, cones, trapezoids, circles and cylinders. Also, it has an application in engineering to calculate the flow and geometry in an open trapezoid channel. You can calculate the area, volume or perimeter of a: Square Trapezoid Sphere...


Platforms: Palm OS

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

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 file uses import_stl_fast to pull in model geometry and write an appropriate .facet file. If you require the ability to import binary stl files, import_stl_fast can be replaced with another importer from the file exchange.The current version does not have inputs for different materials.


Platforms: Matlab

This software is documented in the Journal of Structural Geology article:"Fold Geometry Toolbox - Automated determination of fold shape, shortening, and material properties"by Marta Adamuszek, Daniel Walter Schmid, and Marcin Dabrowski. FGT is a program to analyze fold geometry in 2D. This...


Platforms: Matlab

The first application we released, this is a simple playground environment for introducing students to the notion of formality and rigor in mathematical proofs. It comes with HTML documentation that explains the progression of lessons through three increasingly mathematical games.


Platforms: Mac

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

Interactive geometry software for performing interactive calculations, visualization and modeling in math, science and engineering. The construction concept and the interactive visualization are the basis of the program. Designed to be easy-to-use, it provides a powerful mathematical platform...


Platforms: Windows, Windows 7, Windows Server