syn·thet·ic

adjoint type theoryalgebraic geometryalgebraic number theoryalgebraic statisticsalgebraic topologyanabelian geometryanalytic functionanalytic number theoryanalytical mechanicsarithmetic geometryassociative algebrabayesian statisticsbeta functioncategory theoryclifford algebracoding theorycohomology theorycombinatoricscombinatory logiccommutative algebracommutative groupcomplex analysiscomputability theorycomputational biologycomputational effectcomputational geometryconstructive algebracubical type theorydifferential algebradifferential calculusdifferential equationdifferential geometrydifferential topologydiophantine geometrydiscrete differential geometrydiscrete geometrydomain theoryeffectelectromagnetismelliptic integralergodic theoryexterior algebrafield theoryfloating-point arithmeticfourier analysisfractalfree modulefunctional analysisfunctional equationgalois theorygamma functiongauge theorygeneral relativity theorygeometric algebrageometric topologygraph theorygroup theoryharmonic analysisheyting algebrahigher-order logichigher algebrahigher category theoryhilbert spacehomological algebrahomology theoryhomotopical algebrahomotopy theoryhomotopy type theoryhopf algebrahypergeometric functionincidence algebrainductive typeinformation geometryinformation theoryintegral calculusinter-universal teichmüller theoryk-theoryknot theorylambda calculuslambda cubelegendre polynomialslie algebralinear algebralinear type theorylocalelogarithmmathematical logicmatroidmeasure theorymetric spacemetric tensormodal type theorymodel theorymodule theorymomentmorse theorymultilinear algebramultimodal type theorymultivariable calculusmultivariate analysismultivariate statisticsnominalnon-standard analysisnumber theorynumerical analysisoperator algebraoperator theoryorder theoryordinal analysisp-adic analysispolynomialpostnikov systemprobability theoryprojective geometryproof theoryq-analogquadratic curvequantalequantum statistical mechanicsquantum theoryquantum type theoryreal analysisrealisability theoryrecursion schemeregular categoryregular expressionrepresentation theoryreverse mathematicsricci calculusring theorysemanticssequent calculusseriesset theorysheaf theorysimplexsimplex categorysimplicial type theoryspectral theorystar-algebrastatistical mechanicssuperstring theorysymplectic geometrysynthetic differential geometrysynthetic geometrysynthetic topologyteichmüller spacetemporal type theorytensor networkthermodynamicstopological quantum computationtopological quantum field theorytopologytopos theorytrigonometric functiontwo-level type theorytype theoryuniversal algebravariational calculusvector calculusweil algebra