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 2101–2200 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Adjoint identities for Majorana quasiderivations | PPYHVRKNTF | 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#APT3 |
| Adjoint Koopman Eigenpair | 1SB7Y68N6M | 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.32652#LEGW |
| Adjoint obstruction | YZRX4CQCXC | 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.36410#IA1G |
| adjoint operator | 4W9P8F0BG9 | unknown | open | mathlib_overview Analysis > Hilbert spaces > adjoint operator, Mathlib LinearPMap.adjoint |
| adjoint representation | T29AMXSEJ1 | unknown | open | Wikidata Q1017106, MathWorld LieGroupAdjointRepresentation, nLab adjoint representation |
| adjoint representation of a Lie algebra | GP1TW5S0E0 | unknown | open | Wikidata Q4379157, MathWorld AdjointRepresentation |
| Adjoint tail identity for integrable perturbations | 7N1RZJ6A2R | 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.21363#8C85 |
| adjoint, equivalence | 3V1GTY4K1X | concept | open | hott_book index/1.4/adjoint-equivalence |
| adjoint, equivalence | GBMBPWKXXR | concept | open | hott_book index/2.9/adjoint-equivalence |
| adjoint, equivalence | WPZ1REZZBY | concept | open | hott_book index/3.9/adjoint-equivalence |
| adjoint, equivalence, of types, half | 6X7W8AQ7QE | concept | open | hott_book index/3.2/adjoint-equivalence-of-types-half |
| adjoint, functor | 2DHXDK3V01 | concept | open | hott_book index/1.15/adjoint-functor |
| adjoint, functor | 5V55DR9AGX | concept | open | hott_book index/2.5/adjoint-functor |
| adjoint, functor | 7NCYDR1WKG | concept | open | hott_book index/2.9/adjoint-functor |
| adjoint, functor | E1NCB8SHK3 | concept | open | hott_book index/1/adjoint-functor |
| adjoint, functor | N80A0Y255J | concept | open | hott_book index/C.1.4/adjoint-functor |
| adjoint, functor theorem | 896NDTECWH | concept | open | hott_book index/5.11/adjoint-functor-theorem |
| adjoint, linear map | DN9RFJ2KV9 | concept | open | hott_book index/2.7/adjoint-linear-map |
| ADJPSNQT91 | ADJPSNQT91 | 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.18281#PTYW |
| ADJQN9CE33 | ADJQN9CE33 | 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.20663#NAYD |
| Adjugate equations | NXYVSJF5HN | 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.25762#RV0T |
| adjugate matrix | WQ1C08GYW2 | definition | node (a node has the same name as the row) | Wikidata Q225107, ProofWiki Definition:Adjugate_Matrix |
| adjunction | DBNJPQ39YE | unknown | open | mathlib_overview General algebra > Category theory > adjunction, Mathlib CategoryTheory.Adjunction |
| Adjunction | PVCGKBKN3W | 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.39293#TKLK |
| Adjunction and existing suprema | K8EYJR2T6G | 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.14859#OCG6 |
| Adjunction for a blow-up | 2XGA49QVQA | 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.16962#8A1T |
| Adjunction for invariant divisors | 4GR46PANPV | 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 2103.12669#0ANU |
| Adjunction for non-invariant divisors | 50KRRNWZPC | 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 2103.12669#OIIW |
| Adjustable rate budgets | F5YZH52QMN | 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.09356#FZK7 |
| Adjustable scalar interpolation | G8D5D07J3R | 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.18884#J57S |
| ADK9D8W4YK | ADK9D8W4YK | 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.27673#GNTP |
| ADKGJ3BV47 | ADKGJ3BV47 | 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.33124#VJEK |
| Adkisson--Ben-Neria | X37M5VCWF9 | 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.19088#MMZI |
| ADKPHHCMKV | ADKPHHCMKV | 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.07259#SCNZ |
| ADM4ZCKWMV | ADM4ZCKWMV | 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 2005.03073#WSC6 |
| ADMDARRBAD | ADMDARRBAD | 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.21080#4PCQ |
| admirable number | R8JGVT9B7P | object | open | Wikidata Q10886944, OEIS A111592 |
| Admissibility | 4VWK2KB4AC | 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.03231#6G7Z |
| Admissibility and value | KX19AS87GC | 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.05164#94JD |
| Admissibility of the coupled trial family | ETBWTKMV60 | 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.19837#H86W |
| Admissibility of the zero-input factor | A3PBXKPHPR | 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.03242#GP3J |
| Admissible | 3CANJXZ6Y1 | 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.03231#15K9 |
| Admissible and ample families of bisections | 5ATSZSTYR2 | 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.25987#B047 |
| Admissible approximations | YEG00WTFN9 | 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 2506.08233#85TI |
| Admissible block lengths | WSN51B5WK4 | 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.09341#30IQ |
| Admissible chain | 6MHDGQZS2W | 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.33360#EBEO |
| Admissible deformations $\adm_j(T),\adm_j(C,T)$ and $\Delta_j|T|_\tau(A)$ | C61P6108ES | 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.24451#M5DE |
| Admissible design | CYWSK2AKSN | 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.08764#3E4V |
| Admissible exponent | ES0D5WDW2Y | 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.25468#BVWU |
| Admissible family of gluing data | J4K3455R7G | 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.12619#A7OK |
| Admissible flux | 3T87069CJ0 | 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.12088#5JJB |
| Admissible functions, cf.\ | FSADRNVEFZ | 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.24451#6GSK |
| Admissible gap and tail lengths | 7MM4VCSSRH | 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.31535#QVMJ |
| Admissible gate | B7RB4MAAP0 | 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.24235#NHYO |
| Admissible genera | 12SRH2QPWE | 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.26701#GC4M |
| Admissible geometries are the relative interior | 1ZPBW3DD8M | 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.00039#ZY86 |
| Admissible logarithmic patch sizes | 3MCTKPVF73 | 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.16351#WU10 |
| Admissible parameters | VW7TQMEJER | 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.29605#J0NA |
| Admissible placement | VCG27CMT0X | 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.17004#R8VA |
| Admissible primitive oracle | 41JY7A866T | 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.01843#4C9N |
| Admissible profiles | P14WHC51BY | 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.11604#XYVM |
| Admissible reciprocal theta pair | JCT6F7XPSB | 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 2501.09848#M1K9 |
| Admissible relabeling | YAB5ZM5MRW | 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#IYR7 |
| Admissible response profiles | WZVFDXGZFD | 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.08202#3NWK |
| admissible rule | 3N3N8ZXVXA | unknown | open | Wikidata Q1560157, nLab admissible rule |
| Admissible sheet enrichment | 4K70MX5NZK | 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 2501.09848#0O0J |
| Admissible stopped KS solution | 5NMNNNS2FG | 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.28985#MBWZ |
| Admissible stopped Zakai solution | 54W9XF0W7W | 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.28985#R9AL |
| Admissible trajectory | RBCVQ8D07J | 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.30821#TZMR |
| Admissible triple for $L$ | KHNF78E14K | 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.10365#G13X |
| Admissible triple for the pair $(V,L)$ | NFPREV4E84 | 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.10365#955Y |
| Admissible weights | 2BC943RDZ8 | 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.21725#QLF0 |
| Admissible weights | 6NGJA8434X | 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.29671#BCYO |
| Admissible weights | 8GM7MT2009 | 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#BJTJ |
| Admissibles and covers | Q3Y5VYB7HQ | 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.28220#2VK1 |
| Admissibles are monic and preserve the cell class | ATJCRDWTJB | 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.28220#G6R4 |
| ADMM and sGS--ADMM | 952GQJY04F | 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.20270#J56O |
| ADMQ0N760P | ADMQ0N760P | 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 2603.26376#MJM6 |
| ADN33G2178 | ADN33G2178 | 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.35191#9JGZ |
| ADN4FATABK | ADN4FATABK | 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.25957#S5MB |
| ADNMFV8JAH | ADNMFV8JAH | 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.16069#43JP |
| ADNQ000Z1W | ADNQ000Z1W | 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.17408#OBHH |
| ADNR28YXCY | ADNR28YXCY | 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 2502.17203#JBM3 |
| ADNYB7W7HP | ADNYB7W7HP | 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 2409.03423#FJLN |
| Ado's theorem | G1Q6059264 | statement | open | mathlib_1000 Q2028341, Wikidata Q2028341, thousand_plus Q2028341, Wikipedia Ado's theorem, MathWorld AdosTheorem |
| Adolf Hurwitz | 6CM17AGYDD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q58809, nLab Adolf Hurwitz, ProofWiki Mathematician:Adolf_Hurwitz |
| Adolphe Quetelet | FM8QJWC4ZB | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q20012, EoM Quetelet,_Adolphe, ProofWiki Mathematician:Lambert_Adolphe_Jacques_Quetelet |
| Adomian decomposition method | AGYKB1K434 | unknown | open | Wikidata Q3042796, MathWorld AdomianPolynomial |
| ADPDME9KSP | ADPDME9KSP | 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.18918#8Q2W |
| ADQX6VC0S1 | ADQX6VC0S1 | 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.16779#WBPI |
| ADR6KFXQTB | ADR6KFXQTB | 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.30323#C0R3 |
| Adriaan van Wijngaarden | RCP5Y4VADN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q93015, ProofWiki Mathematician:Adriaan_van_Wijngaarden |
| Adrian Clingher | DNFPFHV0Q8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102233995, nLab Adrian Clingher |
| Adrien Brochier | GRDQ93F09H | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102381408, nLab Adrien Brochier |
| Adrien Douady | 1M0GMZ3YDM | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q376963, nLab Adrien Douady |
| Adrien-Marie Legendre | VZ80XTV062 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q191021, EoM Legendre,_Adrien-Marie, nLab Adrien-Marie Legendre, ProofWiki Mathematician:Adrien-Marie_Legendre |
| ADRKS7D29K | ADRKS7D29K | 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.33185#OTTU |
| ADRTWX4R6J | ADRTWX4R6J | 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.37778#DP9J |
| AdS/CFT correspondence | C08N3AXZEX | unknown | open | Wikidata Q543413, nLab AdS-CFT correspondence |
| AdS/QCD correspondence | BM6T5MVDFG | unknown | open | Wikidata Q4678098, nLab AdS-QCD correspondence |