Mechanically Verifying Real - Valued
نویسندگان
چکیده
vi
منابع مشابه
Pointfree topology version of image of real-valued continuous functions
Let $ { mathcal{R}} L$ be the ring of real-valued continuous functions on a frame $L$ as the pointfree version of $C(X)$, the ring of all real-valued continuous functions on a topological space $X$. Since $C_c(X)$ is the largest subring of $C(X)$ whose elements have countable image, this motivates us to present the pointfree version of $C_c(X).$The main aim of this paper is to present t...
متن کاملThe ring of real-valued functions on a frame
In this paper, we define and study the notion of the real-valued functions on a frame $L$. We show that $F(L) $, consisting of all frame homomorphisms from the power set of $mathbb{R}$ to a frame $ L$, is an $f$-ring, as a generalization of all functions from a set $X$ into $mathbb R$. Also, we show that $F(L) $ is isomorphic to a sub-$f$-ring of $mathcal{R}(L)$, the ring of real-valued continu...
متن کاملCompact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions
We characterize compact composition operators on real Banach spaces of complex-valued bounded Lipschitz functions on metric spaces, not necessarily compact, with Lipschitz involutions and determine their spectra.
متن کاملKeYmaera: A Hybrid Theorem Prover for Hybrid Systems
KeYmaera is a hybrid verification tool for hybrid systems that combines deductive, real algebraic, and computer algebraic prover technologies. It is an automated and interactive theorem prover for a natural specification and verification logic for hybrid systems. KeYmaera supports differential dynamic logic, which is a real-valued first-order dynamic logic for hybrid programs, a program notatio...
متن کاملMechanical spin control of nitrogen-vacancy centers in diamond.
We demonstrate direct coupling between phonons and diamond nitrogen-vacancy (NV) center spins by driving spin transitions with mechanically generated harmonic strain at room temperature. The amplitude of the mechanically driven spin signal varies with the spatial periodicity of the stress standing wave within the diamond substrate, verifying that we drive NV center spins mechanically. These spi...
متن کامل