An ESLint plugin that enforces logical consistency by transforming negated boolean expressions according to De Morgan’s laws. This plugin automatically rewrites negated conjunctions and disjunctions ...

Abstract: A Boolean network is a logical dynamic system, which has been used to describe cellular networks. Using a new matrix product, called semi-tensor product of matrices, a logical function can ...

Abstract: The symbolic-numeric computation has been extensively developed in scientific computing for experimenting mathematics in numerical programs, like in optimization problems and finite element ...