Geometry Proofs

Spinsim GSL is a software that calculates magnetization of multi-layer nanostructures with different applied current and external field. It takes a variety of parameters specifying its physical properties and geometry. Platforms: *nix

JSXGraph is a cross-browser library for interactive geometry, charting, function plotting and data visualization in a web browser. It is implemented completely in javascript, does not rely on any other library, and uses SVG and VML. JSXGraph is easy to embed and has a small footprint: less than... Platforms: *nix

This tool provides an OpenStreetMap data parser to turn them into a nodes-edges adapted for routing applications. == INPUT FORMAT == The input is an OpenStreetMap XML file. The file can be read: * from a plain .osm file * from a bzip2 file * from a gzip file == OUTPUT FORMAT == The output can... Platforms: *nix

The Xchar module offers a set of programs for keyboard (mouseless) management (raising, focussing, moving, resizing) of X windows. It includes a taskbar. It is useful if you use so many windows that they can't all be seen at once. Xchar is not a 'window manager' like fvwm or metacity. In fact it... Platforms: *nix

GeoFormAlchemy is a FormAlchemy extension that makes it possible to generate forms for model classes that use the geometry types of GeoAlchemy. Installation Installing using easy_install: easy_install geoformalchemy Manual installation for development: Download the source code as archive or... Platforms: *nix

This is Gummworld2. It's designed as a light pygame framework for a scrolling game, where the map is larger than the display. It emphasizes simplicity, freedom, and performance. Gummworld2 offers more robust physics than its predecessor, Gummworld. Where Gummworld relied solely upon pygame's... Platforms: *nix

Mondo it backs up your GNU/Linux server or workstation to tape, CD-R, CD-RW, NFS or hard disk partition. In the event of catastrophic data loss, you will be able to restore all of your data [or as much as you want], from bare metal if necessary. Mondo is in use by Lockheed-Martin, Nortel... Platforms: *nix

Euclide is a dynamic geometry software, which tries to be as flexible as possible. You start by placing some free points, then you create objects using these points: lines, circles, line segment, circle arcs... each new figure can in turn be used to compose new shapes. By moving the points placed... Platforms: *nix

SIAMS S3D is a three-dimensional virtual constructor, which main task is to compose structures. SIAMS S3D composes structures from 3D geometrical objects: dots, lines, planes, spheres, tetrahedrons, polyhedrons and their mixtures. SIAMS S3D was designed first as a scientific oriented...

AD Geometrical calculator makes calculation of mass and volume of object with a complex configuration and standard structures. Features: 1) Choice of a material and density 2) Calculation of mass and volume of object consists of several diverse parts 3) Calculation of mass and volume of object... Platforms: Windows

SlimBrowser is a fast and secure internet browser for Windows fully loaded with powerful features. It starts up quickly and opens web pages right in front of you with minimum delay. It is designed to let you browse the Internet carefree by guarding your personal information and protecting your... Platforms: Windows

Makes polyhedron models to view and analyze. Exports to VRML, POV-Ray and LiveGraphics3D. Includes standard polyhedra and transformations to construct new ones. Platforms: Windows, Mac, *nix, MS-DOS

This multilingual math software is meant for math teachers and students of all grades. The program offers fully explained step-by-step solutions to 1224 math problems in arithmetic, pre-algebra, algebra, trigonometry and hyperbolic trigonometry. Each solution step is provided with relevant... Platforms: Windows

Math games and Puzzles. Math Games. Speed Math Deluxe - Use addition, subtraction, multiplication and division to solve an equation as quickly as possible! Free educational elementary and preschool math games and online lessons. Free online math activities for kids. Math lessons on counting... Platforms: Windows

Fantastic 3D OpenGl screensaver. Are You Looking for alternative Power Source... Look at this. Complex morfing geometry combined with particle system. AlphaBlending effects and crazy rotation. GeForce2 and 1280x1024 recommended. Platforms: Windows

HydroCalc is a tool for quickly performing meaningful hydraulic engineering calculations from a Windows environment. HydroCalc© offers the following computational capabilities and modules: Open-Channel / Uniform Flow Module; Pipe Flow Module; Riverine Cross Section Geometry Module;... Platforms: Windows

The Game of Pig is a simple folk jeopardy dice game that takes its root from Probability, one of the interesting areas of mathematics. Pig game is an interesting dice rolling game, that involves probability ideas, practice with mental addition and strategic thinking, and the opportunity to relate... Platforms: Windows

Sauerbraten - AKA Cube 2 - is a free multiplayer/singleplayer first person shooter, built as a major redesign of the Cube FPS. Much like the original Cube, the aim of this game is not necessarily to produce the most features & eyecandy possible, but rather to allow map/geometry editing to be done... Platforms: *nix, Windows

If you need number types, or you need container types, or you would like to develop algorithms and you need the underlying data structures LEDA Free Edition is for you. The LEDA Free Edition contains the following data types: Simple Data Types; Number Types and Linear Algebra; Basic Data Types.... Platforms: Windows

EIZO Monitortest lets you test and calibrate your monitor using up to 24 different methods. It is simple to use, above all very direct, and the interface gives you all the information you need about your monitor in a short time.As has been mentioned, the range of tests is wide and varied,... Platforms: Windows