# Tagged Questions

For question borderline with, or having application to, computer science. Consider also posting http://cs.stackexchange.com/ or http://cstheory.stackexchange.com/ instead of here, if appropriate.

1answer
189 views

### Open problems where Haskell meets Category theory or Hopf algebras [closed]

I couldn't find any idea to obtain a problem where Haskell programming language meets Category Theory, Algebraic Topology or Hopf algebras for an original and interesting problem. Also, I wonder ...
2answers
119 views

### Coding SLEs (Schramm–Loewner Evolution) eg. SLE(6)

Any references/links on codes for SLEs written in C++ or Matlab that I can run in Windows (visual studio)? The only code I found was:http://math.arizona.edu/~tgk/research.html but the link was empty. ...
1answer
83 views

### Probability of collision of some family of hash functions

Given $x$ and $y$ in $\mathbb{R}$, and let $\mathcal{H} = \{ h \mid \mathbb{R} \to \mathbb{N} \}$ be a family of hash functions where $h(x) = \left\lfloor x + \sum^C_{i=1} U_i \right\rfloor$ for some ...
1answer
300 views

### What do we call this quantifier (“binder”)?

There's a quantifier ("binder", whatever), call it $\alpha$, defined as follows: $\alpha x.\tau$ is the (usually infinite) expression obtained by applying the substitution $\{x \mapsto \tau\}$ to the ...
0answers
50 views

### computing homology of subvarieties of Euclidean spaces by persistent homology

Let $M$ be a submanifold of the Euclidean space $\mathbb{R}^n$. Let $G$ be a finite group acting on $M$ freely. I want to compute the homology (or even the cohomology ring) of $M/G$. Suppose the ...
0answers
71 views

2answers
182 views

3answers
779 views

### Why does the bitxor function appear in Nim?

I am conducting research in Combinatorial Game Theory (CGT). Although I have done a considerable amount of reading, I do not completely understand why the bit-xor function also known as the nim-sum ...