If S = 0 is a system of n equations and unknowns over C and S() = 0 to what extent can we compute with the point ? In particular, can we decide whether or not a polynomial express...
Abstract. We introduce a pure-streamfunction formulation for the incompressible Navier-Stokes equations. The idea is to replace the vorticity in the vorticity- streamfunction evolu...
Dalia Fishelov, Matania Ben-Artzi, Jean-Pierre Cro...
Pattern recognition of objects on affinely distorted images based on moments is important task researched for many years. Affine moment invariants are significant tool for it. The...
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
Deciding efficiently the emptiness of a real algebraic set defined by a single equation is a fundamental problem of computational real algebraic geometry. We propose an algorithm ...