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 3301–3400 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| amalgamation property | 21S9MBRS2X | unknown | open | Wikidata Q4739384, nLab amalgamation property |
| AMBEF1X9Q2 | AMBEF1X9Q2 | 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.11965#8ZLC |
| Ambient and correspondence definitions, \mycite{Chapter 7}{BBI | NGQFRJ0ZSJ | 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.17400#NTF5 |
| Ambient derived-stack models | SF5DSEN70M | 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#X8GN |
| Ambient equations | FV3J17APS9 | 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.02721#J44Z |
| ambient isotopy | R7B30N1BTR | unknown | open | Wikidata Q2037595, MathWorld AmbientIsotopy |
| Ambient Isotopy | SDMWYCJBKV | 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 1209.3562#XDVF |
| Ambient leaf slack | WS0QDFNBS5 | 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.31811#K05N |
| Ambient one-point theory in Chow groups | 1C3X3AAYVP | 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.10828#NSVB |
| Ambient pairings and diagonal symmetry | AKJ59TW8JX | 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.10828#09WV |
| Ambientness, including a Chow strengthening | E8R9K3JENT | 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.10828#55KB |
| Ambiguity in uncorrupted smoothing bias | EDVASKJ0XG | 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#1BQ2 |
| ambiguous | XC1140SSNQ | concept | open | Wikidata Q54246577, MathWorld Ambiguous |
| Ambit fields | 31YQB3KFXV | 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.31102#X22Q |
| AMBKVQAV1G | AMBKVQAV1G | 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.02634#LNZF |
| AMC6V2282H | AMC6V2282H | 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 1002.0879#Z11N |
| AMCW92HPCZ | AMCW92HPCZ | 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.20825#NBW7 |
| AMD0WP8VCC | AMD0WP8VCC | 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.21017#CPVZ |
| AMD3NYAWBC | AMD3NYAWBC | 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.29227#T7GQ |
| AMDKJ3Y3CB | AMDKJ3Y3CB | exercise | open | applied_combinatorics source/s_genfunction_exercises.ptx#exercise-4 |
| AME8DKNYHV | AME8DKNYHV | exercise | open | lebl_diffyqs ch-systems.tex#exercise-84 |
| AMEFSPQEF9 | AMEFSPQEF9 | 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 2608.24424#CFAF |
| Amenability and capture | AFK24YAHH6 | 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.09086#YD9U |
| amenable Banach algebra | KGMFG5Z9X8 | unknown | open | Wikidata Q4742386, MathWorld Amenable |
| Amenable covering factorization | DPEQW61WD6 | 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.18530#ZZS8 |
| Amenable fundamental group | 8Q1ZZ8B2S6 | 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.18530#80ML |
| amenable number | A9724N7KKE | unknown | open | Wikidata Q4742387, MathWorld AmenableNumber, OEIS A100832 |
| AMEP1DM8G5 | AMEP1DM8G5 | 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 2605.24355#BGIW |
| Amer Iqbal | F0FV44G7S2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q4742444, nLab Amer Iqbal |
| American Mathematical Monthly | AVQXCY8TSJ | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q2707818, ProofWiki Book:Journal/American_Mathematical_Monthly |
| American polyconic projection | 2S9BRJK1ZW | unknown | open | Wikidata Q2696957, MathWorld PolyconicProjection |
| AMF6MF2R1Y | AMF6MF2R1Y | exercise | open | lebl_scv scv.tex#exercise-265 |
| AMF7AXY4C9 | AMF7AXY4C9 | 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.26129#HYY0 |
| AMFA4DGG26 | AMFA4DGG26 | 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.13833#VJBN |
| AMFJ83WE70 | AMFJ83WE70 | 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.25703#F8GD |
| AMGB6F08ED | AMGB6F08ED | 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 1209.3562#LVX0 |
| AMGHH1B424 | AMGHH1B424 | 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.04870#80NE |
| AMGMDKQ9B8 | AMGMDKQ9B8 | 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 2202.07274#CPYP |
| AMGMRBABQS | AMGMRBABQS | 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.07114#WZUE |
| AMHCM7JNX4 | AMHCM7JNX4 | proof | open | open_logic content/incompleteness/representability-in-q/composition-representable.tex#proof-3 |
| Amhes | PXR7NVASSR | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q5672579, MathWorld RhindPapyrus |
| AMHQKNTT59 | AMHQKNTT59 | 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.00412#KPIF |
| amicable numbers | 478XTN2TT7 | concept | open | Wikidata Q117927, MathWorld AmicablePair |
| Amicable quadruple | V563PEWF66 | unknown | open | Wikidata Q122897579, MathWorld AmicableQuadruple, OEIS A036471, OEIS A036472, OEIS A036473, OEIS A036474, OEIS A116148 |
| amicable triple | AZ958Z194M | unknown | open | Wikidata Q57203134, MathWorld AmicableTriple |
| Amice | 9Z22DXN1J1 | 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.28141#J87Y |
| Amihay Hanany | B1X32BC80W | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q64038660, nLab Amihay Hanany |
| Amir Dembo | HNFF97RBTH | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q17521223, nLab Amir Dembo |
| Amitsur complex | CCXWB3Q4T4 | concept | open | Wikidata Q60764404, nLab Amitsur complex |
| Amitsur–Levitzki theorem | XQ1ASHBDB5 | statement | open | mathlib_1000 Q4746948, Wikidata Q4746948, thousand_plus Q4746948, Wikipedia Amitsur–Levitzki theorem |
| AMJFPRXS7X | AMJFPRXS7X | 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.28028#685M |
| AMJVB82NX6 | AMJVB82NX6 | 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.31445#N9ZM |
| AMJXA1B522 | AMJXA1B522 | 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.05396#ILJH |
| AMKN7T3129 | AMKN7T3129 | statement | open | applied_combinatorics source/s_background_prop-integers.ptx#theorem-2 |
| AMKNSM6NCW | AMKNSM6NCW | 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#3885 |
| AMKQDE35QR | AMKQDE35QR | 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 2111.00832#O7Q1 |
| AMKVTP1KFR | AMKVTP1KFR | 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.21388#2F97 |
| AMMK5W5H1S | AMMK5W5H1S | 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.10477#32LM |
| amnestic functor | V2NBD0J2XN | unknown | open | Wikidata Q4747369, nLab amnestic functor |
| AMNHAXRATV | AMNHAXRATV | 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.31919#5KZ9 |
| Amnon Neeman | 66E6A2GA43 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q57428036, nLab Amnon Neeman |
| Amnon Pazy | 6WHNQZ67HW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6800114, ProofWiki Mathematician:Amnon_Pazy |
| Amnon Yekutieli | 2TZCNAAV91 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q14492076, nLab Amnon Yekutieli |
| Amortized trial and oracle counts | 5V3G863TQ0 | 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#L06C |
| Amortized work at a selected call | 8QE3QNQTFF | 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.34025#AHRQ |
| amount of substance | 8CJESF1KNF | definition | open | Wikidata Q104946, ProofWiki Definition:Amount_of_Substance |
| AMP and TAP conditions | 2519JM46BF | 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.09882#3K9C |
| AMP-to-Huber optimizer transfer under restricted secant inequality | QB07RED1VE | 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.20798#AKK8 |
| AMP2TMAE7G | AMP2TMAE7G | 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 1903.07030#G8ZF |
| AMP92P5HHA | AMP92P5HHA | 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 2304.02722#5KEH |
| ampere | X2GNYCWWCQ | definition | open | Wikidata Q25272, ProofWiki Definition:Ampere_(Unit) |
| ampersand curve | QX7398VYVX | unknown | open | Wikidata Q3234988, MathWorld AmpersandCurve |
| amphichiral knot | JHZS67Y4D4 | unknown | open | Wikidata Q20873948, MathWorld AmphichiralKnot |
| Amphichirality | C8PX58R21F | 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#71ZL |
| ample line bundle | N2M5PT2874 | unknown | open | Wikidata Q4748472, EoM Ample_sheaf, nLab ample sheaf |
| Amplification | DSCTSWN798 | 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#AJJ4 |
| Amplification criterion | D1S880AF3H | 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.33173#NCWU |
| Amplified GNS and localization | GEQXHRNJ1B | 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.33697#9RPS |
| Amplified numerator average | AW26CA9F4V | 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.15291#FD0N |
| Amplified Phantom Paradox | KXGDHVPM63 | 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.12732#D55O |
| Amplifier | CAJPT4V7PZ | 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#6ZH7 |
| Amplifier | TYVP9P8ER9 | 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 math/0003117#GZ8P |
| Amplifier complex | JVP5XDEJWZ | 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#133S |
| amplitude | BSXD3NYYZM | unknown | open | Wikidata Q159190, nLab amplitude |
| Amplitude damping | EYD1TDQZ6F | 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.01932#GTE8 |
| Amplitude identity and tail bound | YSY02V8BXR | 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.09912#QR85 |
| Amplitude observability | WGJ42N8KFM | 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#3VXZ |
| amplituhedron | G4T5DQF76Z | unknown | open | Wikidata Q14928243, nLab amplituhedron |
| AMPVKG2AM2 | AMPVKG2AM2 | 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.16631#96NY |
| Ampère's circuital law | F46BEDXAQA | statement | open | Wikidata Q51500, ProofWiki Ampère-Maxwell_Law |
| AMQAAZ83W0 | AMQAAZ83W0 | 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.15720#498U |
| AMR0GSQW3W | AMR0GSQW3W | 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.28297#JUSQ |
| AMR3FCWHCR | AMR3FCWHCR | 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.25212#03K6 |
| AMRACRPZY4 | AMRACRPZY4 | 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.00019#QSZH |
| AMREX0B9Z0 | AMREX0B9Z0 | statement | open | open_logic content/first-order-logic/axiomatic-deduction/soundness.tex#cor:consistency-soundness |
| AMRFK78X2S | AMRFK78X2S | 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.39531#UDGS |
| AMRGHAFHX0 | AMRGHAFHX0 | proof | open | hott_book hlevels.tex#proof-37 |
| AMRKG9FS59 | AMRKG9FS59 | 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.06081#AFDJ |
| AMRTNGWWX2 | AMRTNGWWX2 | 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.03856#83OE |
| AMS8VE62QV | AMS8VE62QV | 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.22082#OTBY |