AbstractIn this paper, we consider numerical techniques which enable us to verify the existence of solutions for a general obstacle problem using computers. We describe the numerical verification algorithm for solving a two dimensional obstacle problem and report a numerical result
In this paper, we consider the unilateral obstacle problem, trying to find the numerical solution an...
AbstractThe numerical solution of the obstacle problem for beams and plates by means of variational ...
summary:We verify functional a posteriori error estimates proposed by S. Repin for a class of obstac...
AbstractIn this paper, we consider a numerical technique which enables us to verify the existence of...
AbstractThis article is an extension of the previous paper (Numer. Math. 81 (1998) 305) by the same ...
AbstractThis paper is a continuation of the preceding study [1] in which we described a method which...
AbstractIn this paper, we consider numerical techniques which enable us to verify the existence of s...
We propose an algorithm to solve the two-phase obstacle problem by finite difference method. We prov...
We propose an algorithm to solve the two-phase obstacle problem by finite difference method. We prov...
AbstractWe proposed some numerical methods for the automatic proof of existence of solutions for som...
AbstractIn this paper, we consider a numerical technique which enables us to verify the existence of...
AbstractWe derive quantitative a posteriori estimates for the error caused by replacing an obstacle ...
In this paper a numerical algorithm, based on the Adomian decomposition method and a modified form o...
Numerical Methods for Solving Obstacle Problems It is well known that a wide class of obstacle and u...
In this paper, we consider the unilateral obstacle problem, trying to find the numerical solution an...
In this paper, we consider the unilateral obstacle problem, trying to find the numerical solution an...
AbstractThe numerical solution of the obstacle problem for beams and plates by means of variational ...
summary:We verify functional a posteriori error estimates proposed by S. Repin for a class of obstac...
AbstractIn this paper, we consider a numerical technique which enables us to verify the existence of...
AbstractThis article is an extension of the previous paper (Numer. Math. 81 (1998) 305) by the same ...
AbstractThis paper is a continuation of the preceding study [1] in which we described a method which...
AbstractIn this paper, we consider numerical techniques which enable us to verify the existence of s...
We propose an algorithm to solve the two-phase obstacle problem by finite difference method. We prov...
We propose an algorithm to solve the two-phase obstacle problem by finite difference method. We prov...
AbstractWe proposed some numerical methods for the automatic proof of existence of solutions for som...
AbstractIn this paper, we consider a numerical technique which enables us to verify the existence of...
AbstractWe derive quantitative a posteriori estimates for the error caused by replacing an obstacle ...
In this paper a numerical algorithm, based on the Adomian decomposition method and a modified form o...
Numerical Methods for Solving Obstacle Problems It is well known that a wide class of obstacle and u...
In this paper, we consider the unilateral obstacle problem, trying to find the numerical solution an...
In this paper, we consider the unilateral obstacle problem, trying to find the numerical solution an...
AbstractThe numerical solution of the obstacle problem for beams and plates by means of variational ...
summary:We verify functional a posteriori error estimates proposed by S. Repin for a class of obstac...
DOI
Add to ORKG