Lemmas

Results: 207



#Item
11A Rodin plug-in for constructing reusable schematic lemmas Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander Romanovsky Newcastle University, UK

A Rodin plug-in for constructing reusable schematic lemmas Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander Romanovsky Newcastle University, UK

Add to Reading List

Source URL: wiki.event-b.org

Language: English - Date: 2016-05-20 11:29:27
12Analysis III/IV (Math 3011, MathExercise SheetThe Problem Classes this term take place in CG85 at 5pm

Analysis III/IV (Math 3011, MathExercise SheetThe Problem Classes this term take place in CG85 at 5pm

Add to Reading List

Source URL: maths.dur.ac.uk

Language: English - Date: 2012-02-06 13:14:59
13a rodin plug-in for constructing reusable schematic lemmas P. Stankaitis, A. Iliasov, D. Adjepon-Yamoah, A. Romanovsky May 23, 2016 Newcastle University

a rodin plug-in for constructing reusable schematic lemmas P. Stankaitis, A. Iliasov, D. Adjepon-Yamoah, A. Romanovsky May 23, 2016 Newcastle University

Add to Reading List

Source URL: wiki.event-b.org

Language: English - Date: 2016-05-25 03:54:35
14Bayesian persuasion with multiple senders and rich signal spaces Matthew Gentzkow and Emir Kamenica∗ Stanford University and University of Chicago MarchAbstract

Bayesian persuasion with multiple senders and rich signal spaces Matthew Gentzkow and Emir Kamenica∗ Stanford University and University of Chicago MarchAbstract

Add to Reading List

Source URL: faculty.chicagobooth.edu

Language: English - Date: 2016-04-07 12:41:38
15

PDF Document

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2013-01-09 06:40:19
161017  Documenta Math. A Remark on the Gradient Map

1017 Documenta Math. A Remark on the Gradient Map

Add to Reading List

Source URL: documenta.sagemath.org

Language: English - Date: 2014-09-02 17:39:34
17EXTRA PROBLEM SET FOR “DIFFERENTIAL GEOMETRY II” AKA “ANALYSIS AND GEOMETRY ON MANIFOLDS” WINTER TERMPlease see the remarks on our website. Extra problem 1.VLet n ≥ 0 and a : Sn → Sn be the antipodal

EXTRA PROBLEM SET FOR “DIFFERENTIAL GEOMETRY II” AKA “ANALYSIS AND GEOMETRY ON MANIFOLDS” WINTER TERMPlease see the remarks on our website. Extra problem 1.VLet n ≥ 0 and a : Sn → Sn be the antipodal

Add to Reading List

Source URL: carsten.codimi.de

Language: English - Date: 2013-09-23 06:51:00
18Dimensionality reduction via sparse matrices Jelani Nelson Harvard June 17, 2014

Dimensionality reduction via sparse matrices Jelani Nelson Harvard June 17, 2014

Add to Reading List

Source URL: mmds-data.org

Language: English - Date: 2014-06-17 20:36:04
19

PDF Document

Add to Reading List

Source URL: www.math.csi.cuny.edu

Language: English - Date: 2009-05-03 17:58:14
20Change Of Order For Bivariate Triangular Sets ´ Eric Schost  Cyril Pascal

Change Of Order For Bivariate Triangular Sets ´ Eric Schost Cyril Pascal

Add to Reading List

Source URL: www.csd.uwo.ca

Language: English - Date: 2006-12-07 09:59:01