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 1801–1900 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Accuracy of the Covariance-Equivalent Approximation | 58T7Y7H051 | statement | record (an 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.25589#JJVF |
| Accuracy of the estimated direction | ZD39GG19BK | statement | record (an 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#JR3X |
| Accuracy ordering under anisotropy with independent orientations | HQVJD6SY9T | statement | record (an 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.11309#1DXZ |
| Accuracy--resource bound | 6VP7FPP7MM | statement | record (an 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.31458#NNND |
| Accuracy-dependent rank lower bounds | FSFZHYG620 | statement | record (an 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#AJVD |
| ACCV6T3KXK | ACCV6T3KXK | exercise | open | lebl_ra ch-vol1-intro.tex#exercise-16 |
| ACD17PN8BR | ACD17PN8BR | statement | record (an 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.09704#YKE2 |
| ACD8JSVVVQ | ACD8JSVVVQ | example | open | lebl_ra ch-seq-funcs.tex#example-2 |
| ACDJ73WDX2 | ACDJ73WDX2 | statement | open | hott_book homotopy.tex#thm-5 |
| ACE5P0T794 | ACE5P0T794 | statement | record (an 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.07673#4HO2 |
| ACEAE1FCKC | ACEAE1FCKC | statement | record (an 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.17571#E4M7 |
| ACEAHZZB70 | ACEAHZZB70 | statement | open | open_logic content/set-theory/cardinals/classing.tex#thm-1 |
| ACEB2N0DCV | ACEB2N0DCV | statement | record (an 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.35691#7L24 |
| ACEBS8K1S3 | ACEBS8K1S3 | statement | record (an 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.03837#BMQQ |
| ACEBZJ4EDR | ACEBZJ4EDR | statement | record (an 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.01818#060R |
| ACES2P3XM5 | ACES2P3XM5 | 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 2308.09645#9P8W |
| ACFF125QTS | ACFF125QTS | exercise | open | napkin tex/alg-geom/quasi-proj.tex#dproblem-1 |
| ACG0TRNBE0 | ACG0TRNBE0 | exercise | open | napkin tex/H113/grp-intro.tex#exercise-3 |
| ACG36NRP1J | ACG36NRP1J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.15043#T5N8 |
| ACH5SAVKJC | ACH5SAVKJC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0810.0962#YKAI |
| ACH94QY286 | ACH94QY286 | statement | record (an 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.08594#VGUA |
| ACHB66HX6M | ACHB66HX6M | statement | record (an 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.33573#V3Y7 |
| Achievability | 3P73C5NH98 | statement | record (an 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.06742#LYBP |
| Achievability | Z05J8QY35M | statement | record (an 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.11960#54ZR |
| Achievability in the idealized induced DMC model | 1QAAB8CK6M | statement | record (an 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.05712#BATW |
| achieves absolute maximum | 3HT75C1390 | concept | open | lebl_ra index/2.3.1/achieves-absolute-maximum |
| achieves absolute minimum | DEWEJ1QV6N | concept | open | lebl_ra index/2.3.1/achieves-absolute-minimum |
| Achilles number | KGY77CKZ9K | unknown | open | Wikidata Q3232444, MathWorld AchillesNumber, OEIS A052486 |
| Achilles--Manaresi | 2MP6QHQAKN | statement | record (an 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.07528#MXT9 |
| ACHJ742TT6 | ACHJ742TT6 | 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.27136#0NVB |
| Achronal set | YDQ5FG71SJ | 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.21775#AOJK |
| ACJ9NJ99W1 | ACJ9NJ99W1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0804.2115#TBO7 |
| ACJF3EZY99 | ACJF3EZY99 | statement | record (an 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.26896#FP4V |
| ACJKTRZ4HN | ACJKTRZ4HN | definition | open | napkin tex/topology/compactness.tex#definition-4 |
| ACJYJGFMS3 | ACJYJGFMS3 | statement | record (an 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.10452#TVH8 |
| ACK4RA4ZYP | ACK4RA4ZYP | 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 2411.16655#4OLS |
| ACK7Y5CA62 | ACK7Y5CA62 | statement | record (an 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.05354#PBCV |
| Ackermann function | 52B7DY8ED7 | concept | open | Wikidata Q341835, EoM Ackermann_function, MathWorld AckermannFunction |
| Ackermann function | P791GXEGJA | unknown | open | mathlib_overview Logic and computation > Computability > Ackermann function, Mathlib ack |
| Ackermann number | K4ZY0RPNGX | unknown | open | Wikidata Q20479482, MathWorld AckermannNumber, OEIS A004231 |
| ACMR8A1TZA | ACMR8A1TZA | statement | record (an 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.28011#97KE |
| acnode | EZXZ0RYF07 | concept | open | Wikidata Q844451, MathWorld Acnode |
| ACNRJ7K224 | ACNRJ7K224 | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-15 |
| acoustics | V7F480VFVK | definition | open | Wikidata Q82811, ProofWiki Definition:Acoustics |
| ACP0V00M8R | ACP0V00M8R | statement | record (an 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.15160#YMP4 |
| ACPXRDG459 | ACPXRDG459 | statement | record (an 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.05442#HRUR |
| ACPZN4FM4B | ACPZN4FM4B | statement | record (an 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.29531#EDTO |
| ACQ2C07ET6 | ACQ2C07ET6 | proof | open | napkin tex/alg-geom/bezout.tex#proof-5 |
| ACQ99D2Q8Y | ACQ99D2Q8Y | definition | open | napkin tex/alg-NT/numfield.tex#definition-3 |
| ACQAFF6D4S | ACQAFF6D4S | statement | record (an 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#PNA6 |
| ACQGPGN93A | ACQGPGN93A | 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.09295#FTTM |
| ACQMMETWT0 | ACQMMETWT0 | exercise | open | lebl_scv scv.tex#exercise-181 |
| ACQMRYDR8C | ACQMRYDR8C | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-6 |
| ACR2PR65CZ | ACR2PR65CZ | statement | record (an 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.39389#HIQW |
| ACREQDPKPR | ACREQDPKPR | statement | record (an 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.16518#R2XW |
| ACRZ8PR9YK | ACRZ8PR9YK | statement | record (an 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#XUHN |
| ACS157HGSN | ACS157HGSN | statement | record (an 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.03864#9QQT |
| ACS7090J6Z | ACS7090J6Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0808.3741#NBCL |
| ACS7552447 | ACS7552447 | 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.01753#2BZV |
| ACSHFSWZ7Z | ACSHFSWZ7Z | statement | record (an 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.25000#0FSE |
| ACT1JDTKCR | ACT1JDTKCR | statement | record (an 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.05391#A0N7 |
| Acta Academiae Scientiarum Imperialis Petropolitanae | 341VXTN62F | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q51437435, ProofWiki Book:Journal/Acta_Academiae_Scientiarum_Imperialis_Petropolitanae |
| Acta Eruditorum | PFPFGY1H2J | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q343161, ProofWiki Book:Journal/Acta_Eruditorum |
| Acta Mathematica | SCPFVJ5B9N | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q343171, ProofWiki Book:Journal/Acta_Mathematica |
| action at a distance | HA87MG9HD6 | definition | open | Wikidata Q1407429, ProofWiki Definition:Action_at_a_Distance |
| Action estimate | 5HGWK2HF53 | statement | record (an 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#MB3I |
| Action groupoid | A9EKYFWGSC | 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.25987#7K6U |
| Action of $q^n$ on Indices | 5C6A5VVRY3 | statement | record (an 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.21131#JEPA |
| Action of $q^n$ on Substitution Indices | KM6WNZVYY1 | statement | record (an 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.21131#S6DH |
| Action of sphere twists on homotopy groups | RQKWH2S76A | statement | record (an 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.04820#PPXK |
| Action of the $\mathfrak{b}$-to-$\mathfrak{b}$ mapping $\widehat{\mathfrak{P}}$ on $\mathbb{P}_2(\mathbb{R})$ | MQ5EC3N1E5 | 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 2512.24812#WS3Z |
| Action on polynomials | ZYTD0NEYYN | statement | record (an 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.20593#KIBK |
| Action sampling mismatch and the density weighted surrogate | NK35H269FZ | statement | record (an 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.04638#Z8RR |
| Action variation and flux balance | 7ZZAKSK8FX | statement | record (an 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.10790#JS19 |
| Action-groupoid kernel constraint | E9Q1V2NP49 | statement | record (an 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#0UXX |
| Action-Sufficient Coordination Target | MSFRM19ACA | 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.03769#PYZQ |
| Action-value convergence | R7P1K5W9XH | statement | record (an 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.39837#EYHM |
| Activation Function | VPRF5Q0WQ7 | 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.30279#F327 |
| Active and inactive Newton heights | C3SY16S7EP | statement | record (an 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.05652#0FUP |
| Active reflection and enlarged information | EYCVZT5NX0 | statement | record (an 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.18180#YPVE |
| Active SDDP slope as water value | FMAQ4S6RE2 | statement | record (an 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.27744#DIBD |
| Active tails have no complex intersections | 9MEEA87NCS | statement | record (an 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.07379#LXLW |
| Active zero-free arc | CHPQZRT48K | statement | record (an 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.27970#JZRE |
| ACTN7KC53J | ACTN7KC53J | exercise | open | austin_ula src/exercises/exercises2-6.xml#ex-compose-reflections |
| Actor tracking | AHVF954EVH | statement | record (an 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.35466#5SBB |
| Actual quadratic obstructions | 929Y7MD4ZX | statement | record (an 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.20649#HQ9W |
| Actual reduced principal-load tail | BQNH1EMG1C | statement | record (an 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.28791#6TES |
| actuarial polynomial | E4EZ5M0RVR | unknown | open | Wikidata Q4677847, MathWorld ActuarialPolynomial |
| actuarial science | X457BEW23B | topic | open | Wikidata Q1128453, MathWorld ActuarialScience |
| Acuaviva--Nasseri | BAC1TNBDHQ | statement | record (an 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.26984#30DC |
| acute angle | RGHX8T331A | unknown | open | Wikidata Q3250296, MathWorld AcuteAngle |
| acute triangle | TPZ13R3HBA | unknown | open | Wikidata Q3998560, MathWorld AcuteTriangle |
| ACV0P2W33R | ACV0P2W33R | 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.08935#9ZFH |
| ACWNHF105M | ACWNHF105M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.14455#4IVF |
| ACWXQS98Z9 | ACWXQS98Z9 | statement | record (an 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.03661#B6BK |
| ACXCMF51MD | ACXCMF51MD | statement | record (an 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.01803#RZY3 |
| Acyclic boundary criterion | D9HR725BX2 | statement | record (an 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#LOFA |
| Acyclic Case-E and radial cap-minimizer bridge | QRE8PCTWAQ | statement | record (an 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.24931#W29S |
| acyclic graph | ANKP4QS18Q | definition | node (a node has the same name as the row) | Wikidata Q3115453, MathWorld AcyclicGraph, ProofWiki Definition:Acyclic_Graph |
| Acyclic models theorem | 8BYY0QJJ4M | statement | open | mathlib_1000 Q4677985, Wikidata Q4677985, thousand_plus Q4677985, Wikipedia Acyclic models theorem |