Results 81 to 90 of about 5,594,202 (306)
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Abstract and Applied Analysis, 2014 The aim of this paper is to obtain some new integral type fixed point theorems for nonself weakly compatible mappings in symmetric spaces satisfying generalized (ψ,φ)-contractive conditions employing the common limit range property.
Marwan Amin Kutbi +3 more
doaj +1 more source
FIXED POINT THEOREM FOR MULTIFUNCTIONS
Demonstratio Mathematica, 1984 This paper proves a fixed point theorem for multifunctions by the Ekeland variational principle. As an application a theorem of Lusternik is reobtained, but the argument seems not entirely correct. Using the author's notation, the following counterexample may be considered: \(X=Y\), \(H(x)=x\), \(u=x\), \(T=I\), \(x_ 0=0\). Then p is arbitrary positive,
openaire +2 more sources
The complexity of Tarski’s fixed point theorem
Theoretical Computer Science, 2008 The Knaster-Tarski theorem says that for every complete lattice \(L\), every order-preserving mapping \(f:L\to L\) has a fixed point. This paper studies the query complexity of this problem. The authors present an algorithm that, for a given complete finite lattice \(L\) and an order-preserving mapping \(f\) of \(L\) given by an oracle, finds a fixed ...
Ching-Lueh Chang +2 more
openaire +3 more sources
Fixed point theorems via Nash Equilibria [PDF]
In this note we show that the fixed points of a continuous function (or of an upper semi-continuous correspondence, with non-empty and convex values) can be attained as Nash Equilibria of a game with finitely many players.
Juan Pablo Torres-Martínez
core
New High‐Tc Charge‐Transfer Multiferroicity in the Quasi‐2D Antiferromagnet CrSbS3
Advanced Science, EarlyView.ABSTRACT Low‐dimensional magnets, particularly 2D systems, offer a rich platform for realizing unconventional multiferroic mechanisms, especially when multiple polarization channels coexist. In the quasi‐2D antiferromagnet CrSbS3, which crystallizes in the centrosymmetric orthorhombic space group Pnma and orders magnetically at TN ≈ 90 K, two ...
Hung‐Cheng Wu +17 more
wiley +1 more source
Nonlinear Inequality, Fixed Point and NashEquilibrium [PDF]
In this paper, we give new sufficient conditions for the existence of a solution of theg-maximum equality. As a consequence, we prove a new fixed point theorem.
Moussa Larbani +2 more
core
Advanced Science, EarlyView.This work provides a practical guide for neuroengineers to design advanced neural interfaces, embracing and tailoring the concept of functional disorder. By bridging 2D and 3D in vitro models, this work highlights how non‐periodic, spatially heterogeneous, multiscale nanotopography can enable more physiologically relevant platforms for studying neural ...
F. Maita +4 more
wiley +1 more source
A NOTE ON BRØNDSTED’S FIXED POINT THEOREM
Bulletin of the Australian Mathematical Society, 2023 AbstractWe show that for the case of uniformly convex Banach spaces, the conditions of Brøndsted’s fixed point theorem can be relaxed.
openaire +3 more sources
Advanced Science, EarlyView.Autonomous laboratories can now synthesize materials faster than experts can interpret the resulting diffraction data. A probabilistic framework combines refinement‐fit metrics with large language model‐derived chemical reasoning to rank competing phase interpretations and flag those unsuitable for autonomous use.
Olympia Dartsi +7 more
wiley +1 more source