# 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.

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. ...
187 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 ...
392 views

### A morphism-revealing category? [closed]

Categories of sets and functions can be considered as subcategories of Set but when considered as subcategories of the category SubSet, of pairs of sets with pairs $(X,S)$, $S\subseteq X$, as objects ...
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 ...
3k views

### Wanted: a “Coq for the working mathematician”

Sorry for a possibly off-topic question -- there are four StackExchange subs each of which could be construed as the proper place for this question, and I've just picked the one I'm most familiar with....
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 ...
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 ...