0377-0427

Journal of Computational and Applied Mathematics （JACM） - Volume 199, Issue 2 论文列表

点击这里查看 Journal of Computational and Applied Mathematics 的JCR分区、影响因子等信息
卷期号： Volume 199, Issue 2
发布时间： 15 February 2007
卷期年份： 2007
卷期官网： https://www.sciencedirect.com/journal/journal-of-computational-and-applied-mathematics/vol/199/issue/2
本期论文列表
IFC editors 2nd issue

Preface

Super-fast validated solution of linear systems

Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes

Consistency tests in guaranteed simulation of nonlinear uncertain systems with application to an activated sludge process

On regular and singular interval systems

On multistep interval methods for solving the initial value problem

An efficient estimate based on FFT in topological verification method

An eigenvalue problem for derogatory matrices

Interval modeling of dynamics for multibody systems

On computer-assisted proofs for solutions of linear complementarity problems

A verified method for bounding clusters of zeros of analytic functions

The convergence rate of continued fractions representing solutions of a Riccati equation

Guaranteed nonlinear parameter estimation in knowledge-based models

On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains

A COCR method for solving complex symmetric linear systems

Existence test for solution of nonlinear systems applying affine arithmetic

Inner and outer bounds for the solution set of parametric linear systems

Principles of verified numerical integration

Remarks on a posteriori error estimation for finite element solutions

A method of obtaining verified solutions for linear systems suited for Java

A new scheme of computing the approximate inverse preconditioner for the reduced linear systems

Interval methods for verifying structural optimality of circle packing configurations in the unit square

Verified convex hull and distance computation for octree-encoded objects

Improved convergence theorems of Newton's method designed for the numerical verification for solutions of differential equations

An efficient and safe framework for solving optimization problems

Towards a computer-assisted proof for chaos in a forced damped pendulum equation

Empirical convergence speed of inclusion functions for facility location problems

Two acceleration mechanisms in verified global optimization

Proving the existence of zeros using the topological degree and interval arithmetic

Interval-type and affine arithmetic-type techniques for handling uncertainty in expert systems

From intervals to domains: Towards a general description of validated uncertainty, with potential applications to geospatial and meteorological data

Interval versions of statistical techniques with applications to environmental analysis, bioinformatics, and privacy in statistical databases

Discrepancy between theory and real computation on the stability of some finite element schemes

A method for separating nearly multiple eigenvalues for Hermitian matrix

Parallel interval Newton-like Schwarz methods for almost linear parabolic problems

Numerical verification of stationary solutions for Navier–Stokes problems

author index volume