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 4201–4300 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| AR9752824N | AR9752824N | 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#77BZ |
| AR9GGPFC81 | AR9GGPFC81 | 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.10221#FW2L |
| AR9KZEEJR3 | AR9KZEEJR3 | 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 2401.05118#TLZU |
| ARA042SSXF | ARA042SSXF | 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.28357#MCRQ |
| Arabic numeral | KA1AEDXNPX | definition | open | Wikidata Q29961325, MathWorld ArabicNumeral, ProofWiki Definition:Arabic_Numerals |
| ARAGRW0V6W | ARAGRW0V6W | 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 1209.5343#HC9Z |
| Arakelov theory | H6XS44WVJY | statement | open | mathlib_1000 Q4783822, Wikidata Q4783822, thousand_plus Q4783822, Wikipedia Arithmetic Riemann–Roch theorem, MathWorld ArakelovTheory |
| Arakelyan | K5SFH5TME5 | 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.16583#ZJ22 |
| Arakelyan's theorem | MSDPM9TB8C | statement | open | mathlib_1000 Q25304227, Wikidata Q25304227, thousand_plus Q25304227, Wikipedia Arakelyan's theorem |
| Araki estimates | HW8FTS31M4 | 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.03683#PT7A |
| Arasu--Dillon--Jungnickel--Pott | BD6M3DDAXB | 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.02392#2PVX |
| ARBB1A9V98 | ARBB1A9V98 | 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 2510.12502#30CS |
| arbelos | HMVQEQC1BS | unknown | open | Wikidata Q629520, MathWorld Arbelos |
| ARBFWFXKHP | ARBFWFXKHP | 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.25524#IGR7 |
| Arbitrarily dense finite central configurations | BFR05JRM09 | 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.04136#AHAF |
| Arbitrarily high-temperature memory for open-boundary helical repetition codes | GSN05PXN35 | 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.04834#176T |
| Arbitrarily long chains with valid generations | VTKZ67CSDB | 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.25101#68G6 |
| Arbitrarily many exact Gaussian modes without hypercontractivity | ZZ7ATYDBEP | 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#FL02 |
| Arbitrarily many points on one invariant surface | 5KV75W1RF7 | 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.24930#6379 |
| Arbitrarily slow last-iterate convergence | Q2WNSJY0GY | 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.32729#WFZX |
| Arbitrarily small inflation of an atomless reference | A3GVW7PHDN | 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#3HFE |
| Arbitrarily small initial contraction | HY271ZA58A | 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#DWHU |
| Arbitrarily small reference inflation | M36JQ0JD0N | 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#3XBS |
| Arbitrary fixed finite budgets | F8ANDPY9PE | 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.03638#4VQ4 |
| Arbitrary greedy tie-breaking | W9CBS7Q7ZC | 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.17479#IF9Q |
| Arbitrary marginal coercivity | D80EBRZMCQ | 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.35574#37UX |
| Arbitrary penalised subsets and relative-energy dissipation | W8ZQK9PSS0 | 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.17973#N5RC |
| Arbitrary torus gluing | FHNWWG1WCB | 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.17608#T7NP |
| Arbitrary-defect upper bound | CST4BHRN09 | 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#6ZJX |
| ARBK4JT0YZ | ARBK4JT0YZ | exercise | open | lebl_ra ch-approximate.tex#exercise-45 |
| arborescence | F10P5CYGAM | unknown | open | Wikidata Q1520825, MathWorld Arborescence |
| arboricity | E7RNYT3GQV | unknown | open | Wikidata Q4784907, MathWorld Arboricity |
| ARBQ8WF2S8 | ARBQ8WF2S8 | 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.00271#Q023 |
| arc | 5DTGG6T5KW | unknown | open | Wikidata Q147572, MathWorld Arc |
| Arc Bound | B9W6AVD9SX | 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.12357#Z2CR |
| Arc forcing | S839JQZEYG | 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.03763#M1DK |
| arc length | J4H554HVY6 | concept | open | active_calculus index/6.1.4/arc-length |
| arc length | QABZ6VFVVV | unknown | node (a node has the same name as the row) | Wikidata Q670036, MathWorld ArcLength, MathWorld CurveLength |
| Arc length isn't a form | YXYWCSV5Z1 | exercise | open | napkin tex/diffgeo/stokes.tex#prob:ds_not_a_form |
| arc-connected space | EDXT1MJYK2 | definition | open | Wikidata Q11679929, MathWorld Arcwise-Connected, ProofWiki Definition:Arc-Connected |
| Arc-continuant lemma | 2T2C2QMB4V | 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#N3FO |
| Arc-transitive families | ZR4Y2MBJ11 | 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.15340#PAH0 |
| Arc-transitivity criterion | HPMM5G07J4 | 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.15340#3PMC |
| Arc-transitivity via the stabilizer image | GYBE35Q63Q | 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.15340#1IOX |
| ARC01SZJQ1 | ARC01SZJQ1 | proof | open | hott_book hits.tex#proof-29 |
| arccosine | FAHBZHTFZQ | definition | open | Wikidata Q720341, MathWorld InverseCosine, ProofWiki Definition:Inverse_Cosine |
| archaversine | 505PX9571Z | unknown | open | Wikidata Q116651878, MathWorld InverseHaversine |
| Archimedean circle | ZFA2NBFT62 | unknown | open | Wikidata Q4786887, MathWorld ArchimedeanCircle |
| Archimedean condition | VKZ4H0SH0C | 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.17371#CEKV |
| Archimedean dual graph | SWRETTXRDP | unknown | open | Wikidata Q122897617, MathWorld ArchimedeanDualGraph |
| Archimedean field | B4CMVQVGY8 | unknown | open | Wikidata Q2920412, nLab archimedean field |
| Archimedean graph | Z9H60JXYTF | unknown | open | Wikidata Q22093490, MathWorld ArchimedeanGraph |
| Archimedean principle for $\RC$ | E71E7CRYMV | statement | open | hott_book reals.tex#RC-archimedean |
| Archimedean principle for $\RD$ | QK5670ESDH | statement | open | hott_book reals.tex#RD-archimedean |
| Archimedean Property | F5YPM8RRM7 | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-20 |
| Archimedean Property | PG2XKTQS2N | 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 2104.00162#V1UK |
| Archimedean solid | NG07SK0S5N | definition | open | Wikidata Q213486, MathWorld ArchimedeanSolid, ProofWiki Definition:Archimedean_Polyhedron |
| Archimedean spiral | R6JHGFDA6K | concept | open | Wikidata Q28967, EoM Archimedean_spiral, MathWorld ArchimedesSpiral, ProofWiki Definition:Archimedean_Spiral |
| Archimedes | ZAGEYTQ6V5 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q8739, nLab Archimedes, ProofWiki Mathematician:Archimedes_of_Syracuse |
| Archimedes' cattle problem | GJ8G1KTJAX | problem | open | Wikidata Q2030594, MathWorld ArchimedesCattleProblem, ProofWiki Archimedes'_Cattle_Problem |
| Archimedes' hat-box theorem | E6E98MGNPJ | statement | open | Wikidata Q2226575, MathWorld ArchimedesHat-BoxTheorem |
| Archimedes' twin circles | A3YW6QNGAY | unknown | open | Wikidata Q244780, MathWorld ArchimedesCircles |
| Archytas | ZCGY2TAR28 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q202001, ProofWiki Mathematician:Archytas_of_Tarentum |
| ARCJZ8VDC7 | ARCJZ8VDC7 | 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.00789#UNXF |
| arcminute | Z5GCPBRA1T | definition | open | Wikidata Q209426, EoM Minute, MathWorld ArcMinute, ProofWiki Definition:Angle/Unit/Minute |
| Arcs are distinctions | ENHSVV7XET | 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.02219#ABZJ |
| arcsecond | V9FT37GSVA | definition | open | Wikidata Q829073, EoM Second, MathWorld ArcSecond, ProofWiki Definition:Angle/Unit/Second |
| arcsine | JS0QGWV5BW | definition | open | Wikidata Q674517, MathWorld InverseSine, ProofWiki Definition:Inverse_Sine |
| arcsine | P17M9546PY | concept | open | active_calculus index/2.6.4/arcsine |
| Arcsine density for the cosine energy | GGWNYFJNNG | 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#OVRD |
| arcus cosecant | GB0NZYZG0K | definition | open | Wikidata Q3621817, MathWorld InverseCosecant, ProofWiki Definition:Inverse_Cosecant |
| arcus cotangent | 5YCD9EX872 | definition | open | Wikidata Q385736, MathWorld InverseCotangent, ProofWiki Definition:Inverse_Cotangent |
| arcus secant | R5G3QGBHE4 | definition | open | Wikidata Q2284464, MathWorld InverseSecant, ProofWiki Definition:Inverse_Secant |
| arcus tangent | 7BVKKFQGAM | definition | open | Wikidata Q2257242, MathWorld InverseTangent, nLab arctangent, ProofWiki Definition:Inverse_Tangent |
| ARD86VNB1K | ARD86VNB1K | 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.13850#0YR2 |
| ARD8Z30QV2 | ARD8Z30QV2 | 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.04046#2BPB |
| ARDD2P49PN | ARDD2P49PN | 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.17817#SKGZ |
| Arden's lemma | KWF9B81MD8 | unknown | open | mathlib_overview Logic and computation > Formal languages > Arden's lemma, Mathlib Language.self_eq_mul_add_iff |
| ARDY29A3EW | ARDY29A3EW | 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.39706#KTPH |
| ARDY9838BY | ARDY9838BY | 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.21662#18PZ |
| area | BXMRBXNQ6B | concept | open | active_calculus index/6.1.2/area |
| area | NMA91TPQCC | unknown | open | Wikidata Q11500, EoM Area, MathWorld Area, nLab area |
| Area Formula, \protect | E6WKBAZSZV | 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 2601.22681#BLKL |
| Area identity | BPT11T5864 | 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.30561#GK4A |
| Area large deviations | 1MMR1JME7G | 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#S2UW |
| Area of a circle | 28T6GNN8WQ | example | open | napkin tex/diffgeo/stokes.tex#ex:area_circle |
| area of a triangle | DPFQN5PVMT | statement | node (a node has the same Wikidata item as the row) | Wikidata Q20183185, MathWorld TriangleArea, ProofWiki Area_of_Triangle |
| Area rule | 7D6RQHYV09 | 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.15265#7UUW |
| Area sandwich | SMA5YXTPNG | 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#LAS9 |
| Area theorem (conformal mapping) | FKFPNJYPPY | statement | open | mathlib_1000 Q4788680, Wikidata Q4788680, thousand_plus Q4788680, Wikipedia Area theorem (conformal mapping) |
| Area up to $4\pi$ | XJNQGXBH28 | 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.35360#X2K8 |
| area, under velocity function | WTWRKD2K73 | concept | open | active_calculus index/4.1.2/area-under-velocity-function |
| Area-preserving contact tennis-ball map | J4RZ67F763 | 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.28014#2U5I |
| Area/volume separation in an adiabatically connected family | TBAMTZKWVA | 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.15199#FI8C |
| AREH7TM20M | AREH7TM20M | 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.07890#IA6K |
| Arend Heyting | E8XKA2HTT6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q641771, nLab Arend Heyting |
| ARENFSQTTE | ARENFSQTTE | 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.17204#0WNO |
| Arens decomposition | F3Z07GDR0G | 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.13385#QBD9 |
| Arf invariant | YJ3R88QHEZ | concept | open | Wikidata Q4789139, MathWorld ArfInvariant, nLab Arf invariant |
| ARGEG8MHZ3 | ARGEG8MHZ3 | 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 2105.13129#B9Y5 |