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,...
ECEASST
2010
15 years 25 days ago
On Teaching Logic and Algebraic Specification
ation and logic. The logic courses mainly provided a very abstract and
Till Mossakowski
106
Voted
TCS
2011
14 years 10 months ago
Aspects of predicative algebraic set theory, II: Realizability
Benno van den Berg, Ieke Moerdijk