Inventory: R
The rows of the inventory whose names start with R. 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 2601–2700 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Representer theorem for the inner problem | G72FXSTE70 | statement | record (an 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.34474#44OD |
| reproducing kernel Hilbert space | RB0SAXBGHH | statement | open | mathlib_1000 Q3345678, Wikidata Q3345678, thousand_plus Q3345678, Wikipedia Moore–Aronszajn theorem, EoM Reproducing-kernel_Hilbert_space |
| Reproducing Kernel Hilbert Space | WCPZD8HXAS | 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.19861#WO4J |
| Reproducing Kernel Hilbert Space | Y6TSTVDQGD | 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.34474#HGJ3 |
| Reproducing property for the derivative | SVG6MPZ8AH | statement | record (an 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.19861#ZKW8 |
| REPRQ4MD3D | REPRQ4MD3D | proof | open | open_logic content/set-theory/replacement/finiteaxiomatizability.tex#proof-2 |
| Repulsion and isolation of deep crossings | VDAGWKVNNN | statement | record (an 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.00295#HUEY |
| Repulsion for isolated bad Gram points | 3JJ8JE3BME | 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 2406.06548#XDXK |
| Repulsion for isolated bad Gram points | 4J81WADVD3 | 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 2406.06548#EQ2Z |
| Repulsive diagrams | ZV475B6NTC | 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 1905.02785#QK26 |
| Repulsive harmonic cost in \(\R^d\ | BD0RVD9RCZ | statement | record (an 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.10257#2RPZ |
| Repulsive Riesz and Coulomb pair interactions | 5P64RRNJVK | 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.34402#6BII |
| repunit | E52M62SGP9 | unknown | open | Wikidata Q1199125, MathWorld Repunit, OEIS A002275 |
| REQCNR7KVB | REQCNR7KVB | statement | record (an 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.13103#R073 |
| requires \sectionref{sec:impropriemann} | 6BN74A8KSF | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-34 |
| requires \sectionref{sec:moreonseries} | 5P5DBT30VW | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-14 |
| requires \sectionref{sec:moreonseries} | N9MZEQEGDB | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-31 |
| requires \sectionref{sec:moreonseries} and \sectionref{sec:taylor} | JJ2AQ1GHMG | exercise | open | lebl_ra ch-seq-funcs.tex#exercise-32 |
| requires \sectionref{sec:taylor} | BNKG1RRFH1 | exercise | open | lebl_ra ch-riemann.tex#exercise:nonanalytic |
| requires \sectionref{sec:taylor} | VDRCT6RVR7 | exercise | open | lebl_ra ch-der.tex#exercise-35 |
| requires \sectionref{sec:taylor} | VF08JSSXZ5 | exercise | open | lebl_ra ch-riemann.tex#exercise-35 |
| RERBET7S7T | RERBET7S7T | statement | record (an 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.25301#SGNZ |
| REREKX41YR | REREKX41YR | statement | record (an 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.05708#UMEH |
| RERJHTRW84 | RERJHTRW84 | statement | record (an 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.03611#7GJW |
| RES9QNBWK8 | RES9QNBWK8 | statement | record (an 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.03719#VDBE |
| Rescaling | A813736N9V | statement | record (an 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#JF9Q |
| Rescaling | WGSY3TBWZN | statement | record (an 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.32585#ERPM |
| Reserved area | Y6Y9XDPJTV | statement | record (an 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#7SNE |
| Reset perturbation | 64716W9WGA | statement | record (an 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.36016#D9ST |
| Reshetnyak's four point inequality | HCSWCVG7J2 | statement | record (an 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.17909#XVVW |
| Residual amplification on the half annuli | SWRG31RG24 | statement | record (an 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.20285#FFKF |
| Residual and dynamic modulation | 9PRCY24JAE | statement | record (an 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.00241#G0IN |
| Residual bound at the regularized zero | 2RJDGRV4PH | statement | record (an 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.35631#TNIG |
| Residual bound for approximate monitors | NCN11YPNEZ | statement | record (an 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.20020#25VM |
| Residual bound from sampled slopes | BY3VE58G9R | statement | record (an 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.20539#KU1Z |
| Residual bound; at $\alpha=\tfrac12$ | C51G3295AY | statement | record (an 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.05558#GBN1 |
| Residual certificate | KVWVKFHCY8 | statement | record (an 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.03633#5VCC |
| Residual comparison and alternative stability | 466RSMR7RY | statement | record (an 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.31555#PN8J |
| Residual condition after separate normalization | 9RHJJMRKCC | statement | record (an 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.33021#9BRE |
| Residual Convergence Rate | CB311BTRNH | statement | record (an 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.10927#B25E |
| Residual count law | YSYKBKGEJX | statement | record (an 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.16680#DAGI |
| Residual criterion for admissibility | VG3Z0X8W35 | statement | record (an 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.26196#XNWR |
| Residual Degree | WWNM2VAGRR | statement | record (an 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.37578#WCMY |
| Residual estimate | GKFGT3YGW0 | statement | record (an 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.20414#QPLC |
| Residual expansion | CFJVYBFCZ8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.11076#U6G1 |
| Residual frame | 1P5DRM5V31 | 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.21662#W5ER |
| Residual Graph Amplification | QF72PGGQX2 | statement | record (an 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.37578#22QX |
| Residual Holant input | P4Z7TN7Y83 | statement | record (an 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.12456#C5JK |
| Residual modular length | EBR9HXA8KW | statement | record (an 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.07293#IADJ |
| Residual normalization | G0G4H4VQKY | statement | record (an 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.20994#UCN0 |
| Residual of the explicit Kummer background | TJWFTE3BD3 | statement | record (an 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.11077#EJPH |
| Residual of the final resolvent point | NZSRB8FXR1 | statement | record (an 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.35631#DR8A |
| Residual Parent List | 16PAR3E354 | statement | record (an 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.37578#ZPZ4 |
| Residual PID Parent List | FFY28WQFZB | statement | record (an 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.37578#HY3K |
| Residual process | CAX39Q1Q3R | 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.02893#F3IG |
| Residual rank formula | GA75CF700D | statement | record (an 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#OFXB |
| Residual rates | C2VTNHJX6B | statement | record (an 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.21991#NAA3 |
| residual representation | 1HYGCG8HCZ | statement | record (an 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.17678#JQIZ |
| Residual representation; maximal invariant | XPT2SV568A | statement | record (an 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.04671#Y5PJ |
| Residual second-moment cost | GSV35EGWJJ | statement | record (an 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.16680#PIBJ |
| Residual SID Parent List | J4T6NED2F9 | statement | record (an 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.37578#LJTZ |
| Residual spectral transform | R4EVMXS3ND | statement | record (an 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.16680#AEEO |
| Residual under arbitrary Gaussian polynomial information | HWA6JC3BE9 | statement | record (an 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.12641#DZGG |
| Residual zero atom and threshold | QRW2TE5HHX | statement | record (an 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.16680#I0L0 |
| Residual zero-frequency weight | CW9VRXKX29 | statement | record (an 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#Y9TM |
| Residual-based a posteriori error estimator | M0R9EZBKPC | statement | record (an 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.36141#Y0S1 |
| Residual-Based Iteration Complexity | 81P2S4RFAN | statement | record (an 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.10927#FQN8 |
| Residual-based state-error estimate | 89SMZVG5QH | statement | record (an 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.12017#2BT6 |
| Residual-based stopping rule for the Moreau evaluation | 2SQERC91DW | statement | record (an 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#5WW6 |
| Residual-corrected lower-bounding formulation | QFNFKMYA4Y | unknown | open | arXiv 2610.20539#3Y6X |
| Residual-exogenous optimizer limits | 3VB6ZQW448 | statement | record (an 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#VWUE |
| Residual-time self-similarity | 1MVD9WGQTB | statement | record (an 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.18445#2441 |
| Residuals; Proposition S9 | A17TGYBB3X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.11076#1897 |
| residue | SXTJC64A2N | concept | node (a node has the same Wikidata item as the row) | Wikidata Q753375, MathWorld ComplexResidue, nLab residue, ProofWiki Definition:Residue_(Complex_Analysis) |
| residue class | 9XZD72Y9N4 | definition | node (a node has the same name as the row) | Wikidata Q68026154, MathWorld ResidueClass, ProofWiki Definition:Residue_Class |
| residue field | GH1PM8A9SN | unknown | open | Wikidata Q7315530, Mathlib IsLocalRing.ResidueField, MathWorld ResidueField, nLab residue field |
| Residue formula for the signed distribution | 2X8W4SSWSG | statement | record (an 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.31689#B5L8 |
| Residue functionals | KJ8CBQ7ATH | statement | record (an 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.21093#N4B3 |
| residue theorem | 5B5S1HPW1A | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q830513, Wikidata Q830513, thousand_plus Q830513, Wikipedia Residue theorem, MathWorld ResidueTheorem, ProofWiki Cauchy's_Residue_Theorem |
| residue theorem | 60JGNHVG4M | concept | open | lebl_scv index/B/residue-theorem |
| residue theorem | K5CS2KT8DN | unknown | open | mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > residue theorem |
| Residue theorem | QSTW2HCM06 | statement | open | lebl_scv scv.tex#thm:residue |
| Residue-class densities | NJ8N6S1QF2 | statement | record (an 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.03811#ACT9 |
| Residue-free positivity threshold | EY6H3011NN | statement | record (an 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.22305#DHYC |
| Residues $\pm1$, $\pm2$, and $\pm3$ | AET36SS038 | statement | record (an 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.27153#00MD |
| resistance distance | G8DQ0609GP | unknown | open | Wikidata Q7315618, MathWorld ResistanceDistance |
| resizing | CM7ZZSPVQR | concept | open | hott_book index/C.1.3/resizing |
| resizing | DPC7VHC4M4 | concept | open | hott_book index/C.5/resizing |
| resizing | MQ1K2NW0DZ | concept | open | hott_book index/9.11/resizing |
| resolution | V07G8KABDF | statement | open | Wikidata Q1051925, MathWorld ResolutionPrinciple |
| Resolution of Overlaps | EDJXGKNQV8 | statement | record (an 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#EJBR |
| resolution of singularities | K024HKY5ZT | statement | open | mathlib_1000 Q10942247, Wikidata Q10942247, thousand_plus Q10942247, Wikipedia Hironaka theorem, EoM Resolution_of_singularities |
| resolution of the identity | WQP1WK3TT1 | concept | open | Wikidata Q3937040, EoM Resolution_of_the_identity |
| Resolution under fixed damping | KWSABYMJAX | statement | record (an 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.33499#NC7J |
| Resolution-independent derived trace of AKSZ source cocycles | MNZ9W17RPD | statement | record (an 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.27799#PY1M |
| Resolution-level and relative logarithmic models | XRMGY8P2TB | statement | record (an 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.27799#A92G |
| Resolvable concurrent signals | Y1W16T3EQZ | 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.33753#R43H |
| Resolved chain-level regularization datum | TXKCQWJHR9 | 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.27799#0TWB |
| Resolved representative of the derived BV--BFV identity | Y6SZEJCRTR | statement | record (an 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.27799#1ZUG |
| Resolved--intrinsic $b$-equivalence | Y1CPZJB5Z9 | 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.27799#LAHW |