C-XSC 2.0

swMATH182MaRDI QIDQ12949FDOQ12949

Author name not available (Why is that?)

Official website: https://www2.math.uni-wuppertal.de/org/WRST/xsc-frame/literatur/lit_wrswt.html

Described by source

• Numerical Software with Result Verification

Cited In (only showing first 100 items - show all)

• Title not available (Why is that?)
• Dense linear system: A parallel self-verified solver
• On Newman polynomials which divide no Littlewood polynomial
• Title not available (Why is that?)
• OPTIMIZATION AND THE MIRANDA APPROACH IN DETECTING HORSESHOE-TYPE CHAOS BY COMPUTER
• Computing enclosures for the inverse square root and the sign function of a matrix
• A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation
• Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
• A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
• Multiple/arbitrary precision interval computations in C-XSC
• Solvers for the verified solution of parametric linear systems
• Remarks on geometric properties of SQG sharp fronts and \(\alpha\)-patches
• Verified error bounds for solutions of Sylvester matrix equations
• The exact dot product as basic tool for long interval arithmetic
• Efficient task scheduling in the parallel result-verifying solution of nonlinear systems
• Motivations for an arbitrary precision interval arithmetic and the MPFI library
• 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.
• A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
• Interval Newton iteration in multiple precision for the univariate case
• Interval analysis: Theory and applications
• Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
• New solutions of the Gelfand problem
• Numerical Software with Result Verification
• Computational existence proofs for spherical \(t\)-designs
• Verified spatial subdivision of implicit objects using implicit linear interval estimations
• Multisection in interval branch-and-bound methods for global optimization. II: Numerical tests
• Multisection in interval branch-and-bound methods for global optimization. I: Theoretical results
• Fast interval matrix multiplication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computer-assisted proofs for semilinear elliptic boundary value problems
• Computational error bounds for multiple or nearly multiple eigenvalues
• Title not available (Why is that?)
• FORTRAN-SC
• FORTRAN-XSC
• INTBIS
• ACETAF
• INTLAB
• CTDSX
• INTOPT_90
• MPSolve
• gaol
• PNM
• SLEEF
• filib++
• FastPILSS
• ParLinSys
• Algorithm 693
• Algorithm 524
• Test Set for IVP Solvers
• INTPAK
• DSI Toolbox
• PLASMA
• MOBILE
• SmartMobile
• SONIC
• VERSOFT
• IbexOpt
• Algorithm 876
• Octave Interval
• CTLEX
• A computer-assisted proof for photonic band gaps
• Inner and outer bounds for the solution set of parametric linear systems
• The transmission process: a combinatorial stochastic process for the evolution of transmission trees over networks
• JInterval
• Moore
• PASCAL-XSC
• PBLAS
• SHGO
• EigenKernel
• EigenExa
• FI_LIB
• ELSES
• k-ep
• V-Clip
• A verified optimization technique to locate chaotic regions of Hénon systems
• ValidatedNumerics.jl
• Title not available (Why is that?)
• Title not available (Why is that?)
• Verification methods: rigorous results using floating-point arithmetic
• Improved validated bounds for Taylor coefficients and for Taylor remainder series
• PROFIL/BIAS - A fast interval library
• Guaranteed estimation of the parameters of nonlinear continuous-time models: contributions of interval analysis
• On Taylor Model Based Integration of ODEs
• High performance verified computing using C-XSC
• High accuracy and interval arithmetic on multicore processors
• A note on the convergence of parametrised non-resonant invariant manifolds
• New interval methods for constrained global optimization
• Verified computation of square roots of a matrix
• Interval arithmetic based optimization in nonlinear regression
• New accurate expressions in C-XSC
• Interval input and output
• Mathematics and speed for interval arithmetic: a complement to IEEE 1788
• Title not available (Why is that?)
• Automatic forward error analysis for floating point algorithms
• Verifying the existence of a zero for all elements of a function set
• Title not available (Why is that?)
• Interval Subroutine Library Mission
• Some properties of linear complementarity problem with a parametric \(P\)-matrix and its smooth approximation problem with the entropy function

This page was built for software: C-XSC 2.0