1730 search results - page 135 / 346 » Algebra and Computation |
97
Voted
MOC
2002
15 years 13 days ago
2002
Some useful information is known about the fundamental domain for certain Hilbert modular groups. The six nonequivalent points with nontrivial isotropy in the fundamental domains u...
89
Voted
ICALP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
130
Voted
NCA
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
100
Voted
AISC
2008
Springer
15 years 2 months ago
2008
Springer
We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infrastructure as part of the SCIEnce (Symbolic Computation I...
SPAA
2010
ACM
14 years 11 months ago
2010
ACM
We describe parallel implementations of LU factorization with pivoting for multicore architectures. Implementations that differ in two different dimensions are discussed: (1) usin...