| Publication | Date of Publication | Type |
|---|
MATRS: heuristic methods for noisy derivative-free bound-constrained mixed-integer optimization
Mathematical Programming Computation | 2025-10-22 | Paper |
An active set method for bound-constrained optimization
Optimization Methods & Software | 2025-01-10 | Paper |
Globally linearly convergent nonlinear conjugate gradients without Wolfe line search
Numerical Algorithms | 2024-12-16 | Paper |
Effective matrix adaptation strategy for noisy derivative-free optimization
Mathematical Programming Computation | 2024-11-29 | Paper |
New subspace method for unconstrained derivative-free optimization
ACM Transactions on Mathematical Software | 2024-09-12 | Paper |
An exact method for the minimum feedback arc set problem
ACM Journal of Experimental Algorithmics | 2022-09-06 | Paper |
Introduction to coherent quantization
Analysis and Mathematical Physics | 2022-07-20 | Paper |
LMBOPT: a limited memory method for bound-constrained optimization
Mathematical Programming Computation | 2022-06-16 | Paper |
Efficient unconstrained black box optimization
Mathematical Programming Computation | 2022-06-16 | Paper |
A unified view of inequalities for distance-regular graphs. I
Journal of Combinatorial Theory. Series B | 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
Journal of Global Optimization | 2019-12-03 | Paper |
Algebraic quantum physics. Volume 1. Quantum mechanics via Lie algebras (to appear)
De Gruyter Studies in Mathematical Physics | 2019-10-08 | Paper |
Coherent quantum physics. A reinterpretation of the tradition
Texts and Monographs in Theoretical Physics | 2019-08-01 | Paper |
Rigorous packing of unit squares into a circle
Journal of Global Optimization | 2019-05-23 | Paper |
An optimal subgradient algorithm with subspace search for costly convex optimization problems
Bulletin of the Iranian Mathematical Society | 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
Journal of Global Optimization | 2018-08-29 | Paper |
Solving structured nonsmooth convex optimization with complexity \(\mathcal {O}(\varepsilon ^{-1/2})\)
Top | 2018-05-24 | Paper |
MINQ8: general definite and bound constrained indefinite quadratic programming
Computational Optimization and Applications | 2018-04-20 | Paper |
| Introduction to coherent spaces | 2018-04-04 | Paper |
Optimal subgradient algorithms for large-scale convex optimization in simple domains
Numerical Algorithms | 2018-01-12 | Paper |
| scientific article; zbMATH DE number 6815822 (Why is no real title available?) | 2017-12-06 | Paper |
Certificates of infeasibility via nonsmooth optimization
Journal of Global Optimization | 2017-11-02 | Paper |
Using interval unions to solve linear systems of equations with uncertainties
BIT | 2017-10-24 | Paper |
A robust approach for finding all well-separated solutions of sparse systems of nonlinear equations
Numerical Algorithms | 2017-10-10 | Paper |
An optimal subgradient algorithm for large-scale bound-constrained convex optimization
Mathematical Methods of Operations Research | 2017-10-10 | Paper |
Bounding basis reduction properties
Designs, Codes and Cryptography | 2017-07-21 | Paper |
The optimization test environment
Optimization and Engineering | 2017-06-19 | Paper |
Faster LLL-type Reduction of Lattice Bases
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
OSGA: a fast subgradient algorithm with optimal complexity
Mathematical Programming. Series A. Series B | 2016-08-25 | Paper |
Linear and parabolic relaxations for quadratic constraints
Journal of Global Optimization | 2016-06-29 | Paper |
Worst case error bounds for the solution of uncertain Poisson equations with mixed boundary conditions
Journal of Computational and Applied Mathematics | 2016-04-18 | Paper |
Constraint aggregation for rigorous global optimization
Mathematical Programming. Series A. Series B | 2016-02-23 | Paper |
Error bounds for initial value problems by optimization
Soft Computing | 2015-11-09 | Paper |
Rigorous verification of feasibility
Journal of Global Optimization | 2015-03-24 | Paper |
Global attractivity of the zero solution for Wright's equation
SIAM Journal on Applied Dynamical Systems | 2014-08-19 | Paper |
Analytic representation of critical equations of state
Journal of Statistical Physics | 2014-08-06 | Paper |
Exclusion regions for optimization problems
Journal of Global Optimization | 2014-07-04 | Paper |
Solving overdetermined eigenvalue problems
SIAM Journal on Scientific Computing | 2013-06-26 | Paper |
On solving mixed-integer constraint satisfaction problems with unbounded variables
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2013-06-04 | Paper |
Towards a self-reflective, context-aware semantic representation of mathematical specifications
Algebraic Modeling Systems | 2012-09-28 | Paper |
Rigorous filtering using linear relaxations
Journal of Global Optimization | 2012-09-27 | Paper |
DynGenPar -- a dynamic generalized parser for common mathematical language
Lecture Notes in Computer Science | 2012-09-07 | Paper |
Convexity and concavity detection in computational graphs: tree walks for convexity assessment
INFORMS Journal on Computing | 2012-07-28 | Paper |
Rigorous enclosures of ellipsoids and directed Cholesky factorizations
SIAM Journal on Matrix Analysis and Applications | 2011-06-15 | Paper |
Potential based clouds in robust design optimization
Journal of Statistical Theory and Practice | 2011-04-18 | Paper |
| Towards a combination of interval and ellipsoid uncertainty | 2010-12-08 | Paper |
Constraint propagation on quadratic constraints
Constraints | 2010-11-19 | Paper |
| scientific article; zbMATH DE number 5775425 (Why is no real title available?) | 2010-08-27 | Paper |
Benchmarking global optimization and constraint satisfaction codes
Lecture Notes in Computer Science | 2010-02-02 | Paper |
| Interval Methods for Systems of Equations | 2009-01-06 | Paper |
A scaling algorithm for polynomial constraint satisfaction problems
Journal of Global Optimization | 2008-11-25 | Paper |
| Classical and Quantum Mechanics via Lie algebras | 2008-10-06 | Paper |
Certified error bounds for uncertain elliptic equations
Journal of Computational and Applied Mathematics | 2008-07-01 | Paper |
New bounds for Morse clusters
Journal of Global Optimization | 2008-06-03 | Paper |
On graphs whose spectral radius is bounded by \(\frac{3}{2}\sqrt{2}\)
Graphs and Combinatorics | 2008-03-14 | Paper |
Transposition Theorems and Qualification‐Free Optimality Conditions
SIAM Journal on Optimization | 2007-11-16 | Paper |
Complete search in continuous global optimization and constraint satisfaction
Acta Numerica | 2007-06-25 | Paper |
Linear systems with large uncertainties, with applications to truss structures
Reliable Computing | 2007-03-06 | Paper |
Interval analysis on directed acyclic graphs for global optimization
Journal of Global Optimization | 2006-02-20 | Paper |
Ensembles and Experiments in Classical and Quantum Physics
International Journal of Modern Physics B | 2005-08-30 | Paper |
Algorithm 808
ACM Transactions on Mathematical Software | 2005-07-20 | Paper |
Estimation of parameters and eigenmodes of multivariate autoregressive models
ACM Transactions on Mathematical Software | 2005-07-20 | Paper |
A comparison of complete global optimization solvers
Mathematical Programming. Series A. Series B | 2005-06-14 | Paper |
Exclusion Regions for Systems of Equations
SIAM Journal on Numerical Analysis | 2005-03-01 | Paper |
Integral approximation of rays and verification of feasibility
Reliable Computing | 2004-08-06 | Paper |
Clouds, fuzzy sets, and probability intervals
Reliable Computing | 2004-08-06 | Paper |
Safe bounds in linear and mixed-integer linear programming
Mathematical Programming. Series A. Series B | 2004-07-01 | Paper |
Dual polar spaces as extremal distance-regular graphs.
European Journal of Combinatorics | 2004-03-14 | Paper |
A New Exact Penalty Function
SIAM Journal on Optimization | 2004-01-19 | Paper |
Rational functions with prescribed global and local minimizers
Journal of Global Optimization | 2003-10-27 | Paper |
Enclosing clusters of zeros of polynomials
Journal of Computational and Applied Mathematics | 2003-08-07 | Paper |
Fuzzy modeling in terms of surprise
Fuzzy Sets and Systems | 2003-05-22 | Paper |
Taylor forms -- use and limits.
Reliable Computing | 2003-04-28 | Paper |
Grand challenges and scientific standards in interval analysis
Reliable Computing | 2002-08-21 | Paper |
The NOP-2 modeling language for nonlinear programming
Annals of Operations Research | 2002-03-26 | Paper |
| scientific article; zbMATH DE number 1595171 (Why is no real title available?) | 2001-05-06 | Paper |
Generalized Lyapunov-Schmidt reduction for parametrized equations at near singular points
Linear Algebra and its Applications | 2001-04-16 | Paper |
Erratum to: ``A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations
Reliable Computing | 2001-03-28 | Paper |
Global optimization by multilevel coordinate search
Journal of Global Optimization | 2001-03-18 | Paper |
On Shary's Algebraic Approach for Linear Interval Equations
SIAM Journal on Matrix Analysis and Applications | 2000-10-19 | Paper |
Existence Verification for Singular Zeros of Complex Nonlinear Systems
SIAM Journal on Numerical Analysis | 2000-10-19 | Paper |
A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations
Reliable Computing | 2000-05-03 | Paper |
| scientific article; zbMATH DE number 1043897 (Why is no real title available?) | 1998-11-15 | Paper |
Solving Ill-Conditioned and Singular Linear Systems: A Tutorial on Regularization
SIAM Review | 1998-09-21 | Paper |
| scientific article; zbMATH DE number 1057693 (Why is no real title available?) | 1998-05-10 | Paper |
Molecular Modeling of Proteins and Mathematical Prediction of Protein Structure
SIAM Review | 1998-02-10 | Paper |
Scaling and structural condition numbers
Linear Algebra and its Applications | 1997-09-29 | Paper |
| scientific article; zbMATH DE number 1057692 (Why is no real title available?) | 1997-09-04 | Paper |
Second-order sufficient optimality conditions for local and global nonlinear programming
Journal of Global Optimization | 1997-08-18 | Paper |
A method of trust region type for minimizing noisy functions
Computing | 1997-01-23 | Paper |
A new pivoting strategy for Gaussian elimination
Linear Algebra and its Applications | 1996-12-05 | Paper |
A grid algorithm for bound constrained optimization of noisy functions
IMA Journal of Numerical Analysis | 1996-02-18 | Paper |
Screening by conference designs
Biometrika | 1996-01-25 | Paper |
Hybrid norms and bounds for overdetermined linear systems
Linear Algebra and its Applications | 1995-11-13 | Paper |
On graphs whose smallest eigenvalue is at least \(-1-\sqrt 2\)
Linear Algebra and its Applications | 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
Computing | 1994-09-01 | Paper |
| scientific article; zbMATH DE number 524106 (Why is no real title available?) | 1994-03-24 | Paper |
Rigorous chaos verification in discrete dynamical systems
Physica D | 1994-01-19 | Paper |
Exceptional graphs with smallest eigenvalue -2 and related problems
Mathematics of Computation | 1993-04-01 | Paper |
Completely regular codes
Discrete Mathematics | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 43547 (Why is no real title available?) | 1992-09-17 | Paper |
| Interval Methods for Systems of Equations | 1992-09-17 | Paper |
An optimality criterion for global quadratic optimization
Journal of Global Optimization | 1992-07-23 | Paper |
Krein conditions and near polygons
Journal of Combinatorial Theory. Series A | 1992-06-25 | Paper |
The Krawczyk operator and Kantorovich's theorem
Journal of Mathematical Analysis and Applications | 1990-01-01 | Paper |
Derived eigenvalues of symmetric matrices, with applications to distance geometry
Linear Algebra and its Applications | 1990-01-01 | Paper |
Solving minimax problems by interval methods
BIT | 1990-01-01 | Paper |
Graph representations, two-distance sets, and equiangular lines
Linear Algebra and its Applications | 1989-01-01 | Paper |
The graphs with spectral radius between 2 and \(\sqrt{2+\sqrt{5}}\)
Linear Algebra and its Applications | 1989-01-01 | Paper |
Rigorous sensitivity analysis for parameter-dependent systems of equations
Journal of Mathematical Analysis and Applications | 1989-01-01 | Paper |
Duality in coherent configurations
Combinatorica | 1989-01-01 | Paper |
A remark on partial linear spaces of girth 5 with an application to strongly regular graphs
Combinatorica | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4073090 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4062487 (Why is no real title available?) | 1988-01-01 | Paper |
An Existence Test for Root Clusters and Multiple Roots
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik | 1988-01-01 | Paper |
A note on Moore's interval test for zeros of nonlinear systems
Computing | 1988-01-01 | Paper |
Some relations between roots, holes, and pillars
European Journal of Combinatorics | 1987-01-01 | Paper |
Overestimation in Linear Interval Equations
SIAM Journal on Numerical Analysis | 1987-01-01 | Paper |
Further results on linear interval equations
Linear Algebra and its Applications | 1987-01-01 | Paper |
Existence of solutions of piecewise differentiable systems of equations
Archiv der Mathematik | 1986-01-01 | Paper |
On the comparison of H-matrices with M-matrices
Linear Algebra and its Applications | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3945249 (Why is no real title available?) | 1986-01-01 | Paper |
Divided Differences, Shift Transformations and Larkin's Root Finding Method
Mathematics of Computation | 1985-01-01 | Paper |
Inner product rounding error analysis in the presence of underflow
Computing | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3883514 (Why is no real title available?) | 1985-01-01 | Paper |
Existence Regions and Error Bounds for Implicit and Inverse Functions
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik | 1985-01-01 | Paper |
Residual Inverse Iteration for the Nonlinear Eigenvalue Problem
SIAM Journal on Numerical Analysis | 1985-01-01 | Paper |
Characerization of a class of distance regular graphs.
Journal für die reine und angewandte Mathematik (Crelles Journal) | 1985-01-01 | Paper |
Characerization of a class of distance regular graphs.
Journal für die reine und angewandte Mathematik (Crelles Journal) | 1985-01-01 | Paper |
Interval iteration for zeros of systems of equations
BIT | 1985-01-01 | Paper |
Some tuple system constructions with applications to resolvable designs
Journal of Combinatorial Theory. Series A | 1984-01-01 | Paper |
The extremal case of some matrix inequalities
Archiv der Mathematik | 1984-01-01 | Paper |
Eigenwertabschätzungen für Matrizen.
Journal für die reine und angewandte Mathematik (Crelles Journal) | 1984-01-01 | Paper |
Exact convergence and divergence domains for the symmetric successive overrelaxation iterative (SSOR) method applied to H-matrices
Linear Algebra and its Applications | 1984-01-01 | Paper |
Some sporadic geometries related to PG(3,2)
Archiv der Mathematik | 1984-01-01 | Paper |
New techniques for the analysis of linear interval equations
Linear Algebra and its Applications | 1984-01-01 | Paper |
An interval version of the secant method
BIT | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3793303 (Why is no real title available?) | 1983-01-01 | Paper |
On norm three vectors in integral Euclidean lattices. I
Mathematische Zeitschrift | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3816915 (Why is no real title available?) | 1983-01-01 | Paper |
Inequalities for Point Stable Designs
Combinatorics '81 in honour of Beniamino Segre, Proceedings of the International Conference on Combinatorial Geometrics and their Applications | 1983-01-01 | Paper |
Discrete hyperbolic geometry
Combinatorica | 1983-01-01 | Paper |
Lattices of Simplex Type
SIAM Journal on Algebraic Discrete Methods | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3774801 (Why is no real title available?) | 1982-01-01 | Paper |
Completely regular twographs
Archiv der Mathematik | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3793320 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3772860 (Why is no real title available?) | 1982-01-01 | Paper |
A Better Estimate for Fixed Points of Contractions
ZAMM - Zeitschrift für Angewandte Mathematik und Mechanik | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3723786 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3774802 (Why is no real title available?) | 1982-01-01 | Paper |
The second largest eigenvalue of a tree
Linear Algebra and its Applications | 1982-01-01 | Paper |
Rectagraphs, Diagrams, and Suzuki's Sporadic Simple Group
North-Holland Mathematics Studies | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3783021 (Why is no real title available?) | 1982-01-01 | Paper |
Quasi-residual 2-designs, 1,5-designs, and strongly regular multigraphs
Geometriae Dedicata | 1982-01-01 | Paper |
Distance matrices and \(n\)-dimensional designs
European Journal of Combinatorics | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3752888 (Why is no real title available?) | 1981-01-01 | Paper |
Classification of graphs by regularity
Journal of Combinatorial Theory. Series B | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3700861 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3707666 (Why is no real title available?) | 1981-01-01 | Paper |
STRONG BALANCED TUPLE SYSTEMS, 2-DESIGNS, AND NEAR VECTOR SPACES
The Quarterly Journal of Mathematics | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3730160 (Why is no real title available?) | 1981-01-01 | Paper |
On a class of edge-regular graphs
Lecture Notes in Mathematics | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3827893 (Why is no real title available?) | 1981-01-01 | Paper |
Cliques and claws in edge-transitive strongly regular graphs
Mathematische Zeitschrift | 1980-01-01 | Paper |
Strongly regular graphs with smallest eigenvalue -m
Archiv der Mathematik | 1980-01-01 | Paper |
\(t{1\over 2}\)-designs
Journal of Combinatorial Theory. Series A | 1980-01-01 | Paper |
Distances, graphs and designs
European Journal of Combinatorics | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3632495 (Why is no real title available?) | 1979-01-01 | Paper |
Affine Ebenen und Tupelsysteme
Geometriae Dedicata | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3619911 (Why is no real title available?) | 1977-01-01 | Paper |
Taktische Konfigurationen und die Gleichung \(at^x+bt^y=c\) in kommutativen Ringen mit Eins
Archiv der Mathematik | 1976-01-01 | Paper |
Taktische Konfigurationen und die Gleichung \(at^x+bt^y=c\) in kommutativen Ringen mit Eins
Archiv der Mathematik | 1976-01-01 | Paper |
Inklusions- und Abstimmungssysteme
Mathematische Zeitschrift | 1975-01-01 | Paper |
Rundungsfehleranalyse einiger Verfahren zur Summation endlicher Summen
ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik | 1974-01-01 | Paper |
