| Publication | Date of Publication | Type |
|---|
| An Exact Method for the Minimum Feedback Arc Set Problem | 2022-09-06 | Paper |
| Introduction to coherent quantization | 2022-07-20 | Paper |
| LMBOPT: a limited memory method for bound-constrained optimization | 2022-06-16 | Paper |
| Efficient unconstrained black box optimization | 2022-06-16 | Paper |
| A unified view of inequalities for distance-regular graphs. I | 2022-03-03 | Paper |
| Rigorous global filtering methods with interval unions | 2020-12-15 | Paper |
| A manifold-based approach to sparse global constraint satisfaction problems | 2019-12-03 | Paper |
| Algebraic quantum physics. Volume 1. Quantum mechanics via Lie algebras (to appear) | 2019-10-08 | Paper |
| Coherent quantum physics. A reinterpretation of the tradition | 2019-08-01 | Paper |
| An optimal subgradient algorithm with subspace search for costly convex optimization problems | 2019-05-23 | Paper |
| Rigorous packing of unit squares into a circle | 2019-05-23 | Paper |
| Foundations of quantum physics V. Coherent foundations | 2019-05-02 | Paper |
| A computational study of global optimization solvers on two trust region subproblems | 2018-08-29 | Paper |
| Solving structured nonsmooth convex optimization with complexity \(\mathcal {O}(\varepsilon ^{-1/2})\) | 2018-05-24 | Paper |
| MINQ8: general definite and bound constrained indefinite quadratic programming | 2018-04-20 | Paper |
| Introduction to coherent spaces | 2018-04-04 | Paper |
| Optimal subgradient algorithms for large-scale convex optimization in simple domains | 2018-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4595718 | 2017-12-06 | Paper |
| Certificates of infeasibility via nonsmooth optimization | 2017-11-02 | Paper |
| Using interval unions to solve linear systems of equations with uncertainties | 2017-10-24 | Paper |
| A robust approach for finding all well-separated solutions of sparse systems of nonlinear equations | 2017-10-10 | Paper |
| An optimal subgradient algorithm for large-scale bound-constrained convex optimization | 2017-10-10 | Paper |
| Bounding basis reduction properties | 2017-07-21 | Paper |
| The optimization test environment | 2017-06-19 | Paper |
| Faster LLL-type Reduction of Lattice Bases | 2017-05-10 | Paper |
| OSGA: a fast subgradient algorithm with optimal complexity | 2016-08-25 | Paper |
| Linear and parabolic relaxations for quadratic constraints | 2016-06-29 | Paper |
| Worst case error bounds for the solution of uncertain Poisson equations with mixed boundary conditions | 2016-04-18 | Paper |
| Constraint aggregation for rigorous global optimization | 2016-02-23 | Paper |
| Error bounds for initial value problems by optimization | 2015-11-09 | Paper |
| Rigorous verification of feasibility | 2015-03-24 | Paper |
| Global Attractivity of the Zero Solution for Wright's Equation | 2014-08-19 | Paper |
| Analytic representation of critical equations of state | 2014-08-06 | Paper |
| Exclusion regions for optimization problems | 2014-07-04 | Paper |
| Solving Overdetermined Eigenvalue Problems | 2013-06-26 | Paper |
| On Solving Mixed-Integer Constraint Satisfaction Problems with Unbounded Variables | 2013-06-04 | Paper |
| Towards a Self-Reflective, Context-Aware Semantic Representation of Mathematical Specifications | 2012-09-28 | Paper |
| Rigorous filtering using linear relaxations | 2012-09-27 | Paper |
| DynGenPar – A Dynamic Generalized Parser for Common Mathematical Language | 2012-09-07 | Paper |
| Convexity and Concavity Detection in Computational Graphs: Tree Walks for Convexity Assessment | 2012-07-28 | Paper |
| Rigorous Enclosures of Ellipsoids and Directed Cholesky Factorizations | 2011-06-15 | Paper |
| Potential based clouds in robust design optimization | 2011-04-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3060525 | 2010-12-08 | Paper |
| Constraint propagation on quadratic constraints | 2010-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3583363 | 2010-08-27 | Paper |
| Global Optimization and Constraint Satisfaction | 2010-02-02 | Paper |
| Interval Methods for Systems of Equations | 2009-01-06 | Paper |
| A scaling algorithm for polynomial constraint satisfaction problems | 2008-11-25 | Paper |
| Classical and Quantum Mechanics via Lie algebras | 2008-10-06 | Paper |
| Certified error bounds for uncertain elliptic equations | 2008-07-01 | Paper |
| New bounds for Morse clusters | 2008-06-03 | Paper |
| On graphs whose spectral radius is bounded by \(\frac{3}{2}\sqrt{2}\) | 2008-03-14 | Paper |
| Transposition Theorems and Qualification‐Free Optimality Conditions | 2007-11-16 | Paper |
| Complete search in continuous global optimization and constraint satisfaction | 2007-06-25 | Paper |
| Linear systems with large uncertainties, with applications to truss structures | 2007-03-06 | Paper |
| Interval analysis on directed acyclic graphs for global optimization | 2006-02-20 | Paper |
| Ensembles and Experiments in Classical and Quantum Physics | 2005-08-30 | Paper |
| Estimation of parameters and eigenmodes of multivariate autoregressive models | 2005-07-20 | Paper |
| Algorithm 808 | 2005-07-20 | Paper |
| A comparison of complete global optimization solvers | 2005-06-14 | Paper |
| Exclusion Regions for Systems of Equations | 2005-03-01 | Paper |
| Integral approximation of rays and verification of feasibility | 2004-08-06 | Paper |
| Clouds, fuzzy sets, and probability intervals | 2004-08-06 | Paper |
| Safe bounds in linear and mixed-integer linear programming | 2004-07-01 | Paper |
| Dual polar spaces as extremal distance-regular graphs. | 2004-03-14 | Paper |
| A New Exact Penalty Function | 2004-01-19 | Paper |
| Rational functions with prescribed global and local minimizers | 2003-10-27 | Paper |
| Enclosing clusters of zeros of polynomials | 2003-08-07 | Paper |
| Fuzzy modeling in terms of surprise | 2003-05-22 | Paper |
| Taylor forms -- use and limits. | 2003-04-28 | Paper |
| Grand challenges and scientific standards in interval analysis | 2002-08-21 | Paper |
| The NOP-2 modeling language for nonlinear programming | 2002-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2712869 | 2001-05-06 | Paper |
| Generalized Lyapunov-Schmidt reduction for parametrized equations at near singular points | 2001-04-16 | Paper |
| Erratum to: ``A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations | 2001-03-28 | Paper |
| Global optimization by multilevel coordinate search | 2001-03-18 | Paper |
| On Shary's Algebraic Approach for Linear Interval Equations | 2000-10-19 | Paper |
| Existence Verification for Singular Zeros of Complex Nonlinear Systems | 2000-10-19 | Paper |
| A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations | 2000-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4346799 | 1998-11-15 | Paper |
| Solving Ill-Conditioned and Singular Linear Systems: A Tutorial on Regularization | 1998-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4352736 | 1998-05-10 | Paper |
| Molecular Modeling of Proteins and Mathematical Prediction of Protein Structure | 1998-02-10 | Paper |
| Scaling and structural condition numbers | 1997-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4352735 | 1997-09-04 | Paper |
| Second-order sufficient optimality conditions for local and global nonlinear programming | 1997-08-18 | Paper |
| A method of trust region type for minimizing noisy functions | 1997-01-23 | Paper |
| A new pivoting strategy for Gaussian elimination | 1996-12-05 | Paper |
| A grid algorithm for bound constrained optimization of noisy functions | 1996-02-18 | Paper |
| Screening by conference designs | 1996-01-25 | Paper |
| Hybrid norms and bounds for overdetermined linear systems | 1995-11-13 | Paper |
| On graphs whose smallest eigenvalue is at least \(-1-\sqrt 2\) | 1995-10-26 | Paper |
| Introduction to Numerical Analysis | 1994-10-20 | Paper |
| Global, rigorous and realistic bounds for the solution of dissipative differential equations. I: Theory | 1994-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4284595 | 1994-03-24 | Paper |
| Rigorous chaos verification in discrete dynamical systems | 1994-01-19 | Paper |
| Exceptional graphs with smallest eigenvalue -2 and related problems | 1993-04-01 | Paper |
| Completely regular codes | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3992965 | 1992-09-17 | Paper |
| Interval Methods for Systems of Equations | 1992-09-17 | Paper |
| An optimality criterion for global quadratic optimization | 1992-07-23 | Paper |
| Krein conditions and near polygons | 1992-06-25 | Paper |
| Derived eigenvalues of symmetric matrices, with applications to distance geometry | 1990-01-01 | Paper |
| The Krawczyk operator and Kantorovich's theorem | 1990-01-01 | Paper |
| Solving minimax problems by interval methods | 1990-01-01 | Paper |
| Duality in coherent configurations | 1989-01-01 | Paper |
| The graphs with spectral radius between 2 and \(\sqrt{2+\sqrt{5}}\) | 1989-01-01 | Paper |
| Rigorous sensitivity analysis for parameter-dependent systems of equations | 1989-01-01 | Paper |
| Graph representations, two-distance sets, and equiangular lines | 1989-01-01 | Paper |
| A note on Moore's interval test for zeros of nonlinear systems | 1988-01-01 | Paper |
| A remark on partial linear spaces of girth 5 with an application to strongly regular graphs | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3796646 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3804785 | 1988-01-01 | Paper |
| An Existence Test for Root Clusters and Multiple Roots | 1988-01-01 | Paper |
| Some relations between roots, holes, and pillars | 1987-01-01 | Paper |
| Further results on linear interval equations | 1987-01-01 | Paper |
| Overestimation in Linear Interval Equations | 1987-01-01 | Paper |
| Existence of solutions of piecewise differentiable systems of equations | 1986-01-01 | Paper |
| On the comparison of H-matrices with M-matrices | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3716208 | 1986-01-01 | Paper |
| Inner product rounding error analysis in the presence of underflow | 1985-01-01 | Paper |
| Interval iteration for zeros of systems of equations | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3217523 | 1985-01-01 | Paper |
| Characerization of a class of distance regular graphs. | 1985-01-01 | Paper |
| Existence Regions and Error Bounds for Implicit and Inverse Functions | 1985-01-01 | Paper |
| Residual Inverse Iteration for the Nonlinear Eigenvalue Problem | 1985-01-01 | Paper |
| Divided Differences, Shift Transformations and Larkin's Root Finding Method | 1985-01-01 | Paper |
| New techniques for the analysis of linear interval equations | 1984-01-01 | Paper |
| An interval version of the secant method | 1984-01-01 | Paper |
| Some tuple system constructions with applications to resolvable designs | 1984-01-01 | Paper |
| The extremal case of some matrix inequalities | 1984-01-01 | Paper |
| Exact convergence and divergence domains for the symmetric successive overrelaxation iterative (SSOR) method applied to H-matrices | 1984-01-01 | Paper |
| Some sporadic geometries related to PG(3,2) | 1984-01-01 | Paper |
| Eigenwertabschätzungen für Matrizen. | 1984-01-01 | Paper |
| Discrete hyperbolic geometry | 1983-01-01 | Paper |
| On norm three vectors in integral Euclidean lattices. I | 1983-01-01 | Paper |
| Lattices of Simplex Type | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3664300 | 1983-01-01 | Paper |
| Inequalities for Point Stable Designs | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3969772 | 1983-01-01 | Paper |
| Quasi-residual 2-designs, 1,5-designs, and strongly regular multigraphs | 1982-01-01 | Paper |
| Completely regular twographs | 1982-01-01 | Paper |
| The second largest eigenvalue of a tree | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3911958 | 1982-01-01 | Paper |
| Rectagraphs, Diagrams, and Suzuki's Sporadic Simple Group | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3953093 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3954739 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3954740 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960709 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3969787 | 1982-01-01 | Paper |
| A Better Estimate for Fixed Points of Contractions | 1982-01-01 | Paper |
| Classification of graphs by regularity | 1981-01-01 | Paper |
| Distance matrices and \(n\)-dimensional designs | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3674680 | 1981-01-01 | Paper |
| STRONG BALANCED TUPLE SYSTEMS, 2-DESIGNS, AND NEAR VECTOR SPACES | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893948 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3899393 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3918131 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3936773 | 1981-01-01 | Paper |
| On a class of edge-regular graphs | 1981-01-01 | Paper |
| Cliques and claws in edge-transitive strongly regular graphs | 1980-01-01 | Paper |
| \(t{1\over 2}\)-designs | 1980-01-01 | Paper |
| Distances, graphs and designs | 1980-01-01 | Paper |
| Strongly regular graphs with smallest eigenvalue -m | 1980-01-01 | Paper |
| Affine Ebenen und Tupelsysteme | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4193473 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4182523 | 1977-01-01 | Paper |
| Taktische Konfigurationen und die Gleichung \(at^x+bt^y=c\) in kommutativen Ringen mit Eins | 1976-01-01 | Paper |
| Taktische Konfigurationen und die Gleichung \(at^x+bt^y=c\) in kommutativen Ringen mit Eins | 1976-01-01 | Paper |
| Inklusions- und Abstimmungssysteme | 1975-01-01 | Paper |
| Rundungsfehleranalyse einiger Verfahren zur Summation endlicher Summen | 1974-01-01 | Paper |
