The original purpose of this repository is to hold a Lean4 formalization of the proof of the Polynomial Freiman-Ruzsa (PFR) conjecture of Katalin Marton (see also ...
Abstract: It is a basic problem for homotopy continuation to minimize multi-homogeneous Bezout number of polynomial systems with multi-homogeneous structure. For a given polynomial system, different ...
Abstract: This article mainly addresses the stabilization issue of discrete-time interval type-2 fuzzy (IT-2F) semi-Markov jump systems in the presence of denial-of-service attacks by means of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results