Inventory: other names
The rows of the inventory whose names start with a character that is not a letter of A to Z. 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 26896
- A 5694
- B 4524
- C 7434
- D 4863
- E 5167
- F 4998
- G 4504
- H 4194
- I 1415
- J 3180
- K 3512
- L 1962
- M 5019
- N 4008
- O 928
- P 5631
- Q 3296
- R 5027
- S 7101
- T 5981
- U 1055
- V 3253
- W 3675
- X 2801
- Y 2926
- Z 3092
Rows 26701–26800 of 26896.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| \textcite{lovasz_operations_1967 | HR77P9TCQA | statement | record (an 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.07927#WDH0 |
| \textcite{lovasz_operations_1967,chaudhuri_optimization_1993 | K1A1JP60D2 | statement | record (an 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.07927#TQ12 |
| \textcite{roberson_oddomorphisms_2022 | D9BW9WKQX4 | 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.07927#9TIT |
| \textcolor{revision}{Constants for the frequency and width cover | DEHSN97692 | statement | record (an 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.19461#K3TG |
| \textit{\(L^2\)-extension theorem | FZXX10KWPS | statement | record (an 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#WNB1 |
| \textit{A priori} estimates | N14BPX3T95 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.04174#LVB3 |
| \textit{Existence of vibrational control | 33QVAEP9P8 | statement | record (an 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.00678#PMRJ |
| \textit{Improving robustness by vibrational control | 9KSXVSFVJX | 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 2204.00678#KV3S |
| \textit{Lower triangular transition matrix | 4Y6VEPT408 | statement | record (an 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.00678#Z6PC |
| \textit{Necessary condition for robustness improvement | Q8H0DN30AX | statement | record (an 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.00678#ZKAF |
| \textit{Song-Tian [10 | 8WBKHYA20M | statement | record (an 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#P25F |
| \textit{Synchronization manifold | YWV26XGZG4 | 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.00678#5N1A |
| \textit{Torsion modules | 9344Z3H1KJ | 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 0902.4012#CPQF |
| \textnormal{Bachmann-Kanno | V890THEV4A | statement | record (an 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.18777#IM5G |
| \textnormal{Goncharov--Zagier | MW4WABWD1G | 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.18777#JUPK |
| \textsc{Consistency Of $k$-Local Density Matrices | 47BA7E40CN | 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.26769#5XQQ |
| \textsc{Discounted Hitting Domination | 7TH653SYQ2 | 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 2609.31535#C48G |
| \textsc{Full Spark | 6QDZADFHHH | 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 1204.5958#DKOV |
| \textsc{Gap-Convexity | KKJ2ZN427K | 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.01812#AYOQ |
| \textsc{Log-Coordinate-Convexity | H0GSWG0CYH | 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.01812#GXD8 |
| \textsc{Log-Log-Convexity | RY6AC90FVM | 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.01812#58DT |
| \textsc{N-E} helper | 9Y52Q4QX4X | statement | record (an 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#440K |
| \textsc{Quantum Circuit-SAT} Dissipator | DHZBCSAM82 | 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.26769#50H0 |
| \textsc{Quantum Circuit-SAT} Problem | KRTX48TB2V | 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.26769#LXQJ |
| \textsc{Signomial-Convexity | ETE0YTTW8P | 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.01812#2IUV |
| \textsf{$L^2$ endpoint and $L^p$ maximal inequalities | XHEYEFDXEW | statement | record (an 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.09404#L02I |
| \textsf{Adjacent-block estimate | G02X6Z6T53 | statement | record (an 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.09404#BDD1 |
| \textsf{Adjacent-block maximal lemma | 3VBPMBK3T0 | statement | record (an 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.09404#G7U2 |
| \textsf{Almost-everywhere lattice summability | BQ7ZFS40RP | statement | record (an 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.09404#H41D |
| \textsf{Breuer--Major theorem | RWMN2CH0F4 | statement | record (an 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.09404#5DZF |
| \textsf{Critical covariance comparison | SQGQQE5KCC | statement | record (an 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.09404#CSQ1 |
| \textsf{Critical self-similar FCLT | MR6GKEXAXE | statement | record (an 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.09404#9HF4 |
| \textsf{Dyadic decomposition of initial segments | 9SEHE3VV79 | statement | record (an 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.09404#922P |
| \textsf{Finite-variance continuous-time BMD principle | Y6XH4Y5FSZ | statement | record (an 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.09404#WFOP |
| \textsf{Finite-variance discrete BMD principle | 8W9Z30PHRE | statement | record (an 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.09404#LVE5 |
| \textsf{idtoiso} | Y64X17MA8C | statement | open | hott_book categories.tex#ct:idtoiso |
| \textsf{Rank-preserving truncation | FEERM2BSQQ | statement | record (an 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.09404#350D |
| \textsf{Separated diagram bounds | B52X89865B | statement | record (an 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.09404#6E4D |
| \textsf{Small-support estimate | QKT7NB7RQQ | statement | record (an 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.09404#9MTT |
| \textsf{Subcritical self-similar FCLT | XV8AAF2JS4 | statement | record (an 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.09404#6L9X |
| \textsf{Uniform $L^p$ block bound | RAQQ683CMG | statement | record (an 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.09404#2WEI |
| \textsf{Uniform approximation in path norm | B8C3KXDHA4 | statement | record (an 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.09404#EAID |
| \textsf{Uniform covariance envelope | SYHFX4GTBD | statement | record (an 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.09404#LF6G |
| \textsf{Uniform integral approximation | 5K8SK9Q5R5 | statement | record (an 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.09404#H337 |
| \texttt{Bounds on Lagrange multipliers | VBJYE4JME6 | statement | record (an 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.06343#63FI |
| \texttt{Bounds on the moments | KKXQVG6A2K | statement | record (an 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.06343#LAMP |
| \texttt{coal\_below\_1e5}, \dots, \texttt{coal\_below\_1e8 | QRFZBR3NN8 | statement | record (an 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.22298#1ZK1 |
| \texttt{coal\_below\_of\_cert | EQZGSDEQVM | statement | record (an 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.22298#WSKZ |
| \texttt{Constrained entropy production | JRVBNKQ6CP | statement | record (an 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.06343#5OOM |
| \texttt{Constrained equilibria | 9D53BGGMW0 | statement | record (an 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.06343#OD5H |
| \texttt{Contraction by synchronous coupling | GR18C31MXH | statement | record (an 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.06343#FFNV |
| \texttt{Contraction by synchronous coupling and dissipativity | 2DKR4YTQHV | statement | record (an 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.06343#TFVH |
| \texttt{Contraction of the invariant measure map | P5CNKEP2JR | statement | record (an 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.06343#F9UG |
| \texttt{Energy dissipation | P5QNF0V2YP | statement | record (an 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.06343#0SZS |
| \texttt{Entropy contraction by microscopic constrained log-Sobolev inequality | N2PQPHBV7J | statement | record (an 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.06343#3ND8 |
| \texttt{Entropy exponential convergence by constrained log-Sobolev inequality | 1BPN6G6K0P | statement | record (an 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.06343#UW9T |
| \texttt{Entropy exponential convergence by log-Sobolev inequality | TZ60DP36Z5 | statement | record (an 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.06343#TY2O |
| \texttt{Existence of weak solutions and invariance | H9099XGC0F | statement | record (an 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.06343#53J6 |
| \texttt{Explicit constrained microscopic equilibrium | P6QSXSZDH2 | statement | record (an 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.06343#KT97 |
| \texttt{Explicit form of the Lagrange multiplier | 5R0916RX8F | statement | record (an 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.06343#YW6P |
| \texttt{Exponential convergence | SCW6SA5QJZ | statement | record (an 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.06343#HMKN |
| \texttt{Flat derivatives of Lagrange multiplier | YR8FGEGYMN | statement | record (an 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.06343#RLEG |
| \texttt{Free Lyapunov functional | YR55BBSPKB | statement | record (an 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.06343#ED6R |
| \texttt{Free microscopic Lyapunov functional | 3V28KDNKC9 | statement | record (an 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.06343#5OBX |
| \texttt{Linear case | EW4PXW167X | 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.06343#BMRF |
| \texttt{Lipschitz Lagrange multiplier | YF24B9P2JS | statement | record (an 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.06343#OXB1 |
| \texttt{Propagation of chaos and flat second derivatives | EWHGB6S23Y | statement | record (an 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.06343#SXN4 |
| \texttt{Propagation of chaos and Lipschitz regularity of the first flat derivatives | 19ZHXE3JAG | statement | record (an 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.06343#EH7V |
| \texttt{Quadratic constraint | EDTM56EEGK | 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.06343#2JAL |
| \texttt{WeaklyCompactTypes} in , \coqident{MoreFoundations}{Wtypes}{picompact | W92HAYSMXN | 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 1904.09810#PNSP |
| \text{Local error | HBREBDMNEP | statement | record (an 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.33406#AORX |
| \text{Realization of Three-Gap Differences | SETCHKV9YB | statement | record (an 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.02495#DME9 |
| \text{see | 284XG1287K | statement | record (an 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.07370#J20F |
| \text{see | 6TZF06M9WV | statement | record (an 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.07370#WHDW |
| \text{see | VK2Z4BPE3Z | statement | record (an 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.07370#VKK8 |
| \theoremcite{Example 9.8}{bilokopytov2023 | 66FFGEYAM2 | statement | record (an 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.29498#LQ3C |
| \theoremcite{Lemma 4.1}{aliprantis1974 | 3GJECJ7D58 | statement | record (an 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.29498#EY10 |
| \theoremcite{Open Problem 1}{aliprantis1974 | 1RV28H2NBX | 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 2609.29498#04X9 |
| \theoremcite{Open Problem 1}{aliprantis1974 | 46QSWKKRMP | 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 2609.29498#ZUPD |
| \theoremcite{Open Problem 2}{aliprantis1974 | RVVXW0YEW3 | 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 2609.29498#9H33 |
| \theoremcite{Open Problem 3}{aliprantis1974 | 8PTSVA53JS | 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 2609.29498#4XR3 |
| \theoremcite{Open Problem 4}{aliprantis1974 | H09W60FYAK | 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 2609.29498#6BE6 |
| \theoremcite{Theorem 2.41}{aliprantis_burkinshaw2003 | TQAM1HHSHT | statement | record (an 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.29498#M0ZZ |
| \theoremcite{Theorem 3.2}{aliprantis1974} and \theoremcite{Theorem 5.1}{aliprantis1974 | 6S4W9H01VW | statement | record (an 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.29498#7TH0 |
| \theoremcite{Theorem 5.3}{aliprantis1974 | 3M7WXCP602 | statement | record (an 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.29498#LAXK |
| \theoremcite{Theorem 6.1}{aliprantis1974 | KC8KF693YM | statement | record (an 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.29498#KZ9Q |
| \thmref{thm: HKR homo | 6VDZ7JVPHG | statement | record (an 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.30018#L08O |
| \thmref{thm:duality | F6EB7QG7DE | statement | record (an 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.30018#7BGR |
| \thmref{thm:Hochs cohomo main | BPSW2V9J02 | statement | record (an 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.30018#IPMG |
| \thmref{thm:thom-sebastiani | W9KAX9VZEQ | statement | record (an 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.30018#4W4G |
| \TS is unconditional | 9W9377AXME | statement | record (an 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.35844#QWAD |
| \upshape Fujita | TKQGG588PE | statement | record (an 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.23634#L1HU |
| \upshape Fujita | XM119VG6PD | statement | record (an 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.23634#K18Z |
| \upshape Fujita and Kawarabayashi | GPZN0K15KM | 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.23634#KWMK |
| \upshape Mader | D7B60QQ93E | statement | record (an 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.23634#L899 |
| \upshape Mader | VT7WDTM3DB | statement | record (an 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.23634#6Y3W |
| \upshape Mader | WZZY8D8P08 | 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.23634#MKJO |
| \usetoken{S}{value} of a Term | W6J0WK840W | definition | open | open_logic content/second-order-logic/syntax-and-semantics/satisfaction.tex#defn-2 |
| \wisc \textbf{(Colimits of sized functors | 9YJ3GQ2AX7 | statement | record (an 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.03252#K7VG |
| \wisc \textbf{(Products of set-valued sized functors are sized | VZKGZSFGEH | statement | record (an 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.03252#DMKG |