1730 search results - page 41 / 346 » Algebra and Computation |
IWCIA
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper explores the combinatorial aspects of symmetric and antisymmetric forms represented in tensor algebra. The development of geometric perspective gained from ten...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
ISVC
2009
Springer
14 years 4 months ago
2009
Springer
Given a Cylindrical Algebraic Decomposition of an implicit algebraic curve, visualizing distinct curve arcs is not as easy as it stands because, despite the absence of singularitie...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
We survey results in algebraic complexity theory, focusing on matrix multiplication. Our goals are (i.) to show how open questions in algebraic complexity theory are naturally pose...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
One of the main contributions which Volker Weispfenning made to mathematics is related to Gr