Free Downloads: Proofs
License: All | Free
Coq is a formal proof management system.
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked Proofs.
Typical applications include the formalization of programming languages semantics, the formalization of mathematics and teaching.
Category: Business & Finance / Business Finance
Publisher: Coq Development Team, License: Freeware, Price: USD $0.00, File Size: 53.8 MB
Platform: Windows
Shopping Cart and eCommerce app for putting your products online with ease.
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).
Category: Internet
Publisher: LAJ Design, License: Shareware, Price: USD $75.00, File Size: 2.7 MB
Platform: Windows
Pro photographers: Revolutionize your pipeline.
Pro photographers: Revolutionize your pipeline. Create high-value wedding albums & wall portraits; Email watermarked Proofs; Print large-format photocompositions, and export your work to labs at high res. Scrapbookers: Create dazzling layouts in seconds, with multiple layers, text layouts, and transarent elements. Share your work as embedded-image emails, printer poster-size...
Category: Multimedia & Design / Multimedia App's
Publisher: LumaPix, License: Shareware, Price: USD $39.95, File Size: 5.2 MB
Platform: Windows
2005 Releases Aurorae Visions Rainbow Prints.
2005 Releases Aurorae Visions Rainbow Prints. Beautiful rainbow prints are a unique way to achieve chakra alignment and show your pride. Mystical and spiritual our images will relax and inspire you. These natural light images are made using the five elements, earth, air, fire, water and spirit.This screensaver features our 2005 limited edition releases. Signed Artist Proofs are available...
Category: Desktop Enhancements / Screensavers
Publisher: Aurorae Visions, LLC, License: Shareware, Price: USD $7.95, File Size: 1.7 MB
Platform: Windows
Payment Express offers significant cost savings and value adding features that no other device can.
Payment Express offers significant cost savings and value adding features that no other device can. In addition, it exceeds all global security standards and future
Proofs against any new mandates.
KEY POINTS:
-Fully integrated with all leading POS applications
-Pure IP solution – supports ADSL, VPN, GPRS, LAN, Thin Client and unattended...
Category: Business & Finance / Business Finance
Publisher: Direct Payment Solutions, License: Shareware, Price: USD $0.00, File Size: 0
Platform: Windows
Z3 is an SMT solver that combines several theory solvers into a combined framework.
Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available. There is also an existing Python binding by Sascha Boehme.
Features:
- Enable check_assumptions without enclosing push/pop. This resolves the limitation described in...
Category: Home & Education / Science
Publisher: Microsoft Research, License: Freeware, Price: USD $0.00, File Size: 26.7 MB
Platform: Windows
basICColor is a display monitor calibration and profiling program will allow you to take control of color reproduction in your workgroup monitors. Along with creating an ICC-profile, proper calibration of workgroup monitors is a basic and indispensable requirement for accurate color
reproduction. Both CRT and LCD flat screen monitors can be profiled and calibrated with this software....
Category: Utilities / Misc. Utilities
Publisher: Color Solutions Software, License: Demo, Price: USD $0.00, File Size: 93.0 MB
Platform: Windows
This bi-lingual program offers 54800 weak and strong algebraic inequalities.
This bi-lingual program offers 54800 weak and strong algebraic inequalities. Problems vary in difficulty from simple to extra difficult, such as complex fractional inequalities. Applied solution methods include substitution, grouping, factoring, method of intervals and more. Each step of solution is provided with comprehensive explaining material available in two languages. You can observe the...
Category: Home & Education / Miscellaneous
Publisher: EMTeachline, License: Commercial, Price: USD $0.00, File Size: 4.0 MB
Platform: Windows
For your batch, serial communications, MCL-Link is the communications server that meets your needs.
For your batch, serial communications, MCL-Link is the communications server that meets your needs. With support for direct connect or remote dial-up, MCL-Link handles the data communications for multiple users, sequentially, one user at a time.
Whether for route accounting, direct store delivery, physical inventory, retail returns, competitive price surveys, electronic ordering,...
Category: Internet / Misc. Servers
Publisher: MCL-Technologies, License: Demo, Price: USD $0.00, File Size: 25.1 MB
Platform: Windows
eOrdering Professional allows small and large businesses, photographers, and artists to put their products online and take orders online. It enables larger eCommerce sites to use categories to make browsing easier for customers. For example event photographers can let customers order their pictures while at the event or let them order later on the internet. eOrdering Professional uses...
Category: Internet
Publisher: LAJ Design, License: Shareware, Price: USD $450.00, File Size: 2.8 MB
Platform: Windows
Mariko 3D is a remake of the popular tactical game Ishido, an ancient japanese board game.
Mariko 3D is a remake of the popular tactical game Ishido, an ancient japanese board game. You are given a set of 72 tiles, each marked with a specific color and figure.The stones are presented one at a time, and you place them on a board with 96 slots. You have to fill up the board as much as possible with stones in a specific way: each of them can be places only adjacent to a stone that...
Category: Games / Puzzles
Publisher: Gzwo Software Development, License: Shareware, Price: USD $19.95, File Size: 3.0 MB
Platform: Windows
ConferenceRoom is a browser-enabled Chat/Conferencing/Messaging 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 when the team is spread out geographically, distance learning… Whenever and wherever people...
Category: Internet / Chat
Publisher: WebMaster Incorporated, License: Shareware, Price: USD $249.00, File Size: 7.2 MB
Platform: 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 hyperbolic and inverse hyperbolic functions and offers tasks on simplification and evaluation of hyperbolic...
Category: Home & Education / Miscellaneous
Publisher: EMTeachline Software, License: Commercial, Price: USD $0.00, File Size: 3.7 MB
Platform: Windows
This bilingual problem-solving mathematics software allows you to work through 84102 trigonometric 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 offers tasks on simplification and evaluation of trig expressions, Proofs of trig identities and solutions of trig...
Category: Home & Education / Miscellaneous
Publisher: EMTeachline Software, License: Commercial, Price: USD $0.00, File Size: 7.1 MB
Platform: Windows
Shareware
Batch Picture Protector is a powerful and easy-to-use bulk image watermarking software. Program can protect your digital photos and artworks by adding professional transparent watermarks that combine text, images and graphics. When used in conjunction with your favorite picture editing software, a watermark can even contain your copyright,website url, or logotype. Batch Picture Protector is the...
Category: Multimedia & Design / Image Editing
Publisher: SoftOrbits, License: Shareware, Price: USD $29.95, File Size: 2.2 MB
Platform: Windows
Shareware
Encrypting files is easy, but is it convenient enough for everyday use? If you have a collection of digital photos, storing them in an encrypted archive surely cuts down on unauthorized access. But, this way of storing the pictures restricts legitimate access, making it much slower and overall much less convenient. Besides, there is a security concern connected with encrypted files or archives:...
Category: Utilities / Security & Encryption
Publisher: LuckyIcon Art, LLC, License: Shareware, Price: USD $35.00, RUB450, File Size: 2.4 MB
Platform: Windows
Shareware
Batch Picture Protector is a powerful and easy-to-use bulk image watermarking software. Program can protect your digital photos and artworks by adding professional transparent watermarks that combine text, images and graphics. When used in conjunction with your favorite picture editing software, a watermark can even contain your copyright,website url, or logotype. Batch Picture Protector is the...
Category: Multimedia & Design / Image Editing
Publisher: SoftOrbits, License: Shareware, Price: USD $29.95, File Size: 2.2 MB
Platform: Windows
 |
License: All | Free