Posted in category "- 数学杂记"

All / - 数学杂记 Category

09-16

Galois Connection & Galois Embedding

08-10

关于Monad

07-27

Logic categories

06-18

Sketching Algorithms for Big Data

06-10

Johnson-Lindenstrauss Lemma

06-01

Sublinear Algorithms

05-31

Sketching, streaming and sub-linear space algorithms

05-08

Galois Theory

05-03

Interactive Proof System

05-02

Immerman-Szelepcsényi Theorem