The following pages link to OpenAlex ID (P388):
Displaying 50 items.
- Proof tree preserving tree interpolation (Q286737) (← links)
- Asymptotic behavior of solutions to the cubic coupled Schrödinger systems in one space dimension (Q286743) (← links)
- Well-posedness and global attractor of the Cahn-Hilliard-Brinkman system with dynamic boundary conditions (Q286746) (← links)
- Group-colouring, group-connectivity, claw-decompositions, and orientations in 5-edge-connected planar graphs (Q286749) (← links)
- Problems and results in extremal combinatorics. III. (Q286750) (← links)
- Isomorphy up to complementation (Q286755) (← links)
- Toward Żak's conjecture on graph packing (Q286756) (← links)
- Decomposable and indecomposable critical hypergraphs (Q286766) (← links)
- The structure of graphs with circular flow number 5 or more, and the complexity of their recognition problem (Q286768) (← links)
- Narrowing down the gap on cycle-star Ramsey numbers (Q286769) (← links)
- Cyclable sets of vertices in 3-connected graphs (Q286770) (← links)
- A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle (Q286772) (← links)
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- 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)
