Inventory: A
The rows of the inventory whose names start with A. 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 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 2001–2100 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| ADCWAR0DBW | ADCWAR0DBW | 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 2504.07573#5RRS |
| Add-and-Remove construction | XGDZ8GRXJ9 | 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 2610.03460#ALTU |
| ADD0MPQ01N | ADD0MPQ01N | 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.30018#6KF2 |
| addend | 7BBSXH1P92 | unknown | open | Wikidata Q54264955, MathWorld Addend |
| ADDFJJV5X8 | ADDFJJV5X8 | 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.15700#BWTW |
| Adding one block | Q17EDST515 | 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.02531#TJDP |
| Adding one coordinate | 777BEQ1SH1 | 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.32710#5LBR |
| adding vectors | 931KNN5VAX | concept | open | lebl_diffyqs index/2.1.1/adding-vectors |
| addition | 3HK43QVZEF | unknown | open | Wikidata Q32043, EoM Addition, MathWorld Addition |
| Addition and multiplication of Witt vectors | GCSAY373XA | 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.37931#GK3O |
| addition of matrices | BJCFVKF223 | concept | open | lebl_diffyqs index/10.2.1/addition-of-matrices |
| Addition theorem | H4WDRHJ3G8 | statement | open | mathlib_1000 Q282331, Wikidata Q282331, thousand_plus Q282331, Wikipedia Addition theorem |
| addition, formal definition of | YZ90HD5690 | concept | open | applied_combinatorics index/B.7.1/addition-formal-definition-of |
| addition, of ordinal numbers | G8Q52326M9 | concept | open | hott_book index/C.5/addition-of-ordinal-numbers |
| addition, of surreal numbers | 1MRXE765YB | concept | open | hott_book index/B.6/addition-of-surreal-numbers |
| Addition-Deletion Theorem for Multiarrangements | YZKQQTERCH | 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 2406.19866#EBT0 |
| addition-multiplication magic square | BX5MKT990K | unknown | open | Wikidata Q2940395, MathWorld Addition-MultiplicationMagicSquare |
| Additional conditions for the full divisor operator | THJNRWXGAM | 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.03520#D1VT |
| Additional flat holonomy | 6WD5A9V62V | 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.03745#7C2L |
| Additional repeated observations | ANN2CC5H35 | 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.37247#7OMD |
| Additional translated head-pair gain | KEN23MZ09K | 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.37164#B01Q |
| Additive and relative errors of the approximation method | MQFCRGQ9NJ | 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.39992#BDQI |
| Additive basis | AXCKM2XXMR | unknown | open | Wikidata Q96371464, EoM Additive_basis |
| Additive capacity | HP2YA9DXBV | 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.26619#VX97 |
| additive category | BPWTZQMFQ4 | definition | open | Wikidata Q4681343, MathWorld AdditiveCategory, nLab additive category, ProofWiki Definition:Additive_Category |
| Additive conductor | WK5VAYG6ET | 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 2610.10583#G0VZ |
| Additive Deligne complex (cf. | Q3DA7YC1F7 | 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.03865#2HI5 |
| Additive energy | 4BQNT71142 | unknown | open | mathlib_overview Combinatorics > Additive combinatorics > Additive energy, Mathlib Finset.addEnergy |
| Additive error of polynomial approximation | TDXHD11NQH | 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.39992#FL0W |
| additive function | KMTJ91VQX2 | unknown | open | Wikidata Q95745348, MathWorld AdditiveFunction |
| additive functor | RFNEDR1ACH | concept | open | Wikidata Q353285, MathWorld AdditiveFunctor, nLab additive functor |
| additive group | Y8J6TTJ9YP | unknown | open | Wikidata Q4681347, EoM Additive_group, MathWorld AdditiveGroup |
| additive identity | D5MSW8BP58 | unknown | open | Wikidata Q2767837, MathWorld AdditiveIdentity |
| Additive integers | 5B8QV1S2DX | example | open | napkin tex/H113/grp-intro.tex#example-1 |
| additive K-theory | 43EQ8GFWBJ | unknown | open | Wikidata Q4681337, nLab additive K-theory |
| Additive noise in Hilbert spaces | AWZKHE1A2X | 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.00501#LJR2 |
| additive number theory | RF44X0F07D | topic | open | Wikidata Q3526722, EoM Additive_number_theory, MathWorld AdditiveNumberTheory |
| additive polynomial | 6P72GNXZRD | concept | open | Wikidata Q4681346, MathWorld AdditivePolynomial |
| additive principle | 7XW2CM8RBG | concept | open | levin_dmoi index/2.1/additive-principle |
| additive principle | N08316D2E2 | concept | open | levin_dmoi index/2.1.1/additive-principle |
| additive process | BQ5ARZ7S8R | unknown | open | Wikidata Q96650562, EoM Additive_stochastic_process |
| Additive quiet-child stability | SKN9JC7007 | 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.09510#YTZS |
| additive subgroups of $\R$ | K57B2RY07M | unknown | open | mathlib_undergrad Single Variable Real Analysis > Topology of R > additive subgroups of $\R$, Mathlib AddSubgroup.dense_or_isCyclic |
| Additive-domain BCH--RS correspondence | KZV0Y4GBET | 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.15815#X1O8 |
| Additively separable functions | ET8VFMH216 | 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 2610.14616#S3D2 |
| Additivity | 5RFX604V0M | 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.01473#VH50 |
| Additivity | J5MAM1ME10 | 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.25111#F74C |
| Additivity along an affine ray | NCY5WWJDAC | 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.08821#HUY3 |
| Additivity of the entropy production | X4WT8JDCWD | 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.36016#TI7J |
| Additivity of Variance | TJJ7KEQJKG | statement | open | austin_ula src/section7-1.xml#prop-variance-additivity |
| Additivity over entangling points | N3JJ1KDQXT | 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.27830#F8R5 |
| Additivity up to bounded error | J93ZD61P2H | 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.27851#WS80 |
| Address | HFEC4KAQD6 | 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 math/0003117#6F1L |
| Address growth | 6DJQA10NKT | 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.07293#X1EZ |
| ADE classification | GABZJ8E7N5 | unknown | open | Wikidata Q2976517, nLab ADE classification |
| ADE1Q8P83G | ADE1Q8P83G | 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.31883#HWZX |
| ADE5T7DTAT | ADE5T7DTAT | 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.25367#88R4 |
| ADE8YQVXHG | ADE8YQVXHG | 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.17737#D732 |
| Adequate diagrams | 95G1GJXRW8 | 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 2610.08583#LZXT |
| adequate equivalence relation | 6WGP5K9CVF | unknown | open | Wikidata Q4682344, nLab adequate equivalence relation |
| ADFXWFTYZA | ADFXWFTYZA | 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.18017#L8SU |
| ADGW4RYQRX | ADGW4RYQRX | 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.27524#8V0H |
| ADGZAMWW3W | ADGZAMWW3W | exercise | open | napkin tex/alg-geom/affine-var.tex#ques-3 |
| ADH0WAJD8Q | ADH0WAJD8Q | 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.15472#E4Z9 |
| ADHBKSEBSQ | ADHBKSEBSQ | 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.13528#EAFA |
| adhesive category | M0860XC7NT | unknown | open | Wikidata Q17001823, nLab adhesive category |
| ADHGRBR21V | ADHGRBR21V | 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.25926#MUXO |
| ADHH Lieb-Robinson estimate | T3FJHB981E | 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.27181#O42R |
| ADHH local conjugation estimate | FFVZT6Z2F3 | 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.27181#WIJD |
| ADHM construction | W8XM3SJ7XA | unknown | open | Wikidata Q4651121, nLab ADHM construction |
| ADHM342J8R | ADHM342J8R | 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.27834#TW0B |
| Adi Shamir | ZC7H1E591H | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q320624, ProofWiki Mathematician:Adi_Shamir |
| adiabatic invariant | H2V49EEQDK | unknown | open | Wikidata Q2632009, EoM Adiabatic_invariant, MathWorld AdiabaticInvariant |
| adiabatic process | JXFSYD0YV8 | topic | open | Wikidata Q182453 |
| Adiabatic theorem | FVBMQMSRM6 | statement | open | mathlib_1000 Q356895, Wikidata Q356895, thousand_plus Q356895, Wikipedia Adiabatic theorem |
| Adic filtration | 80MC3JNDH8 | 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 2610.20801#MHAX |
| Adjacency | BBTMFW9E0W | 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 math/0003117#DVM4 |
| adjacency | M2GTQKSJ0K | 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.25011#X6WD |
| adjacency list | 4GVARCCR4J | unknown | open | Wikidata Q264398, MathWorld AdjacencyList |
| adjacency matrix | QKA1B9EA20 | unknown | open | mathlib_overview Combinatorics > Graph theory > adjacency matrix, Mathlib SimpleGraph.adjMatrix |
| adjacency matrix | V1A0C76WXJ | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q727035, MathWorld AdjacencyMatrix |
| adjacent | TBXYT615KY | concept | open | levin_dmoi index/5/adjacent |
| adjacent | W4T5RFRGFA | concept | open | levin_dmoi index/5.1/adjacent |
| Adjacent one-dimensional interaction | ZVQ3F2QZ22 | 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.32829#V35V |
| adjacent side | DM7KXWB2QK | unknown | open | Wikidata Q140142050, MathWorld AdjacentSide |
| adjacent vertices | X3NW2JGXWE | concept | open | applied_combinatorics index/5.1/adjacent-vertices |
| Adjacent-order growth | CW21PHYNPA | 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.14509#7DX5 |
| ADJAF0GE4V | ADJAF0GE4V | statement | open | open_logic content/model-theory/basics/partial-iso.tex#thm:p-isom2 |
| adjective | KKYK9THY09 | concept | open | hott_book index/9.10/adjective |
| ADJK76E4HG | ADJK76E4HG | 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.17589#Y1VB |
| adjoining a disjoint basepoint | FD5WAA6G2H | concept | open | hott_book index/5.5/adjoining-a-disjoint-basepoint |
| Adjoining an algebraic number | 26QS7KZ0GD | example | open | napkin tex/alg-NT/numfield.tex#example-4 |
| Adjoining them changes nothing | W2D3EV4SDP | 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.26270#A1M0 |
| adjoint bundle | D5BS6M3ZZE | unknown | open | Wikidata Q4683171, nLab adjoint bundle |
| Adjoint capacity | DP67ARSG0E | unknown | open | |
| Adjoint centre action | SXBQH8XQG5 | 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 2610.10745#OEUC |
| Adjoint compositions of gadgets are exact finite factors | R3AG2ED3ZT | 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.04271#N8NZ |
| Adjoint criterion for transversality | RG7G0EHN7D | 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.10993#MI99 |
| adjoint endomorphism | S24QP5CN29 | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > adjoint endomorphism, Mathlib LinearMap.BilinForm.leftAdjointOfNondegenerate |
| adjoint functor | TNX3NV766J | statement | open | mathlib_1000 Q357858, Wikidata Q357858, thousand_plus Q357858, Wikipedia Freyd's adjoint functor theorem, EoM Adjoint_functor, MathWorld AdjointFunctor, nLab adjoint functor |