Sciweavers

1730 search results - page 36 / 346
» Algebra and Computation
Sort
View
ACMSE
2005
ACM
14 years 1 months ago
A metaprogramming approach to generating optimized code for algorithms in linear algebra
an extended abstract for a poster that presents a new approach that employs metaprogramming to generate optimized code for algorithms in Linear Algebra. Categories and Subject Des...
Najaf A. Shah, Anthony Skjellum
JC
2000
78views more  JC 2000»
13 years 7 months ago
Finding at Least One Point in Each Connected Component of a Real Algebraic Set Defined by a Single Equation
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 ...
Fabrice Rouillier, Marie-Françoise Roy, Moh...
COMBINATORICS
2007
87views more  COMBINATORICS 2007»
13 years 7 months ago
Recognizing Cluster Algebras of Finite Type
We compute the list of all minimal 2-infinite diagrams, which are cluster algebraic analogues of extended Dynkin graphs.
Ahmet I. Seven
CIE
2010
Springer
14 years 12 days ago
Processes in Space
We introduce a geometric process algebra based on affine geometry, with the aim of describing the concurrent evolution of geometric structures in 3D space. We prove a relativity th...
Luca Cardelli, Philippa Gardner
STOC
2012
ACM
242views Algorithms» more  STOC 2012»
11 years 10 months ago
Separating multilinear branching programs and formulas
This work deals with the power of linear algebra in the context of multilinear computation. By linear algebra we mean algebraic branching programs (ABPs) which are known to be com...
Zeev Dvir, Guillaume Malod, Sylvain Perifel, Amir ...