Sciweavers

1730 search results - page 118 / 346
» Algebra and Computation
Sort
View
141
Voted
ISSAC
2007
Springer
199views Mathematics» more  ISSAC 2007»
15 years 6 months ago
A sparse modular GCD algorithm for polynomials over algebraic function fields
We present a first sparse modular algorithm for computing a greatest common divisor of two polynomials f1, f2 ∈ L[x] where L is an algebraic function field in k ≥ 0 paramete...
Seyed Mohammad Mahdi Javadi, Michael B. Monagan
ICRA
2005
IEEE
123views Robotics» more  ICRA 2005»
15 years 6 months ago
Sizing a Serial Chain to Fit a Task Trajectory Using Clifford Algebra Exponentials
— In this paper we formulate the “generalized inverse kinematics problem” for a spatial serial chain, where the goal is to determine values for structural parameters as well ...
A. Perez, J. Michael McCarthy
CIE
2005
Springer
15 years 6 months ago
A Thread Algebra with Multi-level Strategic Interleaving
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategi...
Jan A. Bergstra, C. A. Middelburg
118
Voted
ISSAC
2004
Springer
102views Mathematics» more  ISSAC 2004»
15 years 6 months ago
FFPACK: finite field linear algebra package
The FFLAS project has established that exact matrix multiplication over finite fields can be performed at the speed of the highly optimized numerical BLAS routines. Since many a...
Jean-Guillaume Dumas, Pascal Giorgi, Clémen...
LICS
1997
IEEE
15 years 5 months ago
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
Martín Hötzel Escardó, Thomas S...