The following pages link to Recommended article (P1643):
Displaying 50 items.
- Construction of isolated left orderings via partially central cyclic amalgamation. (Q286718) (← links)
- Isometric deformations of cuspidal edges (Q286720) (← links)
- Wedge operations and torus symmetries (Q286723) (← links)
- A note on Rhodes and Gottlieb-Rhodes groups (Q286727) (← links)
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Proof tree preserving tree interpolation (Q286737) (← links)
- Synchronization in coupled second order in time infinite-dimensional models (Q286738) (← links)
- Stability of solutions to nonlinear wave equations with switching time delay (Q286741) (← 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)
- A note from the guest editors (Q286747) (← 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)
- Transversal designs and induced decompositions of graphs (Q286751) (← links)
- The Erdős-Sós conjecture for spiders of four legs (Q286753) (← links)
- Isomorphy up to complementation (Q286755) (← links)
- Toward Żak's conjecture on graph packing (Q286756) (← links)
- Pancyclicity and Cayley graphs on generalized dihedral groups (Q286758) (← links)
- A Paley-like graph in characteristic two (Q286759) (← links)
- The matrix cover polynomial (Q286760) (← links)
- Inflations of anti-cycles and Hadwiger's conjecture (Q286763) (← 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)
- Distance matching in punctured planar triangulations (Q286771) (← 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)
- 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)
- 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)
