Cited in
(only showing first 100 items - show all)- Interval arithmetic based optimization in nonlinear regression
- Dense linear system: A parallel self-verified solver
- An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations
- An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems
- Interval Methods for Global Optimization Using the Boxing Method
- scientific article; zbMATH DE number 869750 (Why is no real title available?)
- Multivariate rational data fitting: General data structure, maximal accuracy and object orientation
- Incerteza de Dados em Fluxo de Potência: uma Abordagem com a Matemática Intervalar do C-XSC
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- scientific article; zbMATH DE number 1440932 (Why is no real title available?)
- INTLAB implementation of an interval global optimization algorithm
- Precise numerical computation
- On Newman polynomials which divide no Littlewood polynomial
- Optimal centers in branch-and-prune algorithms for univariate global optimization
- Computing enclosures for the inverse square root and the sign function of a matrix
- scientific article; zbMATH DE number 930353 (Why is no real title available?)
- A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
- Multiple/arbitrary precision interval computations in C-XSC
- Solvers for the verified solution of parametric linear systems
- scientific article; zbMATH DE number 714525 (Why is no real title available?)
- An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic
- Verified error bounds for solutions of Sylvester matrix equations
- Numerical Software with Result Verification
- A solver for complex-valued parametric linear systems
- Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
- scientific article; zbMATH DE number 761488 (Why is no real title available?)
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit
- Estimating parameters for generalized mass action models using constraint propagation
- Rigorous and portable standard functions
- New accurate expressions in C-XSC
- Interval input and output
- Guaranteed analysis and optimisation of parametric systems with application to their stability degree
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- scientific article; zbMATH DE number 5899421 (Why is no real title available?)
- Interval analysis techniques for boundary value problems of elasticity in two dimensions
- Computing enclosures for the matrix exponential
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- Interval analysis: Theory and applications
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
- A note on epsilon-inflation
- New solutions of the Gelfand problem
- An efficient approach to solve very large dense linear systems with verified computing on clusters.
- A certificate-based approach to formally verified approximations
- Computable bounds for Taylor coefficients of analytic functions
- Parallel Processing and Applied Mathematics
- A branch-and-prune method for global optimization
- Heuristic rejection in interval global optimization
- Constructing large feasible suboptimal intervals for constrained nonlinear optimization
- Variable-precision, interval arithmetic coprocessors
- Computational existence proofs for spherical \(t\)-designs
- Obtaining the efficient set of nonlinear biobjective optimization problems via interval branch-and-bound methods
- A computer-assisted existence proof for Emden's equation on an unbounded \(L\)-shaped domain
- Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library
- Fast interval matrix multiplication
- ADHC
- A software interface and hardware design for variable-precision interval arithmetic
- scientific article; zbMATH DE number 2231123 (Why is no real title available?)
- Solving a huff-like competitive location and design model for profit maximization in the plane
- How do you compute the midpoint of an interval?
- A planar single-facility competitive location and design problem under the multi-deterministic choice rule
- Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm
- Empirical convergence speed of inclusion functions for facility location problems
- ACRITH-XSC
- C-XSC 2.0
- FORTRAN-XSC
- INTLIB
- intpakX
- MPFI
- PROFIL/BIAS
- VPI
- AMIGO
- UEGO
- INTLAB
- CTDSX
- INTOPT_90
- FADBAD++
- gaol
- PNM
- logcf
- filib++
- FastPILSS
- MathLink
- ParLinSys
- Cosy
- Algorithm 524
- INTPAK
- DSI Toolbox
- PLASMA
- MOBILE
- SmartMobile
- SONIC
- VERSOFT
- Eigensolve
- IBEX
- ncg
- PRECISE
- Algorithm 876
This page was built for software: C-XSC
