Abstract: In this article, we study systems of Boolean equations over a network, where each node in the network possesses only one Boolean equation from the system. The Boolean equation assigned at ...

Abstract: A sound and complete Gentzen-typed deduction system is given for a Boolean algebra logic, where the logical connective - is missed and an assignment is a function from the propositional ...

A Cycloidal Drive is a mechanism used in the engineering world as a speed reducer for an input shaft while reversing its direction. It can do this for high ratios in a small space. They do this using ...

Final project @ Numerical Linear Algebra (数值代数) at Peking University. Consider the Stokes equations: $$-\Delta \vec{u} + \nabla p = \vec{F}, (x, y) \in (0,1 ...

A differential equation is an equality constraining a mathematical function in relation to its derivatives over one or multiple variables. Such equations may constitute the mathematical model for a ...