Effective Constructive Algebraic Topology - Institut Fourier

13.08.2013 • Views

Share Embed Flag

Effective Constructive Algebraic Topology - Institut Fourier

Effective Constructive Algebraic Topology - Institut Fourier

DOWNLOAD ePAPER

map.disi.unige.it

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

START NOW

Typical example<br />

extracted from<br />

the encyclopedy:<br />

(Ioan James editor).<br />

14

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
19
20
21
22
23
24
25
26
27

Constructive Algebra - Mathematics, Algorithms and Proofs

Lectures on Constructive Mathematics. - Mathematics, Algorithms ...

A Characteristic Set Method for Solving Boolean Equations

A coinductive approach to digital computation - Mathematics ...

Krull Dimension - CiteSeerX

Operadic Algebraic Topology - Mathematics, Algorithms and Proofs

Proof Mining - Mathematics, Algorithms and Proofs

Typical example extracted from the encyclopedy: (Ioan James editor). 14

Chapter 13 Stable Homotopy and Iterated Loop Spaces Gunnar Carlsson James Milgram 15

Page 1 and 2: Effective Constructive Algebraic To
Page 3 and 4: Three solutions for Constructive Al
Page 5 and 6: Notion of CW-Complex X: X = lim −
Page 7 and 8: Example 2. More generally: 1. X0 =
Page 9 and 10: Simplicial version of P ∞ R: P
Page 11 and 12: Easy up to homotopy. Easiest soluti
Page 13 and 14: CW-complex: X = lim Xn = {(D → n
Page 15: Theorem (Adams, 1956): Let X be a 1
Page 20 and 21: Kenzo computing d5 : [C5(Ω 3 ) =
Page 22 and 23: Analysis of the problem: “Standar
Page 24 and 25: Definition: A (homological) reducti
Page 26 and 27: ρ: h C∗ C∗ g f 1. What is Hn(