Coordinate Geometry Proofs

GISEYE Coordinate Converter software is designed for conversion of coordinates from one map projection into another. List of coordinates and map projection parameters are specified by the user.This software product works under Windows and has an easy-to-use GUI. The application enables to do file...

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

A collection of utilities for translating GPS coordinates to related coordinate systems (Earth Centere Fixed, Topocentric, UTM) with auxiliary routins for horizon computation and ray ellipsoid intercepts.


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 package has solvers for constrained and unconstrained L1 minimization, which is useful for compressed sensing. u = COORDL1BREG(A,f,lambda) solves the minimization problem min_u ||u||_1 subject to A*u = fwhere A is an MxN matrix and f is a vector of length M. Input lambda is a positive...


Platforms: Matlab

XYZ2YBC convert form XYZ coordinate to YBC format (LRA)XYZ2YBC(X,Y,Z) convert the X,Y,Z values to Y,B,C values. assuming the bend radius is zero. the size of X,Y and Z must be the same.XYZ2YBC(X,Y,Z,R) where R is the bend radius. convert the X,Y,Z values toY,B,C values, taking in to account the...


Platforms: Matlab

The function calculates the Global to Local coordinate transformation matrix for a beam in space. [x0,y0,z0] and [x1,y1,z1] are the coordinates of the beam ends. alpha is the twist over the axis perpendicular to the beam cross sectional area, usually set to 0.


Platforms: Matlab

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

Use this function to extract one geographical coordinate out of an input string. The function is extremely flexible, thus the coordinate may be located anywhere in the string and may have one of many formats.Examples:txt2coord(' 100dlT- 7'' 30" W')txt2coord(' 100dlT- 7dlDL 30dlDLdlDL...


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

MATLAB does not have any built-in functionality for centering the coordinate axes around the origin. This tool is a first fix for solving this. An example script is included showing how to use the function.Tested on MATLAB 2007b. Works fine, as long as the figure is not resized after the function...


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