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 1701–1800 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| abstraction | EVP0WVJSM1 | unknown | open | Wikidata Q4669982, EoM Abstraction,_mathematical, nLab abstraction |
| ABTJ56A1A1 | ABTJ56A1A1 | 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.10474#95LU |
| ABTRK1VSV5 | ABTRK1VSV5 | 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.26089#ATYS |
| Abu al-Wafa Buzjani | SR2XW11Y2P | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q298439, ProofWiki Mathematician:Abu'l-Wafa_Al-Buzjani |
| abundance | P36B6W3W63 | concept | open | Wikidata Q122889655, MathWorld Abundance |
| Abundancy | 8727NX6SJC | concept | open | Wikidata Q122889656, MathWorld Abundancy |
| abundant number | BENJC095SX | definition | node (a node has the same name as the row) | Wikidata Q223722, MathWorld AbundantNumber, OEIS A005101, ProofWiki Definition:Abundant_Number |
| abuse, of language | RYGE7HV26Y | concept | open | hott_book index/9.10/abuse-of-language |
| abuse, of notation | 4EHVVD7TF2 | concept | open | hott_book index/1.14/abuse-of-notation |
| abuse, of notation | STMQC2JB6X | concept | open | hott_book index/u1.u3/abuse-of-notation |
| ABVDZ8615Z | ABVDZ8615Z | 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 0709.4546#T9G5 |
| ABVK8BVZCE | ABVK8BVZCE | problem | 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.22272#YJT0 |
| abvolt | 872P5RX066 | definition | open | Wikidata Q2232211, ProofWiki Definition:Abvolt |
| ABWS2DF67C | ABWS2DF67C | definition | open | open_logic content/many-valued-logic/syntax-and-semantics/connectives.tex#defn-1 |
| ABX5F441T1 | ABX5F441T1 | exercise | open | hott_book reals.tex#ex:hiit-plump |
| ABXA99X7Z0 | ABXA99X7Z0 | 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.12857#MU6V |
| ABXE6CD9V6 | ABXE6CD9V6 | 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.24412#5L9U |
| ABXJX03K6M | ABXJX03K6M | 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.40017#F65R |
| ABXM10CDWJ | ABXM10CDWJ | 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.21945#SZBL |
| ABXW699EMC | ABXW699EMC | 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 2204.01073#2WLQ |
| ABY11CRDPA | ABY11CRDPA | 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#Q2XF |
| ABY4F7397Y | ABY4F7397Y | 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.20909#V9U1 |
| ABYG7CZR2Z | ABYG7CZR2Z | 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 2102.12931#7U8P |
| ABYGNJGY5E | ABYGNJGY5E | 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.27941#ETUZ |
| ABYRATNXP9 | ABYRATNXP9 | 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.05506#ESG9 |
| ABZ17SHZ5E | ABZ17SHZ5E | 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.21752#0IIY |
| Abū Kāmil Shujāʿ ibn Aslam | HW1H5K5JBZ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q335103, ProofWiki Mathematician:Abu_Kamil |
| AC07RSTKK0 | AC07RSTKK0 | 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.01915#G6HR |
| AC0BRMH1PZ | AC0BRMH1PZ | 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.24860#04TW |
| AC1QTHY0NS | AC1QTHY0NS | 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 2212.05398#6HWG |
| AC23NNPXN4 | AC23NNPXN4 | example | open | austin_ula src/section2-3.xml#example-1 |
| AC27BGFQ5G | AC27BGFQ5G | 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.14458#DLJ5 |
| AC29KJF1ZW | AC29KJF1ZW | proof | open | applied_combinatorics source/ch_probmeth.ptx#proof-1 |
| AC2CJ40YM0 | AC2CJ40YM0 | 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 2204.01073#8FNX |
| AC2RFHQ1BF | AC2RFHQ1BF | 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.40191#8JGK |
| AC2ZRG4PB8 | AC2ZRG4PB8 | 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.09735#NCTZ |
| AC32CCARBJ | AC32CCARBJ | 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.19086#8CKM |
| AC47N1ECHT | AC47N1ECHT | 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.18226#5TV8 |
| AC4WW0RFKW | AC4WW0RFKW | exercise | open | open_logic content/set-theory/ord-arithmetic/addition.tex#prob-1 |
| AC4YEX4N20 | AC4YEX4N20 | 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#WTEL |
| AC52V7WVTD | AC52V7WVTD | 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.27800#K87T |
| AC54PC3TT4 | AC54PC3TT4 | exercise | open | lebl_ra ch-metric.tex#exercise-47 |
| AC54Q3ZECV | AC54Q3ZECV | 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.03138#5W57 |
| AC55B3MCF5 | AC55B3MCF5 | 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.36456#TIRZ |
| AC57214YPQ | AC57214YPQ | 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 2108.01302#5BDT |
| AC5CZAXYQS | AC5CZAXYQS | conjecture | 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.27800#R972 |
| AC5DSZ6WTT | AC5DSZ6WTT | statement | open | open_logic content/proof-theory/normalization/translations.tex#cor-2 |
| AC63604E39 | AC63604E39 | 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.12888#6N31 |
| AC67HB076C | AC67HB076C | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-32 |
| AC6D33A4XB | AC6D33A4XB | 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.27114#HW7R |
| AC6HEV0ACA | AC6HEV0ACA | 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.05299#SBMB |
| AC6NFBMBSF | AC6NFBMBSF | 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.30732#8H94 |
| AC7TFT0DP6 | AC7TFT0DP6 | 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.15744#T1IE |
| AC8NTRA90H | AC8NTRA90H | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-60 |
| AC95G5EA8D | AC95G5EA8D | 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 2405.09294#HCTA |
| AC98BBAJ2V | AC98BBAJ2V | 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.14838#XB2P |
| AC9J95P1JJ | AC9J95P1JJ | 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.10505#AXKV |
| AC9JDD3FPK | AC9JDD3FPK | 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.01561#SC2Z |
| ACA0V75PN3 | ACA0V75PN3 | 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.40207#KHVW |
| ACB4WFX69B | ACB4WFX69B | 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.00134#ZIBI |
| ACBQV6EEXH | ACBQV6EEXH | proof | open | applied_combinatorics source/s_background_complex.ptx#proof-1 |
| ACC2CH9MKG | ACC2CH9MKG | conjecture | open | applied_combinatorics source/s_background_finite-sets.ptx#conjecture-1 |
| ACCB9E0PRP | ACCB9E0PRP | 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.22074#E6LM |
| Accelerated bounds with adaptive smoothing | BFTTHDZA4B | 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.15202#W1B9 |
| Accelerated Chernoff representation of the evolution solution | 9W0781RC3Q | 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.16094#I0FR |
| Accelerated life testing | TJVRX24PN4 | unknown | open | Wikidata Q3533504, EoM Accelerated_life_testing |
| Accelerated mirror-prox | KNHPR9ZH8H | 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.12641#SHHP |
| Accelerated potential | Q555ZXTM0R | 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.15202#NBHO |
| Accelerated rate under bounded distortion | K8GZ4J7S64 | 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.38741#0F8X |
| Accelerated restart control with finite model solves | 17VXZKS4HQ | 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.06557#IZI2 |
| Accelerated two-channel upper bound | 2GRPST220J | 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.33021#MUM3 |
| Accelerated zero-variation upper bound | 4QEVR8F0S0 | 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.03633#1153 |
| acceleration | NQB68XQ0NV | concept | open | active_calculus index/1.6.4/acceleration |
| acceleration | T0JQEG4ZJQ | definition | open | Wikidata Q11376, MathWorld Acceleration, nLab acceleration, ProofWiki Definition:Acceleration |
| Acceleration by a polynomial filter | KMHK7MZPGQ | 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.24901#N7O8 |
| acceptance | 4RF6R935PA | concept | open | hott_book index/7/acceptance |
| acceptance | 9VR5EZ44MD | concept | open | hott_book index/B.6/acceptance |
| acceptance | AEFH3P418T | concept | open | hott_book index/2.4/acceptance |
| acceptance | J7EGKKED13 | concept | open | hott_book index/5.11/acceptance |
| acceptance | ME6V2A6M1J | concept | open | hott_book index/B.5/acceptance |
| Acceptance probability of primitive conditioning | YJ9XKH1BT8 | 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.30808#A5JX |
| Acceptance within cells | ZT29R7GYWA | 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.11330#8HXI |
| accessibility | 2B0CCVXCJ6 | concept | open | hott_book index/C.3/accessibility |
| accessibility | K9THQN3FAX | concept | open | hott_book index/C.5/accessibility |
| accessible category | 6B42J8QJ0H | unknown | open | Wikidata Q4672496, nLab accessible category |
| Accessory dependence of global monodromy | HCTYGQ801M | 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.24807#H8VG |
| Accessory spectrum as asymptotic branch suppression | MJT224GFXV | 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.24807#UEVB |
| ACCGSJHKNJ | ACCGSJHKNJ | 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.37093#FYSY |
| accounting | QNE6SMHDD9 | definition | open | Wikidata Q4116214, ProofWiki Definition:Accounting |
| Accounting and diagnostic moments | QC2WCVJ425 | 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.15202#6HGY |
| Accretion is unboundedly suboptimal | 6E47S6310Q | 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.11007#913G |
| Accretive resolvent | 5SS2CYJT0K | 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.29147#QRRO |
| Accumulated error | 55XPKEMS7V | 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.11120#FVQC |
| Accumulation points of all finite zeros | W2QXPVBCQ0 | 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.09602#C60P |
| Accumulator | 9W270GAQBP | 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.37479#NDSE |
| Accuracy agrees between CPU and GPU; larger $n$ favours \OzII | F47AJ0Z69A | unknown | open | arXiv 2609.29554#EMTF |
| Accuracy and convergence tests | NZ9ZNMZCYY | 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.18419#OUUU |
| Accuracy and growth contributions | NYRGEGXJ1V | 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.32558#JFJS |
| Accuracy of $T_r(\Zbar)$ | PTAQYTBTPT | 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.09206#1AVO |
| Accuracy of the averaged oracle evaluations | R8SV1VAFT4 | 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.35631#ANWV |