Parametric Linear System of Equations, Whose Elements are Nonlinear Functions
暂无分享,去创建一个
[1] Walter Krämer,et al. C-XSC 2.0: A C++ Library for Extended Scientific Computing , 2003, Numerical Software with Result Verification.
[2] Arnold Neumaier,et al. Linear Systems with Large Uncertainties, with Applications to Truss Structures , 2007, Reliab. Comput..
[3] Walter Krämer,et al. Zur Berechnung von verlässlichen Außen‐ und Inneneinschließungen bei parameterabhängigen linearen Gleichungssystemen , 2004 .
[5] Tom Schanz,et al. Mechanical Models with Interval Parameters , 2003 .
[6] Evgenija D. Popova. Parametric Fixed-Point Iteration Implemented in C-XSC Evgenija Popova , 2004 .
[7] Evgenija D. Popova,et al. Non-commercial Research and Educational Use including without Limitation Use in Instruction at Your Institution, Sending It to Specific Colleagues That You Know, and Providing a Copy to Your Institution's Administrator. All Other Uses, Reproduction and Distribution, including without Limitation Comm , 2022 .
[8] E. R. Hansen,et al. A Generalized Interval Arithmetic , 1975, Interval Mathematics.
[9] A. Wiethoff,et al. C – XSC 2 . 0 : A C + + Class Library for Extended Scientific Computing , 2002 .
[10] Eldon Hansen,et al. Global optimization using interval analysis , 1992, Pure and applied mathematics.
[11] F. Thouverez,et al. ANALYSIS OF MECHANICAL SYSTEMS USING INTERVAL COMPUTATIONS APPLIED TO FINITE ELEMENT METHODS , 2001 .
[12] Evgenija D. Popova. Generalization of a Parametric Fixed‐Point Iteration , 2004 .
[13] G. Alefeld,et al. Introduction to Interval Computation , 1983 .
[14] Lubomir V. Kolev,et al. A Method for Outer Interval Solution of Linear Parametric Systems , 2004, Reliab. Comput..
[15] George F. Corliss,et al. Formulation for Reliable Analysis of Structural Frames , 2007, Reliab. Comput..
[16] Walter Krämer,et al. Generalized Intervals and the Dependency Problem , 2006 .
[17] Lubomir V. Kolev. Solving Linear Systems Whose Elements Are Nonlinear Functions of Intervals , 2004, Numerical Algorithms.
[18] S. Rump. Verification methods for dense and sparse systems of equations , 1994 .