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.

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

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

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

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


Platforms: Windows

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

Collection of C# .NET examples that will make your coding easier and faster. 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 code. Collection of C# .NET examples...


Platforms: Windows, Windows 7

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

Collection of VB .NET examples that will make your coding easier and faster. 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 code. Collection of VB .NET examples...


Platforms: Windows, Windows 7

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

Hibernate-Examples used in book about Hibernate 3: Robert F. Beeger, Arno Haase, Stefan Roock, Sebastian Sanitz: Hibernate - Persistenz in Java-Systemen mit Hibernate 3, dpunkt.verlag.


Platforms: Windows, Mac, Linux

The aim of our project is to create a set of examples of use of JSF 2.1 MC Faces components from MC Components series. MC Components library provides a rich set of JSF 2.1 components with jsp and facelets support. Components available in this rich set provide simple and convenient access to...


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

This project contains various examples, ported from Qt4 C++ to Ada language


Platforms: Windows, Mac, BSD, Linux