Sciweavers

2 search results - page 1 / 1
» The XL-Algorithm and a Conjecture from Commutative Algebra
Sort
View
87
Voted
ASIACRYPT
2004
Springer
15 years 2 months ago
The XL-Algorithm and a Conjecture from Commutative Algebra
The “XL-algorithm” is a computational method to solve overdetermined systems of polynomial equations which is based on a generalization of the well-known method of linearizatio...
Claus Diem
CORR
2006
Springer
120views Education» more  CORR 2006»
14 years 9 months ago
Termination orders for 3-dimensional rewriting
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
Yves Guiraud