We describe an implementation in type theory of a proof of a pointfree formulation of the Heine Borel covering theorem for intervals with rational endpoints

In this paper an efficient high step-up converter with a coupled- inductor with soft- switching operation is presented. The proposed topology includes a coupled-inductor boost converter for raising the voltage gain. Moreover, a simple auxiliary resonant circuit composed of an auxiliary switch, a clamping diode and a resonant tank (inductor, capacitor), is adopted in this paper. The coupled-indu...

Let X be an arbitrary set and a lattice of subsets ofX such that t/t, X E ..A() is the algebra generated by and I() consists of all zero-one valued finitely additive measures on Various subsets of I() are considered and certain lattices are investigated as well as the topology of closed sets generated by them. The lattices are investigated for normality, regularity, repleteness and completeness...

The aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. All values aretaken in a fixed frame $L$. A definition of (strongly) completelydistributive $L$-ordered sets is introduced. The main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $L$-ordereds...

let $g=(v,e)$ be a simple graph. a set $ssubseteq v$ isindependent set of $g$,  if no two vertices of $s$ are adjacent.the  independence number $alpha(g)$ is the size of a maximumindependent set in the graph. in this paper we study and characterize the independent sets ofthe zero-divisor graph $gamma(r)$ and ideal-based zero-divisor graph $gamma_i(r)$of a commutative ring $r$.