Spherical Geometry Theorems

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

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

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

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


Platforms: *nix

HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access to external programs such as SAT and...


Platforms: *nix

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

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

Cinderella... Experience Geometry on your desktop and on the web.Easily create startling geometric constructions! Starting from simple triangle relations, continuing with trigonometric theorems up to fractals and transformation groups Cinderella lets you create and manipulate visualizations in an...


Platforms: Mac

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

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

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

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

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

Cartesian coordinates, spherical coordinates und cylindrical coordinates can be transformed into each other. (5 languages, 2 and 3 dimensions)


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

I have always believed that out of an infinite number of possible, playable chess variants that could be invented, a single, best, perfect game existed in the imaginary-yet-real, theoretical realm of perfection, waiting to be discovered. Of course, it would never permit itself to be discovered...


Platforms: Windows