Tag Synonyms

View all active tag synonyms. Learn more about tag synonym privileges

Synonym →	Target	Creator	Created	# of Renames	Last Renamed
f-1	field-with-one-element × 74	David Roberts♦	Mar 17, 2023	0
etcs	elementary-theory-category-of-sets × 8	David Roberts♦	Nov 15, 2022	0
slick-proof	alternative-proof × 113	François G. Dorais	Mar 27, 2021	1	Jan 10, 2022
peano-arithmetic × 193	theories-of-arithmetic × 147	S. Carnahan♦	Oct 20, 2020	80	May 6
positive-characteristic × 106	characteristic-p × 293	LSpice	Aug 11, 2020	15	Mar 23
geometry × 316	mg.metric-geometry × 4179	S. Carnahan♦	May 3, 2020	336	1d ago
discrete-mathematics × 129	co.combinatorics × 11182	S. Carnahan♦	May 3, 2020	330	May 6
abstract-algebra × 166	ra.rings-and-algebras × 3405	S. Carnahan♦	May 3, 2020	341	May 5
integral	integration × 1561	François G. Dorais	Apr 23, 2019	61	Mar 9
presentable-categories × 10	locally-presentable-categories × 77	Mike Shulman	Mar 1, 2019	5	Mar 8
dg-algebras	differential-graded-algebras × 230	François G. Dorais	Feb 10, 2019	0
oc.optimization-control	oc.optimization-and-control × 1204	François G. Dorais	Feb 10, 2019	0
kt.k-theory-homology	kt.k-theory-and-homology × 980	François G. Dorais	Feb 10, 2019	0
ca.classical-analysis	ca.classical-analysis-and-odes × 3637	François G. Dorais	Feb 10, 2019	2	Oct 12, 2022
monoids	semigroups-and-monoids × 621	François G. Dorais	Jan 19, 2019	2	Mar 24, 2023
semigroups	semigroups-and-monoids × 621	François G. Dorais	Jan 19, 2019	3	Dec 20, 2019
stochastic-diff-equations	stochastic-differential-equations × 618	François G. Dorais	Oct 25, 2018	0
qft	quantum-field-theory × 408	Arun Debray	Oct 16, 2018	1	Oct 12, 2019
projective-module	projective-modules × 159	François G. Dorais	Jan 10, 2018	1	Sep 11, 2018
robinson-schensted	robinson-schensted-knuth × 25	François G. Dorais	Jan 7, 2018	0
math-philosophy	mathematical-philosophy × 369	François G. Dorais	Oct 14, 2017	2	Feb 21, 2020
education	mathematics-education × 274	François G. Dorais	Sep 22, 2017	23	Mar 24
tqft	topological-quantum-field-theory × 271	François G. Dorais	Sep 12, 2017	0
ufds	unique-factorization-domains × 22	François G. Dorais	Sep 12, 2017	2	Mar 2, 2020
topology	gn.general-topology × 4719	François G. Dorais	Aug 23, 2017	98	Apr 26
recursion-theory	computability-theory × 1073	François G. Dorais	Aug 9, 2017	3	Mar 11, 2023
digraphs	directed-graphs × 115	François G. Dorais	Aug 9, 2017	0
directed-graph	directed-graphs × 115	François G. Dorais	Aug 9, 2017	0
random-walk	random-walks × 535	François G. Dorais	Aug 9, 2017	3	Nov 26, 2020
estimate	estimation-theory × 116	François G. Dorais	Aug 9, 2017	5	Sep 10
stone-cech	stone-cech-compactification × 97	François G. Dorais	Aug 9, 2017	0
symmetric-group	symmetric-groups × 471	François G. Dorais	Aug 9, 2017	2	Sep 27, 2019
derived-category	derived-categories × 842	François G. Dorais	Aug 9, 2017	0
history	ho.history-overview × 1487	François G. Dorais	Jul 23, 2017	13	Mar 16
sheaves	sheaf-theory × 1006	François G. Dorais	Jun 16, 2017	6	Mar 12
limits	limits-and-convergence × 846	François G. Dorais	Feb 7, 2016	61	Mar 27
convergence	limits-and-convergence × 846	François G. Dorais	Feb 7, 2016	23	Aug 24
colimits	limits-and-colimits × 363	François G. Dorais	Feb 7, 2016	3	Jul 25, 2018
hamiltonian-cycles	hamiltonian-graphs × 114	François G. Dorais	Feb 7, 2016	0
hamiltonian-graph	hamiltonian-graphs × 114	François G. Dorais	Feb 7, 2016	0
algorithmic-topology	computational-topology × 60	François G. Dorais	Feb 6, 2016	1	Sep 23, 2019
cyclotomic-integers	cyclotomic-fields × 102	François G. Dorais	Oct 21, 2015	1	Mar 23, 2018
formalisation	formalization × 19	François G. Dorais	Oct 10, 2015	0
proof-assistant	proof-assistants × 67	François G. Dorais	Oct 10, 2015	0
commutative-rings	ac.commutative-algebra × 5594	Eric Wofsey	Sep 2, 2015	1	Apr 12, 2022
publishing	journals × 318	Bjørn Kjos-Hanssen	Apr 22, 2015	19	Sep 14, 2023
cyclotomic-integer	cyclotomic-fields × 102	Todd Trimble	Mar 3, 2015	0
complex-analysis	cv.complex-variables × 3374	Todd Trimble	Feb 17, 2015	75	Apr 1
nonlinear-programming	nonlinear-optimization × 647	François G. Dorais	Dec 15, 2014	37	May 18, 2020
combinatorial-geometry × 159	discrete-geometry × 1780	François G. Dorais	Dec 15, 2014	182	Apr 26
point-set-topology	gn.general-topology × 4719	Eric Wofsey	Dec 4, 2014	90	Jun 20, 2021
hodge-structures	hodge-structure × 60	S. Carnahan♦	Nov 13, 2014	0
constructive	constructive-mathematics × 319	Paul Taylor	Oct 27, 2014	0
linear-optimization	linear-programming × 492	François G. Dorais	Oct 9, 2014	1	Dec 30, 2016
names	terminology × 955	Eric Wofsey	Sep 8, 2014	1	Oct 14, 2017
eigenvalue	eigenvalues × 885	François G. Dorais	Sep 4, 2014	22	Oct 30
design-theory	combinatorial-designs × 130	François G. Dorais	Aug 23, 2014	17	May 1, 2019
isoperimetry	isoperimetric-problems × 104	François G. Dorais	Aug 23, 2014	28	May 16, 2024
spectral-theory	sp.spectral-theory × 1057	François G. Dorais	Jul 28, 2014	8	Apr 20
analysis	ca.classical-analysis-and-odes × 3637	François G. Dorais	Jun 1, 2014	225	Apr 20
contact-manifolds	contact-geometry × 185	François G. Dorais	Apr 21, 2014	1	Oct 12, 2015
configuration-space	configuration-spaces × 110	François G. Dorais	Apr 21, 2014	0
simplicial-sheaves	simplicial-presheaves × 43	François G. Dorais	Apr 21, 2014	0
distributor	profunctors × 28	François G. Dorais	Apr 21, 2014	0
geometric-topology	gt.geometric-topology × 4321	Ricardo Andrade	Feb 22, 2014	12	Apr 4, 2024
differential-geometry	dg.differential-geometry × 9063	Ricardo Andrade	Feb 22, 2014	66	Apr 1
metric-geometry	mg.metric-geometry × 4179	Ricardo Andrade	Feb 22, 2014	6	May 2, 2022
variational-calculus	calculus-of-variations × 594	François G. Dorais	Jan 29, 2014	1	May 7, 2015
trace	traces × 143	François G. Dorais	Jan 29, 2014	14	Jun 23
coalgebra	coalgebras × 124	François G. Dorais	Jan 29, 2014	2	Apr 23, 2024
associative-algebra	associative-algebras × 92	François G. Dorais	Jan 29, 2014	1	Dec 27, 2020
combinatorial-set-theory	infinite-combinatorics × 547	François G. Dorais	Jan 26, 2014	0
complexity-theory	computational-complexity × 1350	François G. Dorais	Jan 26, 2014	4	Mar 30
syntax	notation × 292	anon	Jan 19, 2014	4	May 4, 2020
matrix	matrices × 3284	François G. Dorais	Jan 17, 2014	188	Apr 25
circulant-matrix	circulant-matrices × 32	François G. Dorais	Jan 16, 2014	1	Jul 5, 2014
orthogonal-matrix	orthogonal-matrices × 118	François G. Dorais	Jan 16, 2014	1	Mar 22, 2014
adjacency-matrix	adjacency-matrices × 29	François G. Dorais	Jan 16, 2014	0
writing	mathematical-writing × 181	François G. Dorais	Jan 15, 2014	9	Dec 19
logic	lo.logic × 5599	François G. Dorais	Dec 23, 2013	222	2d ago
pedagogy	teaching × 266	François G. Dorais	Dec 22, 2013	3	Apr 9
semigroup-theory	semigroups-and-monoids × 621	Kim Morrison	Dec 15, 2013	8	Jan 14, 2020
combinatorics	co.combinatorics × 11182	François G. Dorais	Oct 26, 2013	303	17h ago
smooth-manifold	smooth-manifolds × 1306	François G. Dorais	Oct 26, 2013	1	Sep 3, 2018
probability	pr.probability × 9192	François G. Dorais	Oct 26, 2013	633	Feb 17
representation-theory	rt.representation-theory × 7192	François G. Dorais	Aug 20, 2013	25	Nov 27
inequality	inequalities × 1832	François G. Dorais	Jul 22, 2013	62	Dec 21
classical-analysis	ca.classical-analysis-and-odes × 3637	François G. Dorais	Jun 30, 2013	3	Oct 28, 2021
computations	computation × 42	Kim Morrison	Jun 28, 2013	0
nonassociative-algebra	non-associative-algebras × 62	Kim Morrison	Jun 28, 2013	0
algebras	ra.rings-and-algebras × 3405	Kim Morrison	Jun 28, 2013	13	Oct 24
four-manifolds	4-manifolds × 303	Kim Morrison	Jun 28, 2013	1	Sep 8, 2013
4-manifold	4-manifolds × 303	Kim Morrison	Jun 25, 2013	0
complex-variables	cv.complex-variables × 3374	Kim Morrison	Jun 25, 2013	39	Sep 19, 2023
number-theory	nt.number-theory × 17035	Kim Morrison	Jun 25, 2013	222	2d ago
operator-algebras	oa.operator-algebras × 2209	Kim Morrison	Jun 25, 2013	13	Mar 14
functional-analysis	fa.functional-analysis × 9947	Kim Morrison	Jun 25, 2013	74	Apr 15
general-topology	gn.general-topology × 4719	Kim Morrison	Jun 25, 2013	16	Oct 21
algebraic-topology	at.algebraic-topology × 8594	Kim Morrison	Jun 25, 2013	42	Dec 19
group-theory	gr.group-theory × 8336	Kim Morrison	Jun 25, 2013	59	Apr 26

2 Next