Geometry Proofs Examples

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

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... Platforms: Windows

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

GCJ::Cni::Examples is a Perl module with examples of how to use GCJs CNI interface to write Perl Modules in Java. EXAMPLES Writing Treaded modules in Java One benefit of using GCJ is that it takes advantage of POSIX threading. This is nice since Perls threading model is, shall we say, less... Platforms: *nix

GNUstep examples is a collection of programs that are meant to show programmers how to use GNUstep. GNUstep examples includes a calculator, a currency converter, finger, fractal, puzzle, hostaddress, and ink (a simple editor). Whats New in This Release: - Minor feature enhancements. Platforms: *nix

Java::Import::Examples is an example of how to use Java::Import to call into Java classes. Making RMI calls from Perl One nice thing about Java is the extremely straight forward manner in which it allows you to make calls to remote objects residing on distant servers. Many people use this... Platforms: *nix

[COPRIGHT=1] EXAMPLES General #!/usr/bin/perl -w use strict; use DBIx::Simple; # Instant database with DBD::SQLite my $db = DBIx::Simple->connect(dbi:SQLite:dbname=file.dat) or die DBIx::Simple->error; # Connecting to a MySQL database my $db = DBIx::Simple->connect(... 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

This collection will help you to quickly and simply adopt and apply the knowledge of experienced programmers. What you will find here is a set of examples for most used methods and components in everyday programming. Save yourself hours of online research and going through tons of useless... Platforms: Windows

This collection will help you to quickly and simply adopt and apply the knowledge of experienced programmers. What you will find here is a set of examples for most used methods and components in everyday programming. Save yourself hours of online research and going through tons of useless... Platforms: Windows

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

Collection of C++ Builder examples and tutorials with full source code, project files and animated tutorials. Examples include: database in C++, making reports in C++, running external applications from c++, graphics and window manipulation and animation in C++ and more. 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

Del123's Collection of Delphi examples and applications - Database examples, Rave report examples, Win32 examples and more. Full source code on purchase. From Delphi 7 to Delphi XE - Del123.com Platforms: Windows

Collection of most wanted Delphi examples with full source code and animated tutorials as a standalone application. No third party components. Platforms: Windows

Collection of C++ examples and applications with focus on Windows and Win32 development. Source code is available for use with Visual Studio® 2010 and Visual Studio® 2013 version. This collection covers the following user levels: beginning to intermediate.... Platforms: Windows, Windows 7

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

A collection of views examples that can be turned on and used directly within views. You can use the views examples as-is on your site, or you can clone them and use them as a starting point for further customized views.This module is in beta and will likely have more features added before a 1.0... Platforms: PHP