From an abstract maximal element principle to optimization problems, stationary point theorems and common fixed point theorems

By Lin Lai-Jiu   Du Wei-Shih  

Journal of Global Optimization, Vol. 46, Iss. 2, 2010-02 ,pp. : 261-271

Springer Publishing Company

Access to resources Recommend Favorite

Rhoades-type fixed-point theorems for a pair of nonself mappings

By Imdad M.   Kumar S.  

Computers and Mathematics with Applications, Vol. 46, Iss. 5, 2003-09 ,pp. : 919-927

Elsevier

Access to resources Recommend Favorite

System of Generalized Vector Quasi-Equilibrium Problems with Applications to Fixed Point Theorems for a Family of Nonexpansive Multivalued Mappings

By Lin Lai-jiu  

Journal of Global Optimization, Vol. 34, Iss. 1, 2006-01 ,pp. : 15-32

Springer Publishing Company

Access to resources Recommend Favorite

Mechanical proof of planimetric theorems of rational type

By Osipov N.  

Programming and Computer Software, Vol. 40, Iss. 2, 2014-03 ,pp. : 71-78

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Formalization of Fixed-Point Arithmetic in HOL

By Akbarpour Behzad   Tahar Sofiène   Dekdouk Abdelkader  

Formal Methods in System Design, Vol. 27, Iss. 1-2, 2005-09 ,pp. : 173-200

Springer Publishing Company

Access to resources Recommend Favorite