The Third International Workshop on Numerical Analysis and Lattice QCD tookplaceattheUniversityofEdinburgh fromJune30th toJuly4th,2003. It continued a sequence which started in 1995 at the University of Kentucky and continuedin1999withaworkshopattheUniversityofWuppertal.Theaimof these workshops is to bring together applied mathematicians and theoretical physicists to stimulate the exchange of ideas between leading experts in the ?elds of lattice QCD and numerical analysis. Indeed, the last ten years have seen quite a substantial increase in cooperation between the two scienti?c communities,...

Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal - gor in the de?nition of data types, the computer arithmetic, in algorithm design, and in program execution allows us to guarantee that the stated problem has (or does not have) a solution in an enclosing...

Seit es elektronische Rechenanlagen gibt, verbindet man mit einem nume rischen Verfahren ganz selbstverstandlich auch einen zugehorigen Algorith mus, welcher auf einem Computer iiber ein Programm realisiert werden kann. Um so erstaunlicher scheint es, dafi von seiten der Numerik der algorithmi sche Aspekt lange stark vemachlassigt wurde. In den letzten fiinfzehn J ahren hat sich hier jedoch ein tiefgreifender Wan del vollzogen. Er wurde ausgelost durch den erfolgreichen, inzwischen iiberall verbreiteten Einsatz von Vektorrechnem, welche heute Rechenleistungen bie ten, die bis vor kurzem noch...