Everything User Search
Here you can list all the writeups contributed by any user.
ariels has 1345 writeups. Showing writeups 1 to 50:
C!s | Writeup Title (type) | Published |
---|---|---|
forwards/backwards | newest/oldest first | |
1C! | Buffon's Needle (thing) | Nov 18 2007 at 03:58:43 |
1C! | generic programming (thing) | Aug 25 2007 at 21:02:46 |
Proof of Sperner's theorem (thing) | Jul 30 2007 at 06:36:38 | |
Sperner's theorem (thing) | Jun 28 2007 at 15:17:12 | |
antichain (thing) | Jun 21 2007 at 08:45:41 | |
virtual destructor (thing) | Jun 04 2007 at 12:40:16 | |
2C!s | Montgomery multiplication (thing) | Jun 12 2006 at 09:00:56 |
1C! | totally disconnected (thing) | Apr 07 2006 at 17:25:21 |
smart pointer (thing) | Apr 02 2006 at 20:02:00 | |
2C!s | prefix-free encoding (thing) | Mar 30 2006 at 22:32:47 |
2C!s | file descriptor (thing) | Mar 30 2006 at 22:00:21 |
every partial order can be extended to a total order (thing) | Mar 22 2006 at 16:26:42 | |
Connectivity is not expressible in first-order logic (thing) | Feb 01 2006 at 08:06:51 | |
2C!s | compactness theorem (thing) | Jan 30 2006 at 19:22:11 |
1C! | accessor (idea) | Jul 02 2005 at 10:35:58 |
Fatou's lemma (thing) | Jun 03 2005 at 16:26:27 | |
measure-preserving transformation (thing) | Apr 29 2005 at 09:02:20 | |
proof using coupling that the site percolation probability function is monotone (thing) | Apr 29 2005 at 08:02:43 | |
finitely satisfiable (thing) | Apr 25 2005 at 14:49:31 | |
1C! | Banach limit (thing) | Apr 24 2005 at 09:29:31 |
April 23, 2005 (idea) | Apr 23 2005 at 08:24:14 | |
monotone convergence theorem (thing) | Feb 05 2005 at 09:06:59 | |
3C!s | nigella rice (thing) | Dec 18 2004 at 09:25:22 |
incremental search (thing) | Nov 14 2004 at 11:38:06 | |
3C!s | fractional dimension (thing) | Sep 04 2004 at 10:35:01 |
2C!s | dimension (thing) | Aug 13 2004 at 09:32:45 |
1C! | longjmp (thing) | Jun 05 2004 at 16:25:01 |
critical percolation (thing) | May 22 2004 at 18:02:29 | |
Percolation (thing) | May 18 2004 at 07:07:33 | |
transitive (thing) | May 18 2004 at 06:46:39 | |
Counting proof that there are infinitely many prime numbers (idea) | May 16 2004 at 18:10:54 | |
1C! | Erdos' proof that the sum of the reciprocals of the primes diverges (idea) | May 16 2004 at 07:29:22 |
2C!s | Using uninitialized memory (essay) | May 01 2004 at 10:11:03 |
unsigned (thing) | Apr 24 2004 at 17:20:38 | |
2C!s | Proof by repeated assertion (idea) | Apr 24 2004 at 16:55:19 |
1C! | __cplusplus (thing) | Apr 14 2004 at 18:56:26 |
co-NP (thing) | Apr 12 2004 at 15:45:09 | |
nice (thing) | Apr 09 2004 at 09:40:49 | |
cut (thing) | Apr 06 2004 at 12:34:19 | |
Ford-Fulkerson algorithm (thing) | Apr 06 2004 at 12:01:12 | |
1C! | grandparented tree (thing) | Jan 17 2004 at 17:04:03 |
zero and nonzero Dehn invariants (thing) | Jan 16 2004 at 17:52:46 | |
1C! | Proof for Hilbert's third problem (idea) | Jan 16 2004 at 17:05:41 |
unimodular (idea) | Jan 07 2004 at 20:08:45 | |
Maximal (idea) | Dec 20 2003 at 15:55:51 | |
let* (thing) | Oct 26 2003 at 13:21:27 | |
2C!s | WEP (idea) | Oct 25 2003 at 17:06:32 |
1C! | Example of an ultraproduct (idea) | Oct 24 2003 at 09:13:02 |
3C!s | ultraproduct (thing) | Oct 24 2003 at 08:14:18 |
1C! | #define (thing) | Oct 04 2003 at 17:06:08 |