This paper extends the modified affine arithmetic in matrix form method for bivariate polynomial evaluation and algebraic curve plotting in 2D to modified affine arithmetic in tensor form for trivariate polynomial evaluation and algebraic surface plotting in 3D. Experimental comparison shows that modified affine arithmetic in tensor form is not only more accurate but also much faster than stand...

We investigate three approaches to VLSI implementation of wavelet lters. The direct form structure, the lattice form structure, and an algebraic structure are used to derive diierent architectures for wavelet lters. The algebraic structure exploits conjugacy properties in number elds. All approaches are explained in detail for the Daubechies 4-tab lters. We outline the philosophy of a design me...

— Concerning algebraic grammars in reduced form, bisimulation in the graph ofleft dérivations is known to be décidable. The quotient of the above graph by ils greatest bisimulation, called the canonical graph, is indeed isomorphic to the graph ofleft dérivations for another algebraic grammar in reduced form, produced by an effective procedure.

We study germs of singular varieties in a symplectic space. In [A1], V. Arnol’d discovered so called ‘‘ghost’’ symplectic invariants which are induced purely by singularity. We introduce algebraic restrictions of di¤erential forms to singular varieties and show that this ghost is exactly the invariants of the algebraic restriction of the symplectic form. This follows from our generalization of ...

In this work, we define the notion of an algebraic distance in algebraic cone metric spaces defined by Niknam et al. [A. Niknam, S. Shamsi Gamchi and M. Janfada, Some results on TVS-cone normed spaces and algebraic cone metric spaces, Iranian J. Math. Sci. Infor. 9 (1) (2014), 71--80] and introduce some its elementary properties. Then we prove the existence and uniqueness of fixed point for a B...