C-XSC
From MaRDI portal
Software:12948
swMATH181MaRDI QIDQ12948FDOQ12948
Author name not available (Why is that?)
Cited In (only showing first 100 items - show all)
- Dense linear system: A parallel self-verified solver
- INTLAB implementation of an interval global optimization algorithm
- Multivariate rational data fitting: General data structure, maximal accuracy and object orientation
- On Newman polynomials which divide no Littlewood polynomial
- Precise numerical computation
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- Title not available (Why is that?)
- Computing enclosures for the inverse square root and the sign function of a matrix
- 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
- Guaranteed estimation of the parameters of nonlinear continuous-time models: Contributions of interval analysis
- Verified error bounds for solutions of Sylvester matrix equations
- Title not available (Why is that?)
- Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit
- Rigorous and portable standard functions
- Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Estimating parameters for generalized mass action models using constraint propagation
- 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.
- Title not available (Why is that?)
- Interval analysis techniques for boundary value problems of elasticity in two dimensions
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- Interval analysis: Theory and applications
- Parallel Processing and Applied Mathematics
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
- A note on epsilon-inflation
- New solutions of the Gelfand problem
- Heuristic rejection in interval global optimization
- Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library
- Computational existence proofs for spherical \(t\)-designs
- Obtaining the efficient set of nonlinear biobjective optimization problems via interval branch-and-bound methods
- Fast interval matrix multiplication
- Title not available (Why is that?)
- How do you compute the midpoint of an interval?
- A software interface and hardware design for variable-precision interval arithmetic
- Solving a huff-like competitive location and design model for profit maximization in the plane
- Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques
- Computational error bounds for multiple or nearly multiple eigenvalues
- Empirical convergence speed of inclusion functions for facility location problems
- Parallel methods for verified global optimization practice and theory
- A new inclusion function for optimization: kite -- the one-dimensional case
- Fast and parallel interval arithmetic
- Title not available (Why is that?)
- On the impact of spatial pattern, aggregation, and model parameters in planar Huff-type competitive location and design problems
- Inner and outer bounds for the solution set of parametric linear systems
- Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Sequential versus simultaneous approach in the location and design of two new facilities using planar Huff-like models
- On a computer-aided approach to the computation of Abelian integrals
- Fast and correctly rounded logarithms in double-precision
- Computer-assisted enclosure methods for elliptic differential equations
- Interval methods for computing strong Nash equilibria of continuous games
- A robust and efficient algorithm for planar competitive location problems
- Zur Berechnung von verlässlichen Außen- und Inneneinschließungen bei parameterabhängigen linearen Gleichungssystemen
- Extended interval Newton method based on the precise quotient set
- Improved validated bounds for Taylor coefficients and for Taylor remainder series
- Interval methods for real-time capable robust control of solid oxide fuel cell systems
- Enclosing all zeros of an analytic function - a rigorous approach
- Title not available (Why is that?)
- A Branch-and-Prune Method for Global Optimization
- High performance verified computing using C-XSC
- High accuracy and interval arithmetic on multicore processors
- Empirical investigation of the convergence speed of inclusion functions in a global otimization context
- Global attractivity of the zero solution for Wright's equation
- Computing Enclosures for the Matrix Exponential
- A note on the convergence of parametrised non-resonant invariant manifolds
- New interval methods for constrained global optimization
- Title not available (Why is that?)
- Interval Methods for Global Optimization Using the Boxing Method
- An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems
- An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations
- Incerteza de Dados em Fluxo de Potência: uma Abordagem com a Matemática Intervalar do C-XSC
- Title not available (Why is that?)
- Optimal centers in branch-and-prune algorithms for univariate global optimization
- Title not available (Why is that?)
- An improved mathematical method for the identification of fuel cell impedance parameters based on the interval arithmetic
- Numerical Software with Result Verification
- Solving Dense Interval Linear Systems with Verified Computing on Multicore Architectures
- The Impact of Data Distribution in Accuracy and Performance of Parallel Linear Algebra Subroutines
- Title not available (Why is that?)
- A certificate-based approach to formally verified approximations
- Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems
- Computable bounds for Taylor coefficients of analytic functions
- Constructing large feasible suboptimal intervals for constrained nonlinear optimization
- Variable-precision, interval arithmetic coprocessors
- A planar single-facility competitive location and design problem under the multi-deterministic choice rule
- Multi-dimensional pruning from the Baumann point in an interval global optimization algorithm
- Locating and Counting Equilibria of the Kuramoto Model with Rank-One Coupling
- New Accurate Expressions in C-XSC
- An approach for solving competitive location problems with variable demand using multicore systems
- Interval extensions of non-smooth functions for global optimization and nonlinear systems solvers
- An interval branch and bound method for global robust optimization
- An efficient approach to solve very large dense linear systems with verified computing on clusters
- Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
- A fast dot-product algorithm with minimal rounding errors
This page was built for software: C-XSC
