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.547.238 Times

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

Proofs

1 2 > 
Added: August 24, 2013 | Visits: 178

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: November 23, 2012  |  Added: November 23, 2012 | Visits: 313

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 (61): Deductions for Mac OS Download

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

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: 219

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: December 20, 2012  |  Added: April 29, 2014 | Visits: 368

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

Added: August 14, 2013 | Visits: 231

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: 114

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: 146

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: 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: 95

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

Released: July 22, 2012  |  Added: August 18, 2012 | Visits: 11.340

SlimBrowser 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

License: Freeware Size: 3.7 MB Download (349): SlimBrowser Download

Added: August 21, 2008 | Visits: 1.348

EMSolution 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

License: Freeware Size: 3.08 MB Download (275): EMSolution Download

Added: August 17, 2008 | Visits: 1.120

EMSolution Hyperbolic short 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

License: Freeware Size: 3.84 KB Download (86): EMSolution Hyperbolic short Download

Added: June 22, 2010 | Visits: 494

LibTMCG 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

License: Freeware Size: 645.12 KB Download (75): LibTMCG Download

Added: January 25, 2010 | Visits: 658

ResizeImage 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

License: Freeware Download (82): ResizeImage Download

Added: January 25, 2010 | Visits: 567

PDF/X Overprint Expert 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...


Platforms: Mac

License: Freeware Size: 136 KB Download (81): PDF/X Overprint Expert Download

Added: January 25, 2010 | Visits: 509

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


Platforms: Mac

License: Freeware Size: 11.2 MB Download (75): Coq Download

Released: August 12, 2009  |  Added: April 02, 2011 | Visits: 1.803

CDClick i-Studio 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...


Platforms: Windows

License: Freeware Size: 667.35 KB Download (235): CDClick i-Studio Download

Released: November 26, 2012  |  Added: November 26, 2012 | Visits: 253

JGEX 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

License: Freeware Download (71): JGEX Download

Released: August 08, 2012  |  Added: August 08, 2012 | Visits: 326

FlipBook Creator Themes Pack - Marvels 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...


Platforms: Windows

License: Freeware Size: 3.66 MB Download (28): FlipBook Creator Themes Pack - Marvels Download

1 2 >