Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Resources on proving algorithms correct?

  1. Apr 21, 2005 #1
    Where can I find resources on proving algorithms correct? I'm looking for a formal treatment (hopefully I have enough background by now to absorb that). I keep seeing these proofs of algorithms and references to proofs of algorithms but everything is informal and I've never even seen a precise definition of "algorithm."

    I can't find much on Google or Mathworld. Judging by the online descriptions of courses about algorithmic proof, there must be plenty of information out there, but it's not very accessible. I'd appreciate any suggestions.
  2. jcsd
  3. Apr 22, 2005 #2
    "The Art of Computer Programming" by Donald Knuth.
  4. Apr 22, 2005 #3


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    There's also Introduction to Algorithms, Cormen Leiserson and Rivest.
  5. Apr 22, 2005 #4
    Thanks. The Art of Computer Programming looks very good, but it's probably more comprehensive than I'm looking for right now. Introduction to Algorithms looks like it's exactly what I seek.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Resources proving algorithms Date
B How to "prove" something in math? Thursday at 3:14 PM
B Online Math Resources May 20, 2017
I What resources are there for RSA for the layman? Apr 2, 2017
Math Learning Resources Jul 27, 2015
Resources: Notes/ videos to sketch better geometric figures. Jul 17, 2015