Results 71 to 80 of about 195,496 (282)
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
Advances in Difference Equations, 2017 This paper is concerned with the existence and uniqueness of solutions for a coupled system of fractional differential equations supplemented with the multi-strip and multi-point mixed boundary conditions.
Mengyan Cui, Yuke Zhu, Huihui Pang
doaj +1 more source
The fan theorem and unique existence of maxima
Journal of Symbolic Logic, 2006 AbstractThe existence and uniqueness of a maximum point for a continuous real–valued function on a metric space are investigated constructively. In particular, it is shown, in the spirit of reverse mathematics, that a natural unique existence theorem is equivalent to the fan theorem.
Berger, Josef +2 more
openaire +3 more sources
Advanced Science, EarlyView.This work provides a multifunctional programmable transmissive metasurface with phase and amplitude manipulation capability in the sub‐6G band. By applying different coding strategies, the proposed metasurface can realize vortex beam generation, holographic imaging under phase coding mode, and multi‐beam forming in phase‐amplitude joint coding mode ...
Hao Tian Shi +8 more
wiley +1 more source
A New Existence and Uniqueness Theorem for Continuous Games [PDF]
This paper derives a general sufficient condition for existence and uniqueness in continuous games using a variant of the contraction mapping theorem applied to mapping from a subset of the real line on to itself.
Seamus Hogan
core
Rib‐Reinforced Ultralight and Ultra‐Strong Shell Lattices
Advanced Science, EarlyView.This study thoroughly reveals the relation between the curvature and stress direction of triply periodic minimal surface (TPMS) thin shell lattices and proposes a novel rib reinforcement design strategy to incorporate ribs along the line of asymptotes (LOA) and the line of principal curvatures (LOC) to enhance the strength of ultralight TPMS shell ...
Winston Wai Shing Ma +6 more
wiley +1 more source
Advanced Science, EarlyView.This study introduces a novel metamaterial absorber integrating water as a lossy medium with patterned indium tin oxide (ITO) films to achieve simultaneous optical transparency and ultra‐wideband electromagnetic absorption over 0.52‐40 GHz. It effectively overcomes the limitations of conventional opaque and bulky shielding materials, offering a ...
Xiaojun Huang +5 more
wiley +1 more source
Abstract and Applied Analysis, 2015 We prove the existence and uniqueness of solution for fractional differential equations with Riemann-Liouville fractional integral boundary conditions. The first existence and uniqueness result is based on Banach’s contraction principle.
Mohamed I. Abbas
doaj +1 more source
Advanced Science, EarlyView.This study uncovers two overlooked bottlenecks in cryogenic laser cooling of solids: symmetry‐driven fluorescence trapping and water vapor condensation. We demonstrate that breaking sample symmetry enhances fluorescence escape, while condensation dominates parasitic heating below 135 K.
Biao Zhong +5 more
wiley +1 more source
Mathematical Modelling and Analysis, 2014 In this paper, a mathematical model which describes the explicit time dependent quasistatic frictional contact problems is introduced and studied. The material behavior is described with a nonlinear viscoelastic constitutive law with time-delay and the ...
Si-sheng Yao, Nan-jing Huang
doaj +1 more source