‎motivated by a celebrated theorem of schur‎, ‎we show that if~$gamma$ is a normal subgroup of the full automorphism group $aut(g)$ of a group $g$ such that $inn(g)$ is contained in $gamma$ and $aut(g)/gamma$ has no uncountable abelian subgroups of prime exponent‎, ‎then $[g,gamma]$ is finite‎, ‎provided that the subgroup consisting of all elements of $g$ fixed by $gamma$ has finite index‎. ‎so...

in this paper‎, ‎we give a complete proof of theorem 4.1(ii) and a new‎ ‎elementary proof of theorem 4.1(i) in [li and shen‎, ‎on the‎ ‎intersection of the normalizers of the derived subgroups of all‎ ‎subgroups of a finite group‎, ‎ j‎. ‎algebra, ‎323  (2010) 1349--1357]‎. ‎in addition‎, ‎we also give a generalization of baer's theorem‎.

We prove a robust converse barrier function theorem via the Lyapunov theory. While use of as is straightforward, existence for given safety set not. establish this link by robustness argument. show that closure forward reachable robustly safe must be asymptotically stable under mild technical assumptions. As result, all dynamical systems admit in form stability. present results both continuous-...

We give a new proof of the well known Wedderburn's little theorem (1905) that a finite‎ ‎division ring is commutative‎. ‎We apply the concept of Frobenius kernel in Frobenius representation theorem in finite group‎ ‎theory to build a proof‎.

The Rust programming language has garnered significant interest and use as a modern, type-safe, memory-safe, potentially formally analyzable language. Our in stems from its potential hardware/software co-assurance language, with application to critical systems such autonomous vehicles. We report on the first known of High-Level Synthesis (HLS) Most incumbent HLS languages are subset C. A Rust-b...

Abstract A control system verification framework is presented for unmanned aerial vehicles using theorem proving. The framework’s aim to set out a procedure proving that the mathematically designed of aircraft satisfies robustness requirements ensure safe performance under varying environmental conditions. Extensive mathematical derivations, which have formerly been carried manually, are checke...

Darbo's fixed point theorem and its generalizations play a crucial role in the existence of solutions in integral equations. Meir-Keeler condensing operators is a generalization of Darbo's fixed point theorem and most of other generalizations are a special case of this result. In recent years, some authors applied these generalizations to solve several special integral equations and some of the...

In this note, we aim to present some properties of the space of all weakly fuzzy bounded linear operators, with the Bag and Samanta’s operator norm on Felbin’s-type fuzzy normed spaces. In particular, the completeness of this space is studied. By some counterexamples, it is shown that the inverse mapping theorem and the Banach-Steinhaus’s theorem, are not valid for this fuzzy setting. Also...