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 4001–4100 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Approximate fairness from random palindromes | ZP60MQB08S | 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.15421#ZOUY |
| Approximate First Passage Formula | TECJX5097W | 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.33018#AVRX |
| Approximate free-transport reparametrization | 76HPZFZ19K | 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.28251#BF3C |
| Approximate idempotency of $\Phi_\hashtag$ and the error bound of the conditional expectation | G07BD3CQ0T | 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.40214#33QX |
| approximate identity | 3NZAF9QFT2 | unknown | open | Wikidata Q621743, MathWorld ApproximateIdentity |
| Approximate internal-marker correction | AZNNP3PSGP | 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.00448#06K3 |
| Approximate KKT point | M9BE72132H | 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.39736#FS7D |
| Approximate mean-field comparison for the Exclusion Process | 8JJ43VF8J9 | 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.31187#5LQK |
| Approximate quarter rotation | WTJNJ6FHQA | 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.16248#4ZZ9 |
| Approximate rejection sampling with unknown normalization | KR7H01VWJ9 | 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.30590#2RHE |
| Approximate relative module | 8HT740D3ZZ | 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.28160#N67G |
| Approximate RGO | MCWT0Z12DV | 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.16248#MNX2 |
| Approximate RGO | Q13YYJJY8A | 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.16248#17PR |
| Approximate Riemannian Lie group geodesics | ZEFP9A455C | 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 2410.06788#6823 |
| Approximate simulation with the exact observation marginal | HRBVH5R8R2 | 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#B1HL |
| Approximate solution | F3P4R4WZ9F | 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.18797#ORK7 |
| Approximate solution in finite dimensions | AVG305A9QW | 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.18350#A94C |
| Approximate supremum over an essential argmax set | K9KVEMJA0F | 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.27918#K1PS |
| Approximate-symmetry Bayes-set localization | YBDPYBKMAH | 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.33472#P71N |
| Approximating $\cot$ | 42NAEBSRK8 | 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#PA2M |
| Approximating the tensor operator norm by a product net | KQVNAN1G3N | 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.36594#DHQ4 |
| approximation | 5NK1CVDRA0 | topic | open | Wikidata Q27058, nLab approximation |
| Approximation | EEDHH8JC71 | 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.14154#L9TQ |
| Approximation and representation | 18SA4DSNC4 | 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.21775#FTLY |
| Approximation argument | PC8B91QCKQ | 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.37593#ZAPL |
| Approximation by conditioning on a bounded region | ZBPJCE0A07 | 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.06372#V2UQ |
| approximation by convolution | P7ERS0M3GR | unknown | open | mathlib_overview Analysis > Measures and integral calculus > approximation by convolution, Mathlib ContDiffBump.convolution_tendsto_right, mathlib_undergrad Measures and integral calculus > Integration > approximation by convolution |
| Approximation by finitely supported measures | CVFH7BTVHJ | 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.06480#6DC9 |
| Approximation by perturbing an initial block | 9E3VCHKZEM | 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.08568#4UYU |
| Approximation by step data | ZHMDXTHE3E | 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.06490#HPXT |
| approximation by step functions | T2PCRE8YD9 | unknown | open | mathlib_undergrad Measures and integral calculus > Measure theory > approximation by step functions, Mathlib MeasureTheory.SimpleFunc.tendsto_approxOn |
| Approximation criterion | NQH7097F38 | 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.36444#NBWQ |
| approximation error | M93DT2JQDE | unknown | open | Wikidata Q865920, MathWorld Error |
| Approximation in one cube | S6GJ30DHG2 | 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.39699#RN0S |
| Approximation of local quadratic variation by realized variation | 8B6AEKAK89 | 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.05864#UOR4 |
| Approximation of logarithms | C3A34YT645 | 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.22272#JQBL |
| Approximation of null energy condition | JZM6NDBEDQ | 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.11911#8T4R |
| Approximation of pseudospectra | NM5MTQBCA1 | 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.01501#OWRF |
| Approximation of strong energy condition | 7M7H8J0JYE | 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.11911#K1WO |
| Approximation of the consistency seminorm | KZDCPA5BG7 | 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.01504#FXVE |
| Approximation of the data | 55S0M555C9 | 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.13753#KTZF |
| approximation of the jump amplitude | KGTF62BMFF | 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.08016#UM95 |
| Approximation of the main term | QD6Z4ZR6QC | 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.16668#74RX |
| approximation of the normal-jump amplitude | XY0RKZSNKT | 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.08016#FIPD |
| Approximation of the pseudospectra of the operator | V18NNGHKQ3 | 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.01501#OBW6 |
| Approximation of the reconstructions | QSNQN35TH1 | 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.01504#DP8P |
| Approximation of the reflected continuous threshold | YH8J0T052D | 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.29524#2IIF |
| Approximation of timelike Ricci curvature bounds | HWHNB6AR6N | 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.11911#WKL2 |
| Approximation of weighted energy conditions | CF34QQCCBF | 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.11911#PWTF |
| approximation properties of $\calA_m$ | 4S3YYJ577D | 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.07227#59ED |
| Approximation property | K7ZJSRAQQW | 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.07116#YVNE |
| Approximation theorem | Q6NBN9G2F0 | 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.07790#TFHV |
| Approximation under low R\'enyi entropy | 3QWR9PF9F5 | 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.12544#XBG0 |
| Approximations and mean shifts | 9CGHNX53W2 | 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.19356#ZXSM |
| approximations of π | NPNRES2YAH | unknown | open | Wikidata Q1130396, MathWorld PiApproximations |
| APQ2AK7XFN | APQ2AK7XFN | 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.25703#AFBX |
| APQ38T269Y | APQ38T269Y | 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#HQF3 |
| APQ650ERMT | APQ650ERMT | 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.22205#AUK9 |
| APQ9FW2D75 | APQ9FW2D75 | 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.33531#8ZNW |
| APQS6WMBM9 | APQS6WMBM9 | 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.19694#OVTE |
| APQSS14QT6 | APQSS14QT6 | 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.18335#9W4M |
| APQZJD5AE6 | APQZJD5AE6 | 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.06488#HHM3 |
| APRDE0QTBX | APRDE0QTBX | proof | open | lebl_ra ch-multivar-int.tex#proof-1 |
| APS Conjectures 5 and 6 | J34YAX3T1Z | 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.25037#Q3C2 |
| APSC1S3RRD | APSC1S3RRD | example | open | levin_dmoi ptx/sec_gt-trees.ptx#example-2 |
| APSGK8XQ4A | APSGK8XQ4A | 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.35682#B1OE |
| apsis | VPYRH14QFX | definition | open | Wikidata Q83481, ProofWiki Definition:Apsis |
| APSSZB7QZW | APSSZB7QZW | counterexample | record (an 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.10930#BDSJ |
| APSTXMVGP6 | APSTXMVGP6 | 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.26769#QRYG |
| APSWQ2AYTF | APSWQ2AYTF | 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/0406514#U23J |
| APT1JD1KGR | APT1JD1KGR | 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.32903#BZB7 |
| APT306WZ3T | APT306WZ3T | 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 2009.11127#5KYX |
| APT9EXXE6A | APT9EXXE6A | 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.31445#UZPN |
| Apter-Friedman-Fuchs | 1DQXJ50GCK | 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.24190#F4OA |
| APTKNPK4MS | APTKNPK4MS | 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.02901#C5K9 |
| APTRTN7HY3 | APTRTN7HY3 | 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.37237#HVN4 |
| APTVKMRBK8 | APTVKMRBK8 | exercise | open | napkin tex/alg-NT/frobenius.tex#ques-1 |
| APVACW988Q | APVACW988Q | 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.02484#067V |
| APVD9PDRDY | APVD9PDRDY | proof | open | open_logic content/normal-modal-logic/filtrations/S5-decidable.tex#proof-1 |
| APVQ5HJ5KW | APVQ5HJ5KW | 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.25168#BK3F |
| APVQEPNW0F | APVQEPNW0F | 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.38793#V1V0 |
| APWCZ0EN8H | APWCZ0EN8H | 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 2608.23797#3QCF |
| APXAMFWMBP | APXAMFWMBP | 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#Q14J |
| APYYDJPPRV | APYYDJPPRV | 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#R0V6 |
| APZ3QY40E3 | APZ3QY40E3 | 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.09333#MN8E |
| APZC6ZEJ90 | APZC6ZEJ90 | definition | open | open_logic content/computability/computability-theory/reducibility.tex#defn-1 |
| APZJ6H3HZJ | APZJ6H3HZJ | 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.35605#XGPY |
| Apéry's constant | 54NG4P89PK | object | open | Wikidata Q622682, MathWorld AperysConstant, OEIS A002117, OEIS A013631, ProofWiki Definition:Apéry's_Constant |
| Apéry's theorem | 1N9Y2K9RHN | statement | open | mathlib_1000 Q1095330, Wikidata Q1095330, thousand_plus Q1095330, Wikipedia Apéry's theorem |
| AQ0DY95ETN | AQ0DY95ETN | 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.05268#4BJD |
| AQ0GAFNAEH | AQ0GAFNAEH | 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.04099#RJDF |
| AQ0JVP7HZR | AQ0JVP7HZR | 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.17569#W1VD |
| AQ1F0QABBR | AQ1F0QABBR | 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.27843#XGFE |
| AQ1YRESFZN | AQ1YRESFZN | 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#0LS3 |
| AQ2JP3F4HA | AQ2JP3F4HA | 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.28649#9S97 |
| AQ34YAF9NJ | AQ34YAF9NJ | 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.30090#ITJQ |
| AQ37H1B4VK | AQ37H1B4VK | 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.36509#GV9R |
| AQ3DX97AMX | AQ3DX97AMX | 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#9RQZ |
| AQ3HA89KT8 | AQ3HA89KT8 | 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 2308.05715#A3DB |
| AQ3VCDFSS5 | AQ3VCDFSS5 | 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.13323#705L |