Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.622.776 Times

Proofs software
Filter: All | Freeware | Demo
Display by: Relevance |  Downloads |  Name

Proofs

1 2 > 
Added: June 20, 2013 | Visits: 205

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



Platforms: Mac

License: Shareware Cost: $0.00 USD Size: 29.07 MB Download (20): Toy Proofs Download

Added: August 24, 2013 | Visits: 180

Archive of Formal Proofs 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

License: Freeware Size: 6.22 MB Download (16): Archive of Formal Proofs Download

Released: May 10, 2002  |  Added: February 08, 2006 | Visits: 1.954

incViewer The program makes proofs directly from printing plate images in final resolution. Proofs can be printed out on any printer or saved as TIFF or PDF files. Supports unique features: ink order and ink transparency control, calculate ink pofiles.


Platforms: Windows

License: Shareware Cost: $199.00 USD Size: 1.81 MB Download (85): incViewer Download

Added: January 25, 2010 | Visits: 456

eOrdering Gold X 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

License: Shareware Cost: $0.00 USD Download (73): eOrdering Gold X Download

Added: January 25, 2010 | Visits: 475

eOrdering Professional X 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

License: Shareware Cost: $0.00 USD Download (71): eOrdering Professional X Download

Added: January 25, 2010 | Visits: 571

ProofMaster ProofMaster... Produce top quality color proofs on your ink-jet! ProofMaster serves all your users at once, even drives two printers simultaneously. Miles ahead of traditional RIP software, ProofMaster improves your workflow, overall efficiency and upgrades the quality of all your jobs.Fully...


Platforms: Mac

License: Demo Cost: $0.00 USD Size: 106 MB Download (137): ProofMaster Download

Added: January 25, 2010 | Visits: 675

proofSIGN 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

License: Demo Cost: $0.00 USD Download (76): proofSIGN Download

Released: November 23, 2012  |  Added: November 23, 2012 | Visits: 314

Deductions for Mac OS 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...


Platforms: Mac

License: Freeware Size: 6.2 MB Download (63): Deductions for Mac OS Download

Released: August 07, 2012  |  Added: August 07, 2012 | Visits: 248

Hoecker-Plot for Mac OS 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...


Platforms: Mac

License: Freeware Size: 6.9 MB Download (42): Hoecker-Plot for Mac OS Download

Added: August 17, 2013 | Visits: 220

EulerSharp 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

License: Freeware Size: 8.19 MB Download (27): EulerSharp Download

Released: October 26, 2012  |  Added: October 26, 2012 | Visits: 306

Order Form 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

License: Commercial Cost: $210.00 USD Size: 4.77 MB Download (27): Order Form Download

Released: December 20, 2012  |  Added: April 29, 2014 | Visits: 373

Lurch 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 (36): Lurch Download

Released: September 16, 2012  |  Added: September 16, 2012 | Visits: 203

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


Platforms: Mac

License: Shareware Cost: $19.99 USD Size: 6.2 MB Download (27): Deductions Download

Added: September 03, 2013 | Visits: 190

ProofMaster Plus Accurate communication of what final prints will look like is key to customer confidence in any print business. Unexpected results are costly, time-consuming and damage that confidence. ProofMaster Plus provides a complete quality control solution that allows you to verify and correct incoming...


Platforms: Mac

License: Shareware Cost: $0.00 USD Size: 222.47 MB Download (16): ProofMaster Plus Download

Added: August 14, 2013 | Visits: 237

JSHM 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

License: Freeware Size: 8.81 MB Download (20): JSHM Download

Released: October 14, 2014  |  Added: October 14, 2014 | Visits: 117

Proof Wiki 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:...


Platforms: iOS

License: Freeware Size: 22.8 MB Download (9): Proof Wiki Download

Released: May 22, 2014  |  Added: May 22, 2014 | Visits: 150

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


Platforms: iOS

License: Freeware Size: 32.4 MB Download (7): ProvenTrue Download

Released: May 29, 2013  |  Added: May 29, 2013 | Visits: 100

Pythagoras HD A fascinating, beautiful and educating puzzle! Moreover, all this is a proof of the celebrated Pythagorean Theorem. Wait.. Several proofs! Now you can easily prove it without formulas! Requirements: iOS 4.3 or later. Compatible with iPad.


Platforms: iOS

License: Shareware Cost: $0.99 USD Size: 7.6 MB Download (7): Pythagoras HD Download

Released: January 22, 2013  |  Added: January 22, 2013 | Visits: 76

QRwave - B2B Mobile Commerce 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...


Platforms: iOS

License: Freeware Size: 4.1 MB Download (7): QRwave - B2B Mobile Commerce Download

Released: January 10, 2012  |  Added: January 10, 2012 | Visits: 96

AreYouOverWeight 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

1 2 >