Sciweavers

2143 search results - page 22 / 429

» corr 2010

11

CORR
2010
Springer

46views Education» more CORR 2010»

Realizability algebras: a program to well order R

13 years 11 months ago

Realizability algebras: a program to well order R

Download www.pps.jussieu.fr

Jean-Louis Krivine

claim paper

Read More »

15

CORR
2010
Springer

49views Education» more CORR 2010»

Stability of fast algorithms for structured linear systems

13 years 11 months ago

Stability of fast algorithms for structured linear systems

Download cs.anu.edu.au

Richard P. Brent

claim paper

Read More »

26

CORR
2010
Springer

85views Education» more CORR 2010»

When Knowing Early Matters: Gossip, Percolation and Nash Equilibria

13 years 11 months ago

When Knowing Early Matters: Gossip, Percolation and Nash Equilibria

Download www.stat.berkeley.edu

David J. Aldous

claim paper

Read More »

17

CORR
2010
Springer

41views Education» more CORR 2010»

Realizability algebras II : new models of ZF + DC

13 years 11 months ago

Realizability algebras II : new models of ZF + DC

Download www.pps.jussieu.fr

Jean-Louis Krivine

claim paper

Read More »

13

CORR
2010
Springer

96views Education» more CORR 2010»

Recovering randomness from an asymptotic Hamming distance

13 years 11 months ago

Recovering randomness from an asymptotic Hamming distance

Download www.math.hawaii.edu

Bjørn Kjos-Hanssen

claim paper

Read More »

« Prev « First page 22 / 429 Last » Next »