proof

ZDNet Resources

• sort by:
• Relevance
• Date
• Popularity

Deductions 1.1.1 (Mac)

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 about how to complete proofs,...

Tags: Apple Macintosh, Proof, Deduction, Wandering Mango

Software downloads 2009-10-29

ExamMaster Geometry for iPhone 1.0 (Mobile)

ExamMaster Geometry for iPhone covers the essential concepts of geometry including 3D solids, 2D shapes, polygons, formulas, and proofs. It provides several options to help you learn proofs by helping you memorize the basic postulates and theorems, asking you to prove triangular relationships, and showing you why proofs provide information...

Tags: Geometry, Apple iPhone, Mobile, Proof, WebMetrics Software, Smart Phones, Consumer Electronics, Personal Technology

Software downloads 2009-10-07

proofSIGN 1.9.2 (Mac)

When adding a new standard, proofSIGN uses the ICC profile description to name the target. This is now editable. New Windows Installer adds the charts and manual to the Programs menu. [FIXES] Better filename validation for added standards. Small cosmetic changes to the preferences window location, and the...

Tags: Apple Macintosh, Adobe PDF, Window, Proof, ISO, Bodoni Systems, proofSIGN 1.9.2, Iso standards, Process Improvement, Construction, Printers, Quality, Business Operations, Hardware, Peripherals

Software downloads 2009-10-07

Hoecker-Plot 0.8.3 (Mac)

A Hoecker-Plot is 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 comparison...

Tags: Apple Macintosh, Proof, Printing, WilDev, Hoecker-Plot, Document Management, Quality, Recruitment & Selection, Enterprise Software, Software, Finance, Managerial Accounting, Business Operations, Human Resources, Workforce Management

Software downloads 2009-09-24

Computers checking mathematical proofs?

Computer-assisted of mathematical proofs are not new. For example, computers were used to confirm the so-called 'four color theorem.' In a short release, 'Proof by computer,' the American Mathematical Society AMS reports it has published a special issue of one its journals dedicated to computer-aided proofs. 'The four Notices articles...

Tags: Proof, Computer, Productivity, Roland Piquepaille, Mathematician

Blog posts 2008-11-08

Air Economizer Proof of Concept Webinar

Intel IT conducted a proof of concept to see if an air economizer could be used to cool production servers with 100% outside air. The presenter discusses the proof of concept and the results.

Tags: Concept, Webinar, Proof, Intel Corp.

Webcasts 2008-11-05

Hardcore math at the speed of the Net

From its inception, the Internet has been about connecting researchers and research institutions to each other (and, of course, about national defense). As the Web continues to explode, though, it's interesting to see how new generations of researchers work, collaborate, and criticize online. A particular example...

Tags: Proof, Mathematician, Li, Web 2.0, Wiki, Blogging, Channel Management, Internet, Online Communications, Marketing, Christopher Dawson

Blog posts 2008-07-07

Why can't kids handle proofs anymore?

I first started teaching Geometry last year and have taken over "Informal Geometry" this year. As the name of the second class implies, the idea of formal proof is strongly de-emphasized; this class is for kids who really struggle with mathematical concepts and computation. However, even in our...

Tags: Proof, Software Development, Productivity, Development Tools, Software/Web Development, Christopher Dawson

Blog posts 2007-09-21

ProofMaster 3.1 (Mac)

Most complete and performant digital color proofing & photo printing RIP software for Graphic Arts & Pre-press Professionals. ProofMaster solves many ot the problems previously found in digital proofing, providing color accurate press simulation on large format ink jet printers from all the main vendors. You can even certify your...

Tags: Apple Macintosh, Adobe PDF, Proof, Printing, PerfectProof Europe NV, ProofMaster, Printers, Document Management, Hardware, Peripherals, Enterprise Software, Software, Finance, Managerial Accounting

Software downloads 2007-04-05

Affiliate Marketing - The Big Book Of Proof 1 (Windows)

The big book of proof is to show you that affiliate marketing can make money. Within this book you will see hundreds of people just like you who use affiliate marketing to generate an extra income online. Go ahead and download my Affiliate Marketing - The Big Book Of Proof...

Tags: Proof, Microsoft Windows, Jay, Marketing Research, Marketing

Software downloads 2007-03-05

GeometryProof Professional Edition 5.1 (Windows)

GeometryProof Professional Edition 5.1 is an educational software developed to help you solve geometric proof on artificial intelligence methods Proof Strategy and you can edit the proof. Main functions includes Proof Strategy, through a searching engine, it displays a large amount of relevant proof and plans of proving. User can...

Tags: Artificial Intelligence, Proof, Microsoft Windows, Scienpoint Software, GeometryProof Professional Edition 5.1, Main Function

Software downloads 2006-01-31

ProofMaster 2.11 (Windows)

Most complete and performant digital color proofing & photo printing RIP software for Graphic Arts & Pre-press Professionals. ProofMaster solves many ot the problems previously found in digital proofing, providing color accurate press simulation on large format ink jet printers from all the main vendors. You can even certify your...

Tags: Adobe PDF, Proof, Microsoft Windows, Printing, PerfectProof Europe NV, ProofMaster, Printers, Document Management, Hardware, Peripherals, Enterprise Software, Software, Finance, Managerial Accounting

Software downloads 2006-01-30

Serendipity Blackmagic 3.1 (Windows)

Serendipity Blackmagic makes printed page proofs from ripped files. Place Serendipity Blackmagic on your network and instantly create contract quality proofs from any RIP on any printer with no changes to your workflow.

Tags: Proof, Printers, Microsoft Windows, Process Improvement, Hardware, Peripherals, Operating Systems, Software, Quality, Business Operations

Software downloads 2005-08-16

Serendipity Blackmagic 3.1 (Mac)

Serendipity Blackmagic makes proofs from ripped files. Place Serendipity Blackmagic on your network and instantly create contract quality proofs from any RIP on any printer with no changes to your workflow.

Tags: Apple Macintosh, Proof, Printers, Process Improvement, Desktops, Hardware, Peripherals, Quality, Business Operations

Software downloads 2005-08-15

Proof Block 12.0 (Mac)

Proof Block is a plug-in filter for Adobe Illustrator that creates a proof block for routing illustrations to editors and art directors prior to publication. It creates it on its own layer that prints from Illustrator, when you print your proof, but not from page layout applications when placed as...

Tags: Apple Macintosh, Proof, Page Layout, Adobe Illustrator, Graffix

Software downloads 2005-05-06

PowerRIP 2000 6.11 (Mac)

iProof Systems PowerRIP 2000 and PressProof papers create professional contract proofs right on your inkjet printer. Graphic professionals and printers know the importance of accurate color proofs. Color proofs are representative of what the press will print. With today's Mac's, PC's and digital presses old analog film proofing systems cannot...

Tags: Apple Macintosh, PC, Proof, iProof Systems, PowerRIP 2000, Printers, Desktops, Hardware, Peripherals

Software downloads 2005-01-01

ProofMaster 1.10.3 (Mac)

Most complete and performant Digital color proofing RIP for Graphic Arts Professionals. Uses either standard ICC profiles or the new, revolutionary FingerPrints. ProofMaster FingerPrints solve many ot the problems previously found in digital proofing. All incoming jobs presepareted or composite are converted into a high res PDF. Once your proof...

Tags: Apple Macintosh, Adobe PDF, Proof, PerfectProof Europe NV, Printers, Hardware, Peripherals

Software downloads 2003-04-23

incViewer 2.1 (Windows)

The program makes proofs directly from raster images in final resolution. Proofs can be printed out on any printer or saved as TIFF, PDF or JPEG files. Supports unique features: ink order and ink transparency control, calculate ink profiles, makes outs with control strip. Integrated with Ripanha tools.

Tags: Proof, Printers, Microsoft Windows, Productivity, Hardware, Peripherals, Operating Systems, Software

Software downloads 2002-12-06

X-Iris II 1.0d (Mac)

This application makes layouts of different sized images for color proofs, with many options available. It can also process XPress documents.

Tags: Apple Macintosh, Proof, Layout, Piero Garzotto, Desktops, Hardware

Software downloads 2002-08-30

Shaken all over 1.0 (Mobile)

It Shakes!It Blinks !It makes a noise !It's FunIt's a free small program that's part of a proof of concept for enabling special effectsNote. Require OS 4.0 or higher

Tags: Mobile, Proof, Noise, Advertising & Promotion, Operating Systems, Marketing, Software

Software downloads 2002-03-02