Clay Halton was a Business Editor at Investopedia and has been working in the finance publishing field for more than five years. He also writes and edits personal finance content, with a focus on ...
This repository contains a formal proof in Coq of LaSalle's invariance principle. It is tested with Coq v8.10.2, the Mathematical Components library v1.10.0 and the Coquelicot library v3.0.3. It also ...
Abstract: In this paper we present design, construction, and preliminary results of a proof-of-concept prototype of high-temperature superconductor (HTS) shim coils operated at 77 K and energized, for ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback