The following pages link to full work available at URL (P205):
Displaying 50 items.
- The 2013 evaluation of SMT-COMP and SMT-LIB (Q286784) (← links)
- MaLeS: a framework for automatic tuning of automated theorem provers (Q286787) (← links)
- The reflective Milawa theorem prover is sound (down to the machine code that runs it) (Q286790) (← links)
- Erratum to: ``Extension of a decision procedure for a fragment of hybrid logic with binders'' (Q286791) (← links)
- Andrzej Trybulec -- in memoriam (1941--2013) (Q286793) (← links)
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- Reconsidering pairs and functions as sets (Q286796) (← links)
- Mechanizing complemented lattices within Mizar type system (Q286797) (← links)
- Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec (Q286798) (← links)
- MizAR 40 for Mizar 40 (Q286800) (← links)
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- Evidence algorithm and inference search in first-order logics (Q286802) (← links)
- Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver (Q286803) (← links)
- Improving legibility of formal proofs based on the close reference principle is NP-hard (Q286805) (← links)
- Sensitivity analysis for generalized set-valued parametric ordered variational inclusion with \((\alpha, \lambda)\)-NODSM mappings in ordered Banach spaces (Q286809) (← links)
- Common fixed points of ordered \(g\)-contractions in partially ordered metric spaces (Q286810) (← links)
- Krasnoselskii-type algorithm for family of multi-valued strictly pseudo-contractive mappings (Q286812) (← links)
- Some new generalizations of nonempty intersection theorems without convexity assumptions and essential stability of their solution set with applications (Q286813) (← links)
- Several types of well-posedness for generalized vector quasi-equilibrium problems with their relations (Q286814) (← links)
- Weak- and strong-convergence theorems of solutions to split feasibility problem for nonspreading type mapping in Hilbert spaces (Q286816) (← links)
- Fixed points for modified fuzzy \(\psi\)-contractive set-valued mappings in fuzzy metric spaces (Q286818) (← links)
- Iterative algorithms based on hybrid method and Cesàro mean of asymptotically nonexpansive mappings for equilibrium problems (Q286819) (← links)
- Best approximation and fixed-point theorems for discontinuous increasing maps in Banach lattices (Q286821) (← links)
- Relaxed and composite viscosity methods for variational inequalities, fixed points of nonexpansive mappings and zeros of accretive operators (Q286822) (← links)
- Convergence theorems for some multi-valued generalized nonexpansive mappings (Q286824) (← links)
- General split equality problems in Hilbert spaces (Q286827) (← links)
- A fixed point theorem for generalized contractions involving \(w\)-distances on complete quasi-metric spaces (Q286828) (← links)
- Krasnosel'skiĭ-Mann-Opial type iterative solution of \(m\)-accretive operator equation and its stability in arbitrary Banach spaces (Q286830) (← links)
- Strong convergence and stability of Kirk-multistep-type iterative schemes for contractive-type operators (Q286833) (← links)
- On mappings with \(\varphi\)-contractive iterate at a point on generalized metric spaces (Q286836) (← links)
- Common fixed points for weak commutative mappings on a multiplicative metric space (Q286840) (← links)
- Some fixed-point theorems for mixed monotone operators in partially ordered probabilistic metric spaces (Q286841) (← links)
- Approximate solutions to variational inequality over the fixed point set of a strongly nonexpansive mapping (Q286844) (← links)
- Contractive multivalued maps in terms of \(Q\)-functions on complete quasimetric spaces (Q286846) (← links)
- Boundary point algorithms for minimum norm fixed points of nonexpansive mappings (Q286848) (← links)
- Mosco convergence results for common fixed point problems and generalized equilibrium problems in Banach spaces (Q286849) (← links)
- A new explicit iterative algorithm for solving a class of variational inequalities over the common fixed points set of a finite family of nonexpansive mappings (Q286851) (← links)
- Viscosity approximation methods for nonexpansive nonself-mappings without boundary conditions (Q286853) (← links)
- Fixed point approximation of asymptotically nonexpansive mappings in hyperbolic spaces (Q286854) (← links)
- Strong convergence of three-step iteration methods for a countable family of generalized strict pseudocontractions in Hilbert spaces (Q286857) (← links)
- Generalized viscosity approximation methods for nonexpansive mappings (Q286858) (← links)
- Some fixed point theorems for mappings satisfying contractive conditions of integral type (Q286860) (← links)
- Coincidence point theorems for graph-preserving multi-valued mappings (Q286862) (← links)
- Simultaneous iterative algorithms for the split common fixed-point problem of generalized asymptotically quasi-nonexpansive mappings without prior knowledge of operator norms (Q286864) (← links)
- Fixed point theorems for some generalized nonexpansive mappings in Ptolemy spaces (Q286865) (← links)
- Strong and weak convergence theorems for common zeros of finite accretive mappings (Q286866) (← links)
- Approximating a common point of fixed points of a pseudocontractive mapping and zeros of sum of monotone mappings (Q286867) (← links)
- Strong convergence theorem for the modified generalized equilibrium problem and fixed point problem of strictly pseudo-contractive mappings (Q286870) (← links)
- Random fixed point theorems under mild continuity assumptions (Q286872) (← links)
- Common fixed points for some generalized contraction pairs in convex metric spaces (Q286874) (← links)
