Coordinate Geometry Proofs

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

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

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

Land surveyors and civil engineers: o Calculate surveys and manage points, effortlessly o Run Copan on Windows 2K/XP/Vista/7 o Use it forever and pay nothing o Choose quadrant bearings or N/S azimuths, and gons or DMS o Create point files quickly and easily o Edit... Platforms: Windows

Copan is a very efficient and easy-to-use geomatics engineering tool for computing and managing plane survey coordinates. It does numerous coordinate geometry (COGO) calculations, processes and adjusts raw field survey data, computes and adjusts map traverse data, performs map checks, calculates... Platforms: Windows

Copan 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 traverse data,...

Copan for Mobile 6 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 traverse data,... Platforms: Windows

CopanMobile for Palm OS 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 traverse... Platforms: Palm,OS

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,... Platforms: *nix

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

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

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

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