Proofs

The first application we released, this is a simple playground environment for introducing students to the notion of formality and rigor in mathematical proofs. It comes with HTML documentation that explains the progression of lessons through three increasingly mathematical games.

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.

eOrdering Gold will create your web forms and other documents so that when users submit an order, web proofs will process any orders, and send you the order via email.The web forms will show the cost for each item, allow the user to select a quantity, show the total for the product (cost x...


Platforms: Mac

eOrdering Professional allows event photographer the ability to let customers order their pictures while at the event or let them order later on the internet. Event Proofs uses shopping cart technology to allow the user to store a users order, so they can move around your site and place their...


Platforms: Mac

proofSIGN verifies your printed proofs to any standard. proofSIGN includes setups to verify your proofs to ISO standards for offset litho sheetfed, web and newspaper printing, but you can now generate your own standards from any CMYK ICC profile using either the FOGRA mediawedge, or the included...


Platforms: Mac

Euler is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection.It has implementations in Java, C#, Python, javascript and Prolog.Via N3 it is interoperable with W3C Cwm.


Platforms: Windows

Orderform is an excellent tool to provide proofs for your customers. Use a preprinted proof form or a JPG image of a proof form to minimize cost. There are three options for production. Option 1 will print 1, 2 or 3 proofs from a pre-selected folder of images placed anywhere on the printer page...


Platforms: Windows

Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.


Platforms: Windows, Mac, BSD, Linux

I started working on this program after I went through my Guitar Hero III set list manually entering scores into ScoreHero and thought there must be a better way. The ultimate goals of this project are: * retrieve song data (titles, note counts, tier names, etc.) from ScoreHero * manage your...


Platforms: Mac

Small businesses, photographers, and artists put your products online and take orders over the web. eOrdering Gold is designed for smaller sites and eOrdering Professional for larger sites (since eOrdering Professional can split products into categories).


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

Batch Picture Protector is a powerful and easy-to-use bulk picture watermarking tool. Program protects your digital images and artworks by adding professional transparent watermarks that combine text, images and graphics. When used in conjunction with your favorite image editing software, a...


Platforms: Windows

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

The professional printing function of SilverFasts product family is now available as stand-alone version. Any printer can be used with this efficient program. Print your images directly from your folders, create your individual layout or even templates directly. The embedded color-management...


Platforms: Windows

This bilingual problem-solving mathematics software allows you to work through 41087 hyperbolic problems with guided solutions, and encourages to learn through in-depth understanding of each solution step and repetition rather than through rote memorization. The software includes all the...


Platforms: Windows

LibTMCG is a general purpose C++ library for creating secure electronic card games. The most remarkable feature is the absence of a trusted third party (TTP), i.e. neither a central game server nor trusted hardware components are necessary. To emphasize this point again: With the present...


Platforms: *nix

ResizeImage is an AppleScript droplet that will scale most images and save them to the Clipboard. You can then paste them directly into a Text Edit document or Mail document etc. Just drag an image on to the application icon and choose the amount you want to scale the image by (from 10% to 200%)....


Platforms: Mac

ConferenceRoom is a browser-enabled Chat/Messaging/Conferencing server application that allows companies to interact with clients or staff, dissolving geographical barriers, customer support without the aggravating wait, sales worldwide without expensive international offices, product development...


Platforms: *nix

eOrdering Complete is an application that allows you to create web forms specifically to order products online. eOrdering Complete uses shopping cart technology to allow the user to store a users order, so they can move around your site and place their order when they want. eOrdering Complete...


Platforms: Mac

PowerRIP X is a complete redesign of the previous PowerRIP 2000 version. It uses Apple's OS X, ColorSync, and CUPS (The Common Unix Printing System) to create a seamless printer integration within the operating system.PowerRIP X creates accurate color or black and white proofs for graphic...


Platforms: Mac