cyclotomicfields
× 20

cyclotomicintegers

François G. Dorais♦
oct 21 at 0:19

0 


formalization
× 7

formalisation

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

0 


proofassistants
× 20

proofassistant

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

0 


ac.commutativealgebra
× 2430

commutativerings
× 228

Eric Wofsey
sep 2 at 18:26

0 

pending (1)

journals
× 147

publishing

Bjørn KjosHanssen
apr 22 at 8:25

1 
nov 20 at 13:51 

cyclotomicfields
× 20

cyclotomicinteger

Todd Trimble♦
mar 3 at 1:29

0 


cv.complexvariables
× 1263

complexanalysis

Todd Trimble♦
feb 17 at 20:37

11 
nov 22 at 17:23 

nonlinearoptimization
× 140

nonlinearprogramming
× 17

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

10 
sep 1 at 10:57 

discretegeometry
× 482

combinatorialgeometry
× 194

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

29 
nov 16 at 20:31 

gn.generaltopology
× 1779

pointsettopology
× 112

Eric Wofsey
dec 4 '14 at 0:09

27 
nov 20 at 8:35 

hodgestructure
× 8

hodgestructures

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

0 


constructivemathematics
× 68

constructive

Paul Taylor
oct 27 '14 at 11:33

0 


linearprogramming
× 225

linearoptimization

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

0 


terminology
× 392

names

Eric Wofsey
sep 8 '14 at 16:13

0 


eigenvalues
× 173

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
× 365

spectraltheory

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

2 
jun 4 at 7:03 

ca.analysisandodes
× 1568

analysis

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

45 
nov 11 at 9:10 

contactgeometry
× 70

contactmanifolds

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

1 
oct 12 at 18:37 

configurationspaces
× 66

configurationspace

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

0 


simplicialpresheaves
× 14

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
× 1831

geometrictopology

Ricardo Andrade
feb 22 '14 at 7:50

2 
mar 14 at 15:00 

dg.differentialgeometry
× 3708

differentialgeometry

Ricardo Andrade
feb 22 '14 at 7:50

12 
nov 2 at 14:22 

mg.metricgeometry
× 1467

metricgeometry

Ricardo Andrade
feb 22 '14 at 7:49

1 
mar 14 at 15:00 

calculusofvariations
× 164

variationalcalculus

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

1 
may 7 at 14:48 

traces
× 48

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
× 30

associativealgebra

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

0 


infinitecombinatorics
× 35

combinatorialsettheory

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

0 


computationalcomplexity
× 670

complexitytheory

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

1 
nov 21 '14 at 14:01 

notation
× 131

syntax

quid
jan 19 '14 at 13:59

2 
jan 8 at 8:29 

matrices
× 1202

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
× 2191

logic

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

51 
nov 15 at 12:27 

teaching
× 186

pedagogy

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

0 


semigroups
× 168

semigrouptheory

Scott Morrison♦
dec 15 '13 at 23:48

0 


co.combinatorics
× 4017

combinatorics

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

99 
1d ago 

smoothmanifolds
× 444

smoothmanifold

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

0 


pr.probability
× 3370

probability

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

145 
2d ago 

rt.representationtheory
× 2823

representationtheory

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

6 
aug 29 at 11:41 

inequalities
× 406

inequality

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

8 
nov 17 at 19:36 

ca.analysisandodes
× 1568

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
× 1291

algebras

Scott Morrison♦
jun 28 '13 at 1:28

5 
oct 18 at 15:00 

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
× 1263

complexvariables

Scott Morrison♦
jun 25 '13 at 15:21

3 
nov 10 '14 at 9:36 

nt.numbertheory
× 6790

numbertheory

Scott Morrison♦
jun 25 '13 at 15:09

47 
oct 11 at 13:56 

oa.operatoralgebras
× 840

operatoralgebras

Scott Morrison♦
jun 25 '13 at 15:09

2 
nov 20 at 17:51 

fa.functionalanalysis
× 3237

functionalanalysis

Scott Morrison♦
jun 25 '13 at 15:08

12 
aug 31 at 19:31 

gn.generaltopology
× 1779

generaltopology

Scott Morrison♦
jun 25 '13 at 15:08

6 
jun 19 at 10:25 

at.algebraictopology
× 3858

algebraictopology

Scott Morrison♦
jun 25 '13 at 15:08

7 
jun 9 at 13:29 

gr.grouptheory
× 3771

grouptheory

Scott Morrison♦
jun 25 '13 at 15:08

19 
1h ago 

ra.ringsandalgebras
× 1291

ringsandalgebras

Scott Morrison♦
jun 25 '13 at 15:08

7 
oct 8 at 9:37 

ac.commutativealgebra
× 2430

commutativealgebra

Scott Morrison♦
jun 25 '13 at 15:07

14 
dec 30 at 1:37 

ag.algebraicgeometry
× 10034

algebraicgeometry

Scott Morrison♦
jun 25 '13 at 15:07

31 
oct 20 at 7:36 
