Inventory: T
The rows of the inventory whose names start with T. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 3201–3300 of 11759.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| The Assayer | 39E9E7H2AG | definition | out_of_scope (a book, not an item of mathematics) | Wikidata Q2566559, ProofWiki Book:Galileo_Galilei/Il_Saggiatore, Wikipedia The Assayer |
| The associated cluster algebras | 3TNZZCDVET | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30637#ETGY |
| The associated ice quivers | 6XV4N86ADS | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30637#3CQM |
| The associative law | BX3SS3ZC8X | statement | open | Wikipedia Symbols of grouping#9TX3 |
| The Atiyah and Guillemin-Sternberg theorem | V7CE6XM94S | statement | open | Wikipedia Toric manifold#5DEH |
| The Atiyah–Bott formula | PPTJGEJ81R | statement | open | Wikipedia Moduli stack of principal bundles#JN1C |
| The atom | 3VRVS6M7DG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06480#JMQ1 |
| The axiom of choice implies a group structure | DQ129P338A | statement | open | Wikipedia Group structure and the axiom of choice#9XV0 |
| The Axiom of Counting and subversion of stratification | 2Y0YC18DXF | statement | open | Wikipedia Implementation of mathematics in set theory#DF84 |
| The axiom of dependent choice and no infinite descending sequence of sets implies regularity | CX8NMTSSME | statement | open | Wikipedia Axiom of regularity#W8WX |
| The axiom of reducibility and the notion of "matrix" | HRG4C1QN11 | statement | open | Wikipedia History of type theory#94LE |
| The axiom of separation | BDKZJ4635N | statement | open | Wikipedia Zermelo set theory#GX5R |
| The axioms | KQ6TKGXEGV | statement | open | Wikipedia Von Neumann–Morgenstern utility theorem#2O42 |
| The axioms | NZBTFSJVEK | statement | open | Wikipedia Tarski's axioms#R2J0 |
| The axioms | P7AAA4KSA2 | statement | open | Wikipedia Tarski's axiomatization of the reals#W1KF |
| The axioms | SM44B532TN | statement | open | Wikipedia Hilbert's axioms#T4S0 |
| The axioms | WBTK9PXAF9 | statement | open | Wikipedia Separoid#CXS3 |
| The axioms in Kelley's General Topology | HVXPBMXT2E | statement | open | Wikipedia Morse–Kelley set theory#7PI1 |
| The axioms of a Laguerre plane | CT4S8DGW59 | statement | open | Wikipedia Laguerre plane#GU3M |
| The axioms of S5 | 7RRQE7VXRA | statement | open | Wikipedia S5 (modal logic)#MPF6 |
| The axioms of Zermelo set theory | Y68M5SZCSR | statement | open | Wikipedia Zermelo set theory#TPG7 |
| The Ax–Katz theorem | MTMRQAEEYW | statement | open | Wikipedia Chevalley–Warning theorem#RC5G |
| The Baire space | CM3JH1WCEQ | definition | open | Wikipedia List of topologies#S4DT |
| The Baker–Campbell–Hausdorff formula | 75A0XRAA16 | statement | open | Wikipedia Matrix exponential#RGFE |
| The balanced tilt maximizes | 16DA616S02 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.22301#VH6Z |
| The Banach–Tarski Paradox | 3APD9P4W8T | statement | open | Wikipedia The Banach–Tarski Paradox (book), Wikidata Q96408420 |
| The band cover criterion | BEFQZCH8Q2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27641#NU2K |
| The band problem at a contact | S5ZZV9FQMC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06490#J0Q7 |
| The band theorem at every exponential rate | JPPW9RYMW8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06490#X79S |
| The Bank | XNFBY5N2T3 | unknown | open | Wikipedia List of films about mathematicians#44OC |
| The bar as a bridge, the number line as arrival | MMXX3S2TYH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14735#5A21 |
| The Barcan formula | AM88B8VRCV | statement | open | Wikipedia Barcan formula#7WIN |
| The base-vacuum rule: the spin modulo $1$ | 40NJSSAJWG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18512#WPFM |
| The based loop side | T22YS6T4FQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04164#RSMX |
| The basic lemma | 9M7HW85XYP | statement | open | Wikipedia Separoid#I8KL |
| the basis | FTV715Q2WS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18803#FJI9 |
| The Bauer–Fike Theorem | HW3P71Y0T4 | statement | open | Wikipedia Bauer–Fike theorem#BKWV |
| The BBP formula for | RR8W4MWKX8 | statement | open | Wikipedia Bailey–Borwein–Plouffe formula#P7QO |
| The Beardwood-Halton-Hammersley Theorem | DHS1JFN5SA | statement | open | Wikipedia Jillian Beardwood#HBRD |
| The Beauty of Fractals | Z8TMVFAJH1 | unknown | open | Wikipedia List of mathematics books#LDR5 |
| The Beauville--Mukai system | N1YCJJ91TC | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02481#VFST |
| The Bell Curve | B9K9166Q14 | definition | open | Wikipedia The Bell Curve, Wikidata Q575800 |
| The Bennequin inequality | 3NGTC8WQQB | statement | open | Wikipedia Thurston–Bennequin number#XF0W |
| The Bernays–Tarski axiom system | V83TVC3XB5 | statement | open | Wikipedia Implicational propositional calculus#3OO2 |
| The Bernoulli product law | 1EDAHKEBQ0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26984#2T1J |
| The Bessel-Clifford function of the second kind | H6JJ42PWRW | unknown | open | Wikipedia Bessel–Clifford function#XAVN |
| The Bethe classes of every word | SVNV2768ST | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18512#TD8B |
| The Betke–Kneser theorem | TF1CK1CGSB | statement | open | Wikipedia Ehrhart polynomial#WLE8 |
| The Big Mo | DA1B5X73NC | definition | open | Wikipedia The Big Mo, Wikidata Q7717706 |
| The Big Mo | JW4CK81WC6 | definition | open | Wikipedia The Big Mo (book), Wikidata Q25217386 |
| The binary exception | VBTEDMTP5R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38228#F1AT |
| The binary invariant | 3NCC5JMWGZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.13365#TFS3 |
| The Binet–Cauchy identity and exterior algebra | EARCFJYEAE | statement | open | Wikipedia Binet–Cauchy identity#I28B |
| The Biot–Savart law, Ampère's circuital law, and Gauss's law for magnetism | 5M935PQQPT | statement | open | Wikipedia Biot–Savart law#XNUR |
| The Birch and Swinnerton-Dyer conjecture | RKD5YCQF1M | statement | open | Wikipedia Elliptic curve#XSP0 |
| The Birthday Problem | 5KTBH6CHJC | statement | open | mathlib_100 93, Mathlib Theorems100.birthday, Mathlib Theorems100.birthday_measure |
| The bit as a single spin-bordism coordinate | JS3YYC9JVT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.29839#QIBC |
| The BKL conjecture | SD27HJCQM8 | statement | open | Wikipedia BKL singularity#I0AW |
| The Black Swan: The Impact of the Highly Improbable | 8D11FBDYW6 | definition | open | Wikipedia The Black Swan: The Impact of the Highly Improbable, Wikidata Q2397469 |
| The Blagove\v{s}\v{c}enski\u{i} identities | AW2ZBMPYC0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.13629#N6FH |
| The block filter | 2WHP02P6SZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.20683#9CXS |
| The block theorem and normal approximants | 4TES1CGX0X | statement | open | Wikipedia Padé table#89JN |
| the blocks form a forest | VAW4C9QN5K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05617#2YPQ |
| The Bochner formula and rigidity | DJ5EQVNCKM | statement | open | Wikipedia Harmonic map#UDWY |
| The Book of Healing | AENKWTAHG7 | definition | open | Wikipedia The Book of Healing, Wikidata Q1030940 |
| The Book of Numbers | EJDTBFRPWS | definition | open | Wikipedia The Book of Numbers (math book), Wikidata Q132745982 |
| The Book of Numbers | G8YQY2S5H9 | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q56805646, ProofWiki Book:John_H._Conway/The_Book_of_Numbers |
| The Book of Squares | DCM1BG01RR | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q7719307, ProofWiki Book:Leonardo_Fibonacci/Liber_Quadratorum |
| The Book of Why | WES2Q41WEQ | definition | open | Wikipedia The Book of Why, Wikidata Q98199430 |
| The boost is carried by the difference walk | SBNX8YVR7F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.22301#AG0L |
| The border support model | T6J6W75RS5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27320#HJGW |
| The Borell-Brascamp-Lieb inequality | C8SCYEKXGH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.08319#DVTT |
| The Borel–Harish-Chandra theorem | E2WVX1B1RA | statement | open | Wikipedia Arithmetic group#Q5ZR |
| The Bottle Imp | XEDM07C6H1 | unknown | out_of_scope (a book or a journal, not an item of mathematics) | Wikidata Q82737, MathWorld BottleImpParadox |
| The bottom of the support for small fields | WHHNHVTYRW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06480#ZO3Q |
| The bound can fail completely | FX54KRSGA1 | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05558#132F |
| The bound from the smallest heap | G3N98BARRG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06925#EIXM |
| The bound of the second level | DDT8TMBFWN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25120#O0WZ |
| The bound on the modulus | X04ZK1S66H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26058#24LY |
| The boundary case $\kappa=1$ | X953QD4SAY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04944#PPO1 |
| The boundary cases | SKBC4EGKQZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30544#AFLB |
| The boundary fibre at $t=0$ | 3WYYECZCZH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.04099#WCYB |
| The boundary filtration | 9FE2JX5YPA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00490#8KXL |
| The boundary graph carries $H_1$ | W15TQNK9N3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26196#1V0W |
| The boundary graph of a peel | X7E8ZXQFQH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26196#LEBM |
| The Boundary Layer | G319FMWMM9 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.13222#JMJY |
| The boundary of a triangle | BQBZP5JFGQ | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14783#I6CN |
| The boundary of the boundary is empty | QXYNFN4CJP | statement | open | napkin tex/diffgeo/stokes.tex#theorem-1 |
| The boundary of valuativity | CDAGJXMA4T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20649#WCRM |
| The boundary: meets | W6QHEXRSC6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11002#7I6F |
| The bounded joint reference | 4ZT8SZ9DEF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38228#KCZS |
| The box in $\R$: an exactly solvable case | GZ3EGJP3DF | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15086#JAVO |
| The branch as the limit of the selected leaves | G73AAHT8NV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18350#Q8KE |
| The branch functions | KYDRPPZXCJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06480#2L98 |
| The branched line | DK2P2SCZF7 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26270#KRI2 |
| The branching vertex can be absent from every optimum | X196KYRT9A | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.31535#YGR1 |
| The Bridges Organization | SE53T52HH0 | definition | open | Wikipedia The Bridges Organization, Wikidata Q21015638 |
| The Brieskorn lattices, {\cf | S4HC4V4KRB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2311.01874#LNAV |
| The Brunn–Minkowski inequality | CFDM3ADWQP | statement | open | Wikipedia Minkowski's first inequality for convex bodies#BOU5 |
| The Bulletin of Symbolic Logic | Z42XFWSNV3 | definition | open | Wikipedia List of logic journals#B65W |