| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5093135 | 2022-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4898950 | 2013-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5482326 | 2006-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4660626 | 2005-04-04 | Paper |
| An algorithm for guaranteed bounds of solutions to singularly perturbed ordinary differential equations and second-order autonomous systems, and the singular cycle phenomenon | 2001-02-13 | Paper |
| Representation of functions and sets with the use of singularly perturbed differential and operator-differential equations | 2001-01-28 | Paper |
| Theory of nonlinear partial differential equations of the Korteweg-de Vries type | 1998-01-29 | Paper |
| The method of additional argument in the theory of nonlinear wave partial differential equations | 1998-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4849582 | 1997-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851387 | 1995-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4839202 | 1995-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282089 | 1994-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4728678 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3029262 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3759205 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816379 | 1987-01-01 | Paper |
| Use of a computer to find the number of regular pentagons that can simultaneously touch a given one | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3038047 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3705936 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3711153 | 1983-01-01 | Paper |
| Numerical theorem proving by electronic computers and its application in various branches of mathematics | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3322339 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3672459 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3869792 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3889553 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3903529 | 1980-01-01 | Paper |
| Substantiable evaluations by electronic computers and their application to one problem in combinatorial geometry | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3863443 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3890336 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4164851 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3051028 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4141572 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4183071 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4201133 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4097721 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4108641 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4108646 | 1974-01-01 | Paper |
