The MAPLE package TDDS for computing Thomas decompositions of systems of nonlinear PDEs nonlinear partial
differential equations are not given in a formally integrable
form in general. In order
Hardy-type inequalities with power and logarithmic weights in domains of the euclidean space depends on the distance function to the domain boundary and has power and
logarithmic singularities. We
On Stability of a Class of Linear Systems with Distributed and Lumped Parameters differential equations in the normal Cauchy
form, we obtain a possibility to construct the Lyapunov function
Inference of low fan-out if-decision diagrams for logarithmic-depth addersInference of low fan-out if-decision diagrams for
logarithmic-depth adders