Alex Rivera | Logout

Questions tagged algebra

4 questions

Sort by: Newest Votes Active
12
votes
2
answers

How to make catamorphisms work with parameterized/indexed types?

haskell algebra type-systems gadt catamorphism
asked 2013-07-06T12:48:37.760
10
votes
4
answers

I'm curious if Logic Programs can do algebra

prolog algebra declarative clpfd clpq
asked 2012-12-03T19:19:36.307
32
votes
3
answers

What is a "multisorted algebra", and how do I use it to solve "real problems"?

algebra
asked 2010-09-20T16:28:56.330
19
votes
6
answers

How can I remove a column from a sparse matrix efficiently?

python matrix numpy scipy algebra
asked 2010-03-03T03:25:01.327