formalization
× 7

formalisation

François G. Dorais♦
oct 10 at 3:57

0 


proofassistants
× 21

proofassistant

François G. Dorais♦
oct 10 at 3:54

0 


ac.commutativealgebra
× 2384

commutativerings
× 218

Eric Wofsey
sep 2 at 18:26

0 

pending (1)

journals
× 79

publishing
× 97

Bjørn KjosHanssen
apr 22 at 8:25

0 

pending (0)

cyclotomicintegers
× 13

cyclotomicinteger

Todd Trimble♦
mar 3 at 1:29

0 


cv.complexvariables
× 1228

complexanalysis

Todd Trimble♦
feb 17 at 20:37

9 
sep 28 at 0:15 

nonlinearoptimization
× 127

nonlinearprogramming
× 17

François G. Dorais♦
dec 15 at 20:04

10 
sep 1 at 10:57 

discretegeometry
× 459

combinatorialgeometry
× 194

François G. Dorais♦
dec 15 at 20:02

25 
sep 21 at 13:28 

gn.generaltopology
× 1749

pointsettopology
× 113

Eric Wofsey
dec 4 at 0:09

19 
oct 5 at 18:22 

hodgestructure

hodgestructures
× 8

S. Carnahan♦
nov 13 '14 at 1:46

0 

pending (0)

constructivemathematics
× 66

constructive

Paul Taylor
oct 27 '14 at 11:33

0 


linearprogramming
× 222

linearoptimization

François G. Dorais♦
oct 9 '14 at 0:59

0 


terminology
× 334

names
× 51

Eric Wofsey
sep 8 '14 at 16:13

0 

pending (1)

eigenvalues
× 168

eigenvalue

François G. Dorais♦
sep 4 '14 at 19:35

2 
may 12 at 16:32 

combinatorialdesigns
× 41

designtheory
× 32

François G. Dorais♦
aug 23 '14 at 21:29

5 
aug 22 at 6:32 

isoperimetry
× 26

isoperimetricproblems
× 6

François G. Dorais♦
aug 23 '14 at 21:28

7 
sep 17 at 20:44 

sp.spectraltheory
× 359

spectraltheory

François G. Dorais♦
jul 28 '14 at 19:44

2 
jun 4 at 7:03 

ca.analysisandodes
× 1538

analysis

François G. Dorais♦
jun 1 '14 at 17:36

42 
oct 5 at 18:41 

contactgeometry
× 69

contactmanifolds

François G. Dorais♦
apr 21 '14 at 16:05

1 
17h ago 

configurationspaces
× 60

configurationspace

François G. Dorais♦
apr 21 '14 at 16:00

0 


simplicialpresheaves
× 12

simplicialsheaves

François G. Dorais♦
apr 21 '14 at 15:55

0 


profunctors
× 9

distributor

François G. Dorais♦
apr 21 '14 at 15:54

0 


gt.geometrictopology
× 1782

geometrictopology

Ricardo Andrade
feb 22 '14 at 7:50

2 
mar 14 at 15:00 

dg.differentialgeometry
× 3623

differentialgeometry

Ricardo Andrade
feb 22 '14 at 7:50

11 
aug 9 at 18:25 

mg.metricgeometry
× 1419

metricgeometry

Ricardo Andrade
feb 22 '14 at 7:49

1 
mar 14 at 15:00 

calculusofvariations
× 161

variationalcalculus

François G. Dorais♦
jan 29 '14 at 23:24

1 
may 7 at 14:48 

traces
× 46

trace

François G. Dorais♦
jan 29 '14 at 23:23

3 
may 12 at 9:20 

coalgebras
× 51

coalgebra

François G. Dorais♦
jan 29 '14 at 23:21

0 


associativealgebras
× 29

associativealgebra

François G. Dorais♦
jan 29 '14 at 23:21

0 


infinitecombinatorics
× 33

combinatorialsettheory

François G. Dorais♦
jan 26 '14 at 17:54

0 


computationalcomplexity
× 660

complexitytheory

François G. Dorais♦
jan 26 '14 at 2:03

1 
nov 21 at 14:01 

notation
× 130

syntax

quid
jan 19 '14 at 13:59

2 
jan 8 at 8:29 

matrices
× 1182

matrix

François G. Dorais♦
jan 17 '14 at 16:55

42 
oct 9 at 18:51 

circulantmatrices
× 9

circulantmatrix

François G. Dorais♦
jan 16 '14 at 4:29

1 
jul 5 '14 at 13:50 

orthogonalmatrices
× 11

orthogonalmatrix

François G. Dorais♦
jan 16 '14 at 4:28

1 
mar 22 '14 at 13:26 

adjacencymatrices
× 3

adjacencymatrix

François G. Dorais♦
jan 16 '14 at 4:27

0 


mathematicalwriting
× 95

writing

François G. Dorais♦
jan 15 '14 at 21:52

1 
mar 6 at 17:28 

lo.logic
× 2147

logic

François G. Dorais♦
dec 23 '13 at 17:01

49 
12h ago 

teaching
× 186

pedagogy

François G. Dorais♦
dec 22 '13 at 17:23

0 


semigroups
× 164

semigrouptheory

Scott Morrison♦
dec 15 '13 at 23:48

0 


co.combinatorics
× 3893

combinatorics

François G. Dorais♦
oct 26 '13 at 0:13

91 
oct 8 at 5:11 

smoothmanifolds
× 438

smoothmanifold

François G. Dorais♦
oct 26 '13 at 0:13

0 


pr.probability
× 3287

probability

François G. Dorais♦
oct 26 '13 at 0:12

141 
1d ago 

rt.representationtheory
× 2764

representationtheory

François G. Dorais♦
aug 20 '13 at 7:02

6 
aug 29 at 11:41 

inequalities
× 398

inequality

François G. Dorais♦
jul 22 '13 at 2:09

7 
apr 18 at 13:58 

ca.analysisandodes
× 1538

classicalanalysis

François G. Dorais♦
jun 30 '13 at 21:18

2 
may 25 '14 at 15:26 

computation
× 10

computations

Scott Morrison♦
jun 28 '13 at 1:30

0 


nonassociativealgebras
× 8

nonassociativealgebra

Scott Morrison♦
jun 28 '13 at 1:29

0 


ra.ringsandalgebras
× 1255

algebras

Scott Morrison♦
jun 28 '13 at 1:28

4 
jun 6 '14 at 22:08 

4manifolds
× 93

fourmanifolds

Scott Morrison♦
jun 28 '13 at 1:28

1 
sep 8 '13 at 11:43 

4manifolds
× 93

4manifold

Scott Morrison♦
jun 25 '13 at 15:24

0 


cv.complexvariables
× 1228

complexvariables

Scott Morrison♦
jun 25 '13 at 15:21

3 
nov 10 '14 at 9:36 

nt.numbertheory
× 6607

numbertheory

Scott Morrison♦
jun 25 '13 at 15:09

47 
1d ago 

oa.operatoralgebras
× 822

operatoralgebras

Scott Morrison♦
jun 25 '13 at 15:09

1 
jul 30 '14 at 19:35 

fa.functionalanalysis
× 3170

functionalanalysis

Scott Morrison♦
jun 25 '13 at 15:08

12 
aug 31 at 19:31 

gn.generaltopology
× 1749

generaltopology

Scott Morrison♦
jun 25 '13 at 15:08

6 
jun 19 at 10:25 

at.algebraictopology
× 3772

algebraictopology

Scott Morrison♦
jun 25 '13 at 15:08

7 
jun 9 at 13:29 

gr.grouptheory
× 3683

grouptheory

Scott Morrison♦
jun 25 '13 at 15:08

18 
jan 5 at 18:03 

ra.ringsandalgebras
× 1255

ringsandalgebras

Scott Morrison♦
jun 25 '13 at 15:08

7 
oct 8 at 9:37 

ac.commutativealgebra
× 2384

commutativealgebra

Scott Morrison♦
jun 25 '13 at 15:07

14 
dec 30 at 1:37 

ag.algebraicgeometry
× 9848

algebraicgeometry

Scott Morrison♦
jun 25 '13 at 15:07

30 
jul 24 at 16:42 
