mathematical proof

ZDNet Resources

• sort by:
• Relevance
• Date
• Popularity

Computers checking mathematical proofs?

Computers checking mathematical proofs?I suppose proofs could be computer generatedBut unless there's a readable printout, it's only been proven to the computer. Likewise, I have no objections to computer checking of proofs prior to publication with the understanding that it's akin to spell checking. The important thing is...

Tags: PRODUCTIVITY, Microsoft Office, mathematical proof, computer

Discussion threads 2008-11-08

Additional Resources

Deductions 1.1.2 (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-11-19

Biorthogonality, Step-Indexing and Compiler Correctness

This paper defines logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a variant SECD machine. The relations, which are defined using biorthogonality and step-indexing, capture what it means for a piece of low-level code to implement...

Tags: Compiler, Association For Computing Machinery, Development Tools, Software Development, Software/Web Development

White papers 2009-09-02

US State Department Reschedules Twitter Maintenance Due to Iran Primetime

US State Department Reschedules Twitter Maintenance Due to Iran PrimetimeYou distorted what was said!The statement in this blog, "Statistically the election looks reasonably clean so far as this post by Nate Silver discusses...," totally distorts what Nate Silver actually said.Silver's point was NOT that the Irani election statistically looks clean,...

Tags: Iran Primetime, State Department Reschedules Twitter Maintenance, U.S. Department of State, landslide

Discussion threads 2009-06-17

Ubuntu aims at healing Linux's 'paper cuts'

Ubuntu aims at healing Linux's 'paper cuts'Ubuntu aims at healing Linux's 'paper cuts'Papercuts? More like deep stab wounds that require major surgery.You can't polish a turd. It still has linux underneath it. The problem is there is no fixing linux. Its inner workings of being a mesh of...

Tags: UNIX, Operating systems, OPEN SOURCE, Linux, Ubuntu

Discussion threads 2009-06-16

E pur se muove (and yet it moves)

* Ryan Naraine is traveling. Guest editorial by Ivan Arce On January 15, 2008, the Vatican released a statement indicating that Pope Benedict XVI had canceled his visit to Italian La Sapienza University as a result of a series of protests...

Tags: Information Security, Galileo Galilei, Security, Ryan Naraine

Blog posts 2008-12-02

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

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

When all the technology in the world won't help

A masters thesis fell into my lap earlier this year when I switched second semester classes and taught another section of informal geometry. I decided to look at the section I taught in the first semester with an inclusion teacher versus the section I was teaching second semester. ...

Tags: Geometry, Teacher, Microsoft Excel, Productivity, Microsoft Office, Office Suites, Software, Christopher Dawson

Blog posts 2008-04-10

Black Hat Europe, Day 2: The day that wasn't and Black Hat Europe, Day 3: Begin the presentations

If you haven't seen it yet, you can check out Day 1 of my coverage of Black Hat Europe 2008 here.  So, for those of you looking forward to a Black Hat Day 2 update with some more from the training sessions... I'm afraid it didn't happen. I had...

Tags: Black Hat, Antivirus, Buffer-overflow, Attack, Breese, Security, Viruses And Worms, Nathan McFeters

Blog posts 2008-03-29

Why Mathematica violates basic rules of math conduct

Why Mathematica violates basic rules of math conductOr......be prepared to explain how to do the work without the proprietary software in question. I wouldn't accept a theorem as proved just because Mathematica says it is, but proper mathematical software (and I've never used Mathematica) should be able to output...

Tags: Tools & Techniques, Reproducibility, programming interface, Mathematica, basic rule

Discussion threads 2007-11-19

Why Mathematica violates basic rules of math conduct

In an editorial published by the American Mathematical Society, mathematicians from the US Naval Academy and the University of Washington noted that, because so much mathematical research is now conducted using proprietary software like Mathematica, much of the ability to meaningfully review such research is being lost. As the...

Tags: Software, Mathematics, Mathematician, Tools & Techniques, Management, Christopher Dawson

Blog posts 2007-11-19

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

US hosts VoComp to promote open source voting systems

After all the brouhaha over tamper-proof voting machines, the U.S. government has decided to sponsor a competition amongst university researchers to create the best open-source voting system, reports Wired News.The three-day University Voting System Competition in Portland, Ore., July 16-18, has invited teams of researchers from the U.S., Canada, Poland...

Tags: Elections

Blog posts 2007-07-16

FSF political discoloration

FSF political discolorationIs the concentration on the code wise?If I have understood it correctly if someone took a piece of GPL'd code and then changed it and attempted to copyright it then they would be in breach of the GPL.If however they looked at the code (or observed the behaviour...

Tags: Tools & Techniques, OPEN SOURCE, UNIX, Free Software Foundation, software, mathematical expression

Discussion threads 2007-05-30

What Wal-Mart means to Dell

What Wal-Mart means to DellWalmart Linux & Microsoft Linux. Linux outselling WindowsWalmart was one of the first to sell a computer to the masses sporting Linux instead of Microsoft Windows. Del just purchased a lot of Microsoft Linux and will be loading the same to its computers. Microsoft Linux is...

Tags: OPEN SOURCE, UNIX, Operating systems, Microsoft Employee, Linux, Microsoft Corp., Microsoft-Linux, Wal-Mart Stores Inc., Dell Computer Corp., SuSE Linux, SuSE

Discussion threads 2007-05-25

Splunk 3.0 drills deeper into IT data

Splunk continues to ramp up what it calls an "IT search engine," which captures log data and other kinds of information that can help identify problems and provide proof of compliance with various regulations, such as Sarbannes-Oxley and the Payment Card Industry standard. Splunk is somewhat like a Google search...

Tags: Datacenter, General, IT Management, Search

Blog posts 2007-05-23

GPLv3 the impetus for Microsoft's latest Linux attack campaign

GPLv3 the impetus for Microsoft's latest Linux attack campaignAsk Stallman.He has a list of them 200 strong.The Government is OUR example!"You can't say that someone is breaking the law, and then refuse to say which laws because you know it will be challenged."George Bush is doing this every day when...

Tags: GPLv3, Linux, patent, Microsoft Corp., OSS

Discussion threads 2007-05-14

Is search broken?

Search engines say they use complex algorithms to help users find exactly what they want Googles "Im feeling lucky" button (btw, does anybody use it?), right below the search box implies that very thing.The legions of Ph.Ds working for the search engines publish oodles of scientific papers on complex mathematical...

Tags: Google, Search

Blog posts 2007-03-03

If calculators=Chuck E. Cheese employee, then computers=?

If calculators=Chuck E. Cheese employee, then computers=?writing utensilsA good article, generally, and a view I can support from first appreciations in using computers widely in a research laboratory very-long-ago-when-their-availability-was-new.But I would like to ask. Why the prejudice among math-based types against pens?I remember leading my class long ago in...

Tags: mathematics, pen

Discussion threads 2007-02-02