Search

Abstract: In this paper, we consider completely generalized nonlinear quasi-variational-like inclusions in Banach spaces and propose an Ishikawa type iterative algorithm for computing their approximate solutions by applying the new notion of -proximal mapping given in [R. Ahmad, A.H. Siddiqi, Z. Khan, Proximal point algorithm for generalized multi-valued nonlinear quasi-variational-like inclusions in Banach spaces, Appl. Math. Comput. 163 (2005) 295–308]. We prove that the approximate solutions obtained by the proposed algorithm converge to the exact solution of our quasi-variational-like inclusions. The results presented in this paper extend and improve the corresponding results of [R. Ahmad, A.H. Siddiqi, Z. Khan, Proximal point algorithm for generalized multi-valued nonlinear quasi-variational-like inclusions in Banach spaces, Appl. Math. Comput. 163 (2005) 295–308; X.P. Ding, F.Q. Xia, A new class of completely generalized quasi-variational inclusions in Banach spaces, J. Comput. Appl. Math. 147 (2002) 369–383; N.J. Huang, Generalized nonlinear variational inclusions with non-compact valued mappings, Appl. Math. Lett. 9(3) (1996) 25–29; A. Hassouni, A. Moudafi, A perturbed algorithm for variational inclusions, J. Math. Anal. Appl. 185(3) (1994) 706–712]. Some special cases are also discussed. [Copyright &y& Elsevier]

Isometric subgraphs of hypercubes, or partial cubes as they are also called, are a rich class of graphs that include median graphs, subdivision graphs of complete graphs, and classes of graphs arising in mathematical chemistry and biology. In general, one can recognize whether a graph on n vertices and m edges is a partial cube in O(mn) steps, faster recognition algorithms are only known for median graphs. This paper exhibits classes of partial cubes that are not median graphs but can be recognized in O(m log n) steps. On the way relevant decomposition theorems for partial cubes are derived, one of them correcting an error in a previous paper (Eur. J. Combin. 19 (1998) 677). [Copyright &y& Elsevier]

Abstract: In this paper, by using the theories and methods of mathematical analysis and computer algebra, a reliable algorithm of finite difference method for solving singular perturbation problems was established, a new matlab procedure ehssp was implemented, too. Several linear and non-linear problems are presented to illustrate the implementation of the program. [Copyright &y& Elsevier]

Abstract: In this paper, by using theories of stochastic process and computer algebra, a reliable algorithm for computing the high-order transition probability matrix of finite Markov chain is established, a new mechanical procedure markovproc is established, too. The procedure markovproc give not only the exact expression of the Markov chains, but also the limiting probability. Some examples are presented to illustrate the implementation of the algorithm. [Copyright &y& Elsevier]

Abstract: In this paper, by using the theories and methods of mathematics analysis and computer algebra, a reliable algorithm for solving high-order nonlinear Volterra–Fredholm integro-differential equations was established, and a new Maple procedure voltfredproc was established too. The results of the examples indicated that the procedure voltfredproc of Taylor polynomial method is simple and effective, and could provide an accuracy approximate solution or exact solution of the high-order nonlinear Volterra–Fredholm integro-differential equation. This would be useful for solving integro-differential equation, integral equations and ordinary differential equation. [Copyright &y& Elsevier]

Abstract: One of the main problems dealing with iterative methods for solving polynomial systemsis the initialization of the iteration. This paper provides an algorithm to initialize the search of solutions of polynomial systems. [Copyright &y& Elsevier]

Abstract: In this paper, the WZ algorithm for the eigenvalue problem of a complex matrix is given. By comparing the WZ method with the LR method, the necessary and sufficient condition of the convergence of the algorithm is proposed. The relation between LR factorization with WZ factorization is proved. The illustrative example demonstrated the high precision of the proposed method. [Copyright &y& Elsevier]

In Ref. [J. Comput. Math. 20 (3) (2002) 301], a new superlinearly convergent algorithm of sequential systems of linear equations for nonlinear optimization problems with inequality constraints was proposed. Since the new algorithm only needs to solve four systems of linear equations having a same coefficient matrix per iteration, the computation amount of the algorithm is much less than that of the existing sequential quadratic programming algorithms per iteration. Under some mild assumptions, the new algorithm is globally convergent and its rate of convergence is one-step superlinearly. In this paper, it is shown that the new algorithm also can be used to deal with nonlinear optimization problems having nonlinearly equality and inequality constraints, by solving an auxiliary problem. Some numerical results are reported. [Copyright &y& Elsevier]