| Publication | Date of Publication | Type |
|---|
On the application of accurate distance algorithms to multibody simulations
PAMM | 2018-07-26 | Paper |
Verified Solutions of Systems of Nonlinear Polynomial Equations
Scientific Computing, Validated Numerics, Interval Methods | 2018-07-16 | Paper |
An accurate distance algorithm for octree-encoded objects
PAMM | 2017-01-24 | Paper |
Special issue on ``Uncertainty modeling and analysis with intervals: foundations, tools, applications
Soft Computing | 2015-11-09 | Paper |
Uses of new sensitivity and DAE solving methods in SmartMobile for verified analysis of mechanical systems
International Journal of Applied Mathematics and Computer Science | 2014-11-19 | Paper |
A verified realization of a Dempster-Shafer based fault tree analysis
Computing | 2012-04-04 | Paper |
SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems
Informatics in Control, Automation and Robotics | 2010-06-02 | Paper |
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
Reliable Implementation of Real Number Algorithms: Theory and Practice | 2009-01-13 | Paper |
Verified Methods in Stochastic Traffic Modelling
Reliable Implementation of Real Number Algorithms: Theory and Practice | 2009-01-13 | Paper |
Numerical Software with Result Verification
Lecture Notes in Computer Science | 2007-09-28 | Paper |
The convergence rate of continued fractions representing solutions of a Riccati equation
Journal of Computational and Applied Mathematics | 2007-02-02 | Paper |
Verified convex hull and distance computation for octree-encoded objects
Journal of Computational and Applied Mathematics | 2007-02-02 | Paper |
Modelling geometric objects and tolerances with intervals: Data exchange with ISO standard STEP
Reliable Computing | 2006-09-14 | Paper |
The GJK distance algorithm: an interval version for incremental motions
Numerical Algorithms | 2005-09-05 | Paper |
Enclosure of the zero set of multivariate exponential interval polynomials
Numerical Algorithms | 2005-09-05 | Paper |
Accurate computation of traffic workload distributions
Numerical Algorithms | 2005-09-05 | Paper |
Polynomial Factorization for Servers with Semi-Markovian Workload: Performance and Numerical Aspects of a Verified Solution Technique
Stochastic Models | 2005-07-27 | Paper |
scientific article; zbMATH DE number 2079642 (Why is no real title available?)
| 2004-07-30 | Paper |
Accurate enclosure of the zero set of multivariate polynomials
BIT | 2003-12-04 | Paper |
scientific article; zbMATH DE number 1942578 (Why is no real title available?)
| 2003-06-30 | Paper |
scientific article; zbMATH DE number 1694757 (Why is no real title available?)
| 2003-06-09 | Paper |
Flatness criteria for subdivision of rational Bézier curves and surfaces
ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik | 2002-07-22 | Paper |
Enclosure of the zero set of polynomials in several complex variables
Multidimensional Systems and Signal Processing | 2002-04-09 | Paper |
scientific article; zbMATH DE number 1543273 (Why is no real title available?)
| 2001-02-27 | Paper |
scientific article; zbMATH DE number 1497130 (Why is no real title available?)
| 2001-01-14 | Paper |
Identification and simulation of nonlinear systems using methods of scientific computing.
ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik | 2001-01-01 | Paper |
An accurate distance-calculation algorithm for convex polyhedra
Reliable Computing | 2000-11-02 | Paper |
scientific article; zbMATH DE number 1440909 (Why is no real title available?)
| 2000-08-28 | Paper |
Accurate Computation of Elliptic Functions
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik | 1999-07-12 | Paper |
scientific article; zbMATH DE number 1440920 (Why is no real title available?)
| 1999-01-01 | Paper |
Approximation error and error accumulation for the Landen transform
Reliable Computing | 1998-05-06 | Paper |
Computer graphics and image processing
| 1997-02-26 | Paper |
Highly accurate tables for elementary functions
BIT | 1997-01-05 | Paper |
scientific article; zbMATH DE number 903739 (Why is no real title available?)
| 1996-10-27 | Paper |
Numerical treatment of the first-order pll equation with sinusoidal phase detector characteristic
Applicable Analysis | 1996-04-24 | Paper |
scientific article; zbMATH DE number 804657 (Why is no real title available?)
| 1996-02-18 | Paper |
scientific article; zbMATH DE number 804635 (Why is no real title available?)
| 1995-11-21 | Paper |
Verified inclusion for eigenvalues of the first order PLL equation with general phase detector characteristics
Computing | 1994-01-01 | Paper |
scientific article; zbMATH DE number 193579 (Why is no real title available?)
| 1993-06-05 | Paper |
Abelsche und Taubersche Sätze für Laguerre-Reihen
Analysis | 1992-06-27 | Paper |
A note on a classical bound for the moduli of all zeros of a polynomial
IEEE Transactions on Automatic Control | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4040315 (Why is no real title available?)
| 1987-01-01 | Paper |
The differentiability of Fourier gap series and ``Riemann's example of a continuous, nondifferentiable function
Journal of Approximation Theory | 1986-01-01 | Paper |
Abelian and Tauberian theorems for a class of integral transforms
Journal of Mathematical Analysis and Applications | 1983-01-01 | Paper |
Stetige, nirgends differenzierbare Funktionen und nicht rektifizierbare Kurven
Mathematische Semesterberichte | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3787368 (Why is no real title available?)
| 1980-01-01 | Paper |
The Summation of Series
SIAM Journal on Mathematical Analysis | 1978-01-01 | Paper |
Über das asymptotische Verhalten der trigonometrischen und Hankelschen Integraltransformation
Archiv der Mathematik | 1977-01-01 | Paper |
The remainder in a gap Tauberian theorem for Abel summability
Mathematical Proceedings of the Cambridge Philosophical Society | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3605371 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3484538 (Why is no real title available?)
| 1975-01-01 | Paper |
