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.
|License: Freeware||Size: 6.22 MB||Download (16): Archive of Formal Proofs Download|
Deductions is educational software designed to help students learn proofs in formal logic. It is intended to be used by instructors and students of college-level logic courses in philosophy, mathematics and computer science. It gives immediate feedback at each stage of a proof, provides hints...
|License: Freeware||Size: 6.2 MB||Download (61): Deductions for Mac OS Download|
A fast graphical evaluation for digital proofs based on CIEDE2000 color difference formula.Use your X-Rite EyeOne ('i1 Pro') spectrophotometer to scan one of the common media wedges (Fogra) or control strips (IDEAlliance/GRACoL) and within a second you can see how good your proof performs in...
|License: Freeware||Size: 6.9 MB||Download (42): Hoecker-Plot for Mac OS Download|
|License: Freeware||Size: 8.19 MB||Download (27): EulerSharp Download|
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
|License: Freeware||Size: 18.49 KB||Download (35): Lurch Download|
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...
|License: Freeware||Size: 8.81 MB||Download (20): JSHM Download|
Proof Wiki is a math proofs and definitions wiki (complete with images) that does not require an internet connection to work. The content comes from the great folks at proofwiki.org, so make sure to visit and contribute or donate to the project if you enjoy this app: www.proofwiki.org NOTE:...
|License: Freeware||Size: 22.8 MB||Download (9): Proof Wiki Download|
NEW ProvenTrue Video! Tap ProvenTrue Developer Website or go to www.proventrueapp.com. Puzzled by Geometry Proofs? Want a good grade in Geometry to pave the way to college? It's easy with ProvenTrue! Effortlessly learn Geometry while playing the ProvenTrue game. ProvenTrue is NOW available on...
|License: Freeware||Size: 32.4 MB||Download (7): ProvenTrue Download|
QRwave application streamlines, automates and error-proofs B2B ordering process. Using QRwave, any authorized company employee can place a restocking order by scanning QR Code on the item packaging. The order can be placed on the spot as soon as an employee notices that the supplies are running...
|License: Freeware||Size: 4.1 MB||Download (7): QRwave - B2B Mobile Commerce Download|
So you think you are normal weightGet proofs here. This application will tell you whether you are overweight or not. *it will also help you to find out your daily caloric and the required calories per day to maintain your current weight. *you can also find your body shape and health risks...
Platforms: Windows Phone
|License: Freeware||Size: 1024 KB||Download (7): AreYouOverWeight Download|
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...
|License: Freeware||Size: 3.7 MB||Download (349): SlimBrowser Download|
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...
|License: Freeware||Size: 3.08 MB||Download (275): EMSolution Download|
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...
|License: Freeware||Size: 3.84 KB||Download (86): EMSolution Hyperbolic short Download|
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...
|License: Freeware||Size: 645.12 KB||Download (75): LibTMCG Download|
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%)....
|License: Freeware||Download (82): ResizeImage Download|
Global Graphics has released a simple to use, free of charge overprint control strip for checking that proofs and prints made from files transmitted as PDF/X have rendered correctly. The PDF/X standards are becoming increasingly popular methods of delivery of graphic arts content from one company...
|License: Freeware||Size: 136 KB||Download (81): PDF/X Overprint Expert Download|
Developed in the LogiCal project, the Coq tool is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: the definition of interactively evaluated functions or predicates, to state mathematical theorems and software...
|License: Freeware||Size: 11.2 MB||Download (75): Coq Download|
CD-Click i-Studio is a very powerful, yet friendly program that allows you to create and copy online any type of CD/DVD/Blu-Ray discs. With i-Studio, you can copy (read master and burn blank disc) or create the disc content of the most popular discs: CD/DVD/Blu-ray with folders holding commonly...
|License: Freeware||Size: 667.35 KB||Download (235): CDClick i-Studio Download|
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) .
|License: Freeware||Download (71): JGEX Download|
Free FlipBook Creator (Pro) Themes Pack- Marvels (Professional Shopping Catalog theme templates) This theme Marvels has been specially designed for people who want to create online flash catalog or digital brochure. The contracted background image touch the whole tune up. Although it looks...
|License: Freeware||Size: 3.66 MB||Download (28): FlipBook Creator Themes Pack - Marvels Download|