Mathematics

Witold Charatonik, Silvano Dal Zilio, Andy Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot

Theoretical Computer Science | November 2003, 第 308 卷(1-3): pp. 277-331

Henrique S. Malvar, Antti Hallapuro, Marta Karczewicz, Louis Kerofsky

IEEE Transactions on Circuits and Systems | July 2003

Daan Leijen

July 2003

July 2003

Short note about division definitions in programming languages

Marin Soljacic, Ken Steiglitz, Suzanne M. Sears, Mordechai Segev, Mariusz Jakubowski, Richard Squier

Physical Review Letters | June 2003, 第 90 卷

Andy Gordon, Alan Jeffrey

Theoretical Computer Science | May 2003, 第 300 卷(1): pp. 379-409

Laszlo Lovasz, Santosh Vempala

MSR-TR-2003-30 | April 2003

Cristiano Calcagno, Luca Cardelli, Andy Gordon

MSR-TR-2002-113 | January 2003

作者：Microsoft

A portion of this work appears in the proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation, New Orleans, January 18, 2003.

访问

Russell Lyons, Yuval Peres, Oded Schramm

Ann. Inst. H. Poincaré Probab. Statist. | January 2003, 第 39 卷: pp. 779-791

Itai Benjamini, Gil Kalai, Oded Schramm

Ann. Probab. | January 2003, 第 31 卷: pp. 1970-1978

Laszlo Lovasz, Santosh Vempala

MSR-TR-2003-04 | January 2003