Ernst Mayr

5 published titles

Lectures on proof verification and approximation algorithms

(Contributor)

1 edition

Computer algebra in scientific computing : CASC 2001 : proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001

(Contributor)

1 edition

Exploring new frontiers of theoretical informatics : IFIP 18th World Computer Congress ; TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France

(Contributor)

1 edition

Computer algebra in scientific computing : 8th international workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005 : proceedings

(Contributor)

1 edition

Computer algebra in scientific computing : 9th International Workshop, CASC 2006, Chișinău, Moldova, September 11-15, 2006, Proceedings

(Contributor)

1 edition