Sciweavers

3454 search results - page 37 / 691
» Modern computer algebra
Sort
View
MSCS
2008
86views more  MSCS 2008»
13 years 10 months ago
Maurer computers for pipelined instruction processing
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...
Jan A. Bergstra, C. A. Middelburg
JSC
2002
68views more  JSC 2002»
13 years 9 months ago
Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups
, Allen C.) see Innovations in teaching abstract algebra, 2003b:00019 Littlewood, D. E. The skeleton key of mathematics. (English summary) 2003j:01046 Magnin, Louis Quelques questi...
Bettina Eick
ICMS
2010
13 years 8 months ago
The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
There is a growing interest in numeric-algebraic techniques in the computer algebra community as such techniques can speed up many applications. This paper is concerned with one su...
Jihun Yu, Chee Yap, Zilin Du, Sylvain Pion, Herv&e...
CORR
2006
Springer
98views Education» more  CORR 2006»
13 years 10 months ago
A field-theory motivated approach to symbolic computer algebra
Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be ...
Kasper Peeters
CORR
2007
Springer
110views Education» more  CORR 2007»
13 years 10 months ago
Computer algebra in systems biology
Systems biology focuses on the study of entire biological systems rather than on their individual components. With the emergence of high-throughput data generation technologies for...
Reinhard C. Laubenbacher, Bernd Sturmfels