On the public citation graph
On the solution of interval linear systems
0 signed · 76 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-16798-6_4openalex-snapshot
New results on verified inclusions
inferredcites →https://doi.org/10.1007/bf02234767openalex-snapshot
Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
inferredcites →https://doi.org/10.1007/bf02242018openalex-snapshot
A geometric approach for computing a posteriori error bounds for the solution of a linear system
inferredcites →https://doi.org/10.1016/c2009-0-21898-8openalex-snapshot
Introduction to Interval Computation
inferredcites →https://doi.org/10.1016/c2013-0-11018-5openalex-snapshot
Computer Arithmetic in Theory and Practice
inferredcites →https://doi.org/10.1017/cbo9780511526473openalex-snapshot
Interval Methods for Systems of Equations
inferredcites →https://doi.org/10.1090/s0025-5718-1990-1011445-5openalex-snapshot
Rigorous sensitivity analysis for systems of linear and nonlinear equations
inferredcites →https://doi.org/10.1109/ieeestd.2008.4610935openalex-snapshot
IEEE Standard for Floating-Point Arithmetic
inferredcites →https://doi.org/10.1137/0704001openalex-snapshot
Interval Arithmetic in Matrix Computations, Part II
inferredcites →https://doi.org/10.15480/882.321openalex-snapshot
Kleine Fehlerschranken bei Matrixproblemen
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cite.330680503openalex-snapshot
Intervallmathematische Methoden in der Prozeßtechnik — Flexibilität und Unschärfe
inferred← citeshttps://doi.org/10.1007/0-387-32698-7_2openalex-snapshot
Solvability of systems of interval linear equations and inequalities
inferred← citeshttps://doi.org/10.1007/978-0-387-36721-7_2openalex-snapshot
Towards Optimal Techniques for Solving Global Optimization Problems: Symmetry-Based Approach
inferred← citeshttps://doi.org/10.1007/978-1-4615-4541-5_28openalex-snapshot
Aquarels: A Problem-Solving Environment for Validating Scientific Software
inferred← citeshttps://doi.org/10.1007/978-3-540-34690-6_12openalex-snapshot
Swarm Intelligence: Theoretical Proof That Empirical Techniques are Optimal
inferred← citeshttps://doi.org/10.1007/978-3-540-70942-8_41openalex-snapshot
Solving Linear Systems Whose Input Data Are Rational Functions of Interval Parameters
inferred← citeshttps://doi.org/10.1007/978-3-7091-6918-6_14openalex-snapshot
The Wrapping Effect, Ellipsoid Arithmetic, Stability and Confidence Regions
inferred← citeshttps://doi.org/10.1007/978-3-7091-6918-6_15openalex-snapshot
Validated Solution of Large Linear Systems
inferred← citeshttps://doi.org/10.1007/978-3-7091-6918-6_5openalex-snapshot
Two-Stage Interval Iterative Methods
inferred← citeshttps://doi.org/10.1007/978-94-017-1247-7_27openalex-snapshot
A Numerical Verification Method of Solutions for the Navier-Stokes Equations
inferred← citeshttps://doi.org/10.1007/bf03186533openalex-snapshot
A numerical verification method for two-coupled elliptic partial differential equations
inferred← citeshttps://doi.org/10.1007/bf03186535openalex-snapshot
Direct methods for linear systems with inexact input data
inferred← citeshttps://doi.org/10.1007/bf03186543openalex-snapshot
Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
inferred← citeshttps://doi.org/10.1007/s00021-003-0077-3openalex-snapshot
A Numerical Verification of Nontrivial Solutions for the Heat Convection Problem
inferred← citeshttps://doi.org/10.1007/s00158-017-1821-2openalex-snapshot
Optimization-based inverse analysis for membership function identification in fuzzy steady-state heat transfer problem
inferred← citeshttps://doi.org/10.1007/s00466-018-1596-3openalex-snapshot
Dual-stage uncertainty modeling and evaluation for transient temperature effect on structural vibration property
inferred← citeshttps://doi.org/10.1007/s10338-008-0857-7openalex-snapshot
Parallel computing for static response analysis of structures with uncertain-but-bounded parameters
inferred← citeshttps://doi.org/10.1007/s11155-005-3615-2openalex-snapshot
Fast Inclusion of Interval Matrix Multiplication
inferred← citeshttps://doi.org/10.1007/s11155-006-9024-3openalex-snapshot
Interval Finite Elements as a Basis for Generalized Models of Uncertainty in Engineering Mechanics
inferred← citeshttps://doi.org/10.1007/s11433-014-5445-xopenalex-snapshot
A dimension-wise method for the static analysis of structures with interval parameters
inferred← citeshttps://doi.org/10.1016/0377-0427(94)00089-jopenalex-snapshot
Epsilon-inflation in verification algorithms
inferred← citeshttps://doi.org/10.1016/j.apm.2017.03.053openalex-snapshot
Novel reliability-based optimization method for thermal structure with hybrid random, interval and fuzzy parameters
inferred← citeshttps://doi.org/10.1016/j.ast.2018.03.014openalex-snapshot
Hybrid reliability analysis and optimization for spacecraft structural system with random and fuzzy parameters
inferred← citeshttps://doi.org/10.1016/j.cam.2005.07.033openalex-snapshot
On regular and singular interval systems
inferred← citeshttps://doi.org/10.1016/j.cam.2008.03.034openalex-snapshot
A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
inferred← citeshttps://doi.org/10.1016/j.cam.2016.01.055openalex-snapshot
An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
inferred← citeshttps://doi.org/10.1016/j.cma.2019.112713openalex-snapshot
Interval field model and interval finite element analysis
inferred← citeshttps://doi.org/10.1016/j.compstruc.2022.106785openalex-snapshot
A sequential simulation strategy for response bounds analysis of structures with interval uncertainties
inferred← citeshttps://doi.org/10.1016/j.compstruc.2025.107892openalex-snapshot
A Neumann expansion-based sequential simulation method for structural interval finite element analysis
inferred← citeshttps://doi.org/10.1016/j.cor.2006.08.003openalex-snapshot
Efficient interval partitioning—Local search collaboration for constraint satisfaction
inferred← citeshttps://doi.org/10.1016/j.epsr.2017.02.017openalex-snapshot
Midpoint-radius interval-based method to deal with uncertainty in power flow analysis
inferred← citeshttps://doi.org/10.1016/j.ijsolstr.2006.01.012openalex-snapshot
Exact bounds for the static response set of structures with uncertain-but-bounded parameters
inferred← citeshttps://doi.org/10.1016/j.jsv.2012.12.028openalex-snapshot
Hybrid uncertain analysis for structural–acoustic problem with random and interval parameters
inferred← citeshttps://doi.org/10.1016/s0024-3795(00)00127-0openalex-snapshot
An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
inferred← citeshttps://doi.org/10.1016/s0024-3795(98)10044-7openalex-snapshot
Solving interval linear systems with linear programming techniques
inferred← citeshttps://doi.org/10.1016/s0076-5392(08)62857-xopenalex-snapshot
Bibliography on Enclosure Methods and Related Topics
inferred← citeshttps://doi.org/10.1016/s0377-0427(00)00342-3openalex-snapshot
Interval analysis: theory and applications
inferred← citeshttps://doi.org/10.1023/a:1009955613320openalex-snapshot
The Use of Interval Analysis in Hydrologic Systems
inferred← citeshttps://doi.org/10.1023/a:1009976505460openalex-snapshot
A Numerical Verification Method of Solutions for the Navier-Stokes Equations
inferred← citeshttps://doi.org/10.1023/a:1023297204431openalex-snapshot
Epsilon-inflation with contractive interval functions
inferred← citeshttps://doi.org/10.1023/b:numa.0000049477.75366.94openalex-snapshot
An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations
inferred← citeshttps://doi.org/10.1061/(asce)0733-9399(2005)131:10(1102)openalex-snapshot
Penalty-Based Solution for the Interval Finite-Element Methods
inferred← citeshttps://doi.org/10.1061/(asce)0733-9445(2007)133:12(1700)openalex-snapshot
Combined Axial and Bending Stiffness in Interval Finite-Element Methods
inferred← citeshttps://doi.org/10.1061/(asce)em.1943-7889.0000815openalex-snapshot
Interval-Based Approach for Uncertainty Propagation in Inverse Problems
inferred← citeshttps://doi.org/10.1080/01630569908816910openalex-snapshot
An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
inferred← citeshttps://doi.org/10.1108/20439371211273258openalex-snapshot
The definition system and computational rule of grey determinant and its application to n grey equations with n grey linear equations
inferred← citeshttps://doi.org/10.1108/ec-08-2024-0745openalex-snapshot
New test algorithms for system of absolute value equations
inferred← citeshttps://doi.org/10.1109/pesgm.2014.6939274openalex-snapshot
Power flow analysis under uncertainty using symmetric fuzzy arithmetic
inferred← citeshttps://doi.org/10.1109/wac.2002.1049529openalex-snapshot
Swarm intelligence: theoretical proof that empirical techniques are optimal
inferred← citeshttps://doi.org/10.1137/s0036142996299423openalex-snapshot
Enclosing Solutions of Linear Equations
inferred← citeshttps://doi.org/10.1145/384101.384123openalex-snapshot
Symbolic-interval cooperation in constraint programming
inferred← citeshttps://doi.org/10.1177/1687814016684070openalex-snapshot
A substructure-based interval finite element method for problems with uncertain but bounded parameters
inferred← citeshttps://doi.org/10.1177/1687814018769159openalex-snapshot
An improved interval finite element method based on the element-by-element technique for large truss system and plane problems
inferred← citeshttps://doi.org/10.1587/nolta.2.2openalex-snapshot
Numerical verification methods for solutions of semilinear elliptic boundary value problems
inferred← citeshttps://doi.org/10.2478/s11533-011-0067-2openalex-snapshot
Interval algorithm for absolute value equations
inferred← citeshttps://doi.org/10.2514/1.c035960openalex-snapshot
Transient Energy Response Analysis of Vibro-Acoustic Systems with Fuzzy Uncertainty
inferred← citeshttps://doi.org/10.32657/10356/50636openalex-snapshot
Analysis of structures with uncertain parameters using interval method
inferred← citeshttps://doi.org/10.32657/10356/6217openalex-snapshot
New interval partitioning algorithms for global optimization problems
inferred← citeshttps://doi.org/10.3390/app14114556openalex-snapshot
Fixed-Point Iteration Method for Uncertain Parameters in Dynamic Response of Systems with Viscoelastic Elements
inferred← citeshttps://doi.org/10.4028/www.scientific.net/amr.243-249.6955openalex-snapshot
Interval Finite Element Computation Based on INTLAB for Statical Analysis of Truss Structures with Large Uncertainties
inferred← citeshttps://doi.org/10.48550/arxiv.1302.5974openalex-snapshot
Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation
inferred← citeshttps://doi.org/10.70675/b0b03b5dz71bez4393zac8azf05521209705openalex-snapshot
GPU-enhanced power flow analysis
inferred← citeshttps://doi.org/10.70675/b8279c70z1648z454ez9c68z3463e60a26afopenalex-snapshot
Efficient algorithms for verified scientific computing : Numerical linear algebra using interval arithmetic
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.