Sciweavers

1730 search results - page 57 / 346
» Algebra and Computation
Sort
View
131
Voted
ACS
1999
15 years 3 months ago
Homotopy Structures for Algebras over a Monad
Marco Grandis, John MacDonald
IPPS
2010
IEEE
15 years 1 months ago
Dense linear algebra solvers for multicore with GPU accelerators
Stanimire Tomov, Rajib Nath, Hatem Ltaief, Jack Do...
76
Voted
VISAPP
2010
15 years 1 months ago
Estimation of Curvatures in Point Sets based on Geometric Algebra
Helmut Seibert, Dietmar Hildenbrand, Meike Becker,...
108
Voted
ECEASST
2010
15 years 1 months ago
On Teaching Logic and Algebraic Specification
ation and logic. The logic courses mainly provided a very abstract and
Till Mossakowski
108
Voted
TCS
2011
14 years 10 months ago
Aspects of predicative algebraic set theory, II: Realizability
Benno van den Berg, Ieke Moerdijk