351 search results - page 3 / 71 » Algebra and Geometry of Rewriting |
AAECC
1997
Springer
13 years 9 months ago
1997
Springer
Based on the notion of an order function we construct and determine the parameters of a class of error-correcting evaluation codes. This class includes the one-point algebraic geo...
COMPGEOM
2008
ACM
13 years 7 months ago
2008
ACM
We present a method to compute the exact topology of a real algebraic surface S, implicitly given by a polynomial f
AMC
2010
13 years 5 months ago
2010
Elimination is a basic algebraic operation which geometrically corresponds to projections. This article describes using the numerical algebraic geometric concept of witness sets t...
JSC
2000
13 years 5 months ago
2000
EUROMICRO
1996
IEEE
13 years 9 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...