| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Computer Aided Proofs in Analysis | Gebunden | 978-3-540-97426-0 | 1991 | Kenneth R. Meyer | |
| Computer Aided Proofs in Analysis | Hardcover | 978-0-387-97426-2 | 1990 | " | |
| Hamiltonian Dynamical Systems | Gebunden | 978-3-540-94437-9 | 1995 | H. S. Dumas · Kenneth R. Meyer | |
| Multivariate Public Key Cryptosystems | Hardcover | 978-0-387-32229-2 | 2006 | Jintai Ding · Jason E. Gower |
D S · D.S. Schmidt · D. Schmidt · Dieter Schmidt · S S · S. Schmidt