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 3101–3200 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| ribbon category | TWTQMPHE0K | unknown | open | Wikidata Q17102717, nLab ribbon category |
| Ribbon detectability | 5Q3R6A9WC5 | statement | record (an 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.03677#GMGT |
| Ribbon error basis | 6MXJ6AQTZN | statement | record (an 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.03677#SYXQ |
| Ribbon Knill-Laflamme | XH8RCSDMEH | statement | record (an 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.03677#E88W |
| ribbon knot | ZCS3PW78W7 | unknown | open | Wikidata Q17102731, MathWorld RibbonKnot |
| Ribbon surface and ribbon genus | 2BGGD96TEV | 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.10206#4RKO |
| Ribes--Zalesskii | FRS3C3F7DT | statement | record (an 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.04870#RXI3 |
| Ribes--Zalesskii | HYBTWY42GD | statement | record (an 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.04870#JMX4 |
| Ribet's theorem | AES01TTTJV | statement | open | mathlib_1000 Q7322366, Wikidata Q7322366, thousand_plus Q7322366, Wikipedia Ribet's theorem, MathWorld RibetsTheorem, nLab Ribet's theorem |
| Ribs and rib-walks for LTs | 60W9X338VF | 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#23D4 |
| Ricardo Schiappa | 18M0Y0ZC7Q | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q62058459, nLab Ricardo Schiappa |
| Riccati equation | JZ1JRNDNFN | concept | node (a node has the same name as the row) | Wikidata Q851503, MathWorld RiccatiDifferentialEquation, nLab Riccati equation, ProofWiki Definition:Riccati_Equation |
| Ricci asymmetry on geodesic hyperspheres | WA3DE220SN | 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.00078#JO5J |
| Ricci contraction | J67PD1HB7T | statement | record (an 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.00077#9DDE |
| Ricci curvature | HXSAH6S4D9 | unknown | open | Wikidata Q1195879, EoM Ricci_tensor, MathWorld RicciCurvatureTensor, nLab Ricci curvature |
| Ricci Eigenvalue Characterization of ERP | WMG1AFTTKR | statement | record (an 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.34154#HJSV |
| Ricci flow | KQXFDWZ9KK | concept | open | Wikidata Q1361396, MathWorld RicciFlow, nLab Ricci flow, ProofWiki Definition:Ricci_Flow |
| Rice distribution | 5KWN6G0956 | unknown | open | Wikidata Q2671311, MathWorld RiceDistribution |
| Rice's Theorem | BJ4VAPS658 | statement | open | open_logic content/computability/computability-theory/rice-theorem.tex#thm-1 |
| Rice's theorem | QX783ABM12 | statement | open | mathlib_1000 Q1893717, Mathlib ComputablePred.rice, Wikidata Q1893717, mathlib_overview Logic and computation > Computability > Rice theorem, thousand_plus Q1893717, Wikipedia Rice's theorem, MathWorld RicesTheorem |
| Rice–Shapiro theorem | AEKPW7C3WD | statement | open | mathlib_1000 Q7323144, Wikidata Q7323144, thousand_plus Q7323144, Wikipedia Rice–Shapiro theorem |
| Rich components | JH2X2CB12Y | statement | record (an 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.33327#769X |
| Rich flats | JTSDDAGATX | statement | record (an 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.33365#511M |
| Rich motions | K0B40ZEAS7 | statement | record (an 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.29784#7ZNE |
| Richard Blute | CARGZHYEY5 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q93944801, nLab Richard Blute |
| Richard Borcherds | 7XWJWZNRXM | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q334010, nLab Richard Borcherds |
| Richard Brauer | VF194PM1XC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q65201, nLab Richard Brauer |
| Richard Dalitz | S0XQ7YCZEW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q354856, nLab Richard Dalitz |
| Richard Dedekind | W2BG1Q7P02 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q76556, nLab Richard Dedekind |
| Richard Dien Winfield | RAD28Y0ZD2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q81749700, nLab Richard Dien Winfield |
| Richard Feynman | WQYZE0KBMX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q39246, nLab Richard Feynman |
| Richard Hepworth | T5NT75FQC1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q30140375, nLab Richard Hepworth |
| Richard James Milgram | YQMQGV57V8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2123853, nLab R. James Milgram |
| Richard Lashof | BZSCTG562K | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7327261, nLab Richard Lashof |
| Richard Melrose | FPTJGY6QWA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2150196, nLab Richard Melrose |
| Richard Montague | AC5QVD0578 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q536528, nLab Richard Montague |
| Richard P. Brent | 8EA6F16J43 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q93042, ProofWiki Mathematician:Richard_Peirce_Brent |
| Richard Palais | BN6Q0RKFY7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2150338, nLab Richard Palais |
| Richard Schoen | MR16DM0DFY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q455610, nLab Richard Schoen |
| Richard Statman | 81FWW2A07R | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7329230, nLab Richard Statman |
| Richard Swan | ST6Q3C2DZE | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q371523, nLab Richard Swan |
| Richard Taylor | 5JR42789FD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q712170, nLab Richard Taylor |
| Richard von Mises | 4H1A472VTR | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q84292, EoM Mises,_Richard_von |
| Richard's paradox | 82AFCQE96B | statement | open | Wikidata Q83491, MathWorld RichardsParadox, ProofWiki Richard's_Paradox |
| Richardson extrapolation | 2DWE0Q03N3 | unknown | open | Wikidata Q1063089, MathWorld RichardsonExtrapolation |
| Richardson resolvent rate | N0FF8J83WT | statement | record (an 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.16094#9ANT |
| Richardson's theorem | C65D51S417 | statement | open | mathlib_1000 Q1249069, Wikidata Q1249069, thousand_plus Q1249069, Wikipedia Richardson's theorem, MathWorld RichardsonsTheorem |
| Richardson--Chernoff extrapolation | HHTER48MYK | statement | record (an 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.16094#PRXR |
| Richardson--Chernoff extrapolation on a prescribed power scale | SWM9TFXE74 | statement | record (an 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.16094#ODO4 |
| Richter--Tchakaloff | R28GF3P9A2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.19729#SQ5H |
| Ridders' method | KX7RKXB7JG | unknown | open | Wikidata Q1864934, MathWorld RiddersMethod |
| ridge | XM6EGVNXS0 | concept | open | Wikidata Q3895298, MathWorld Ridge |
| Ridge analyticity and density in Sobolev spaces, any dimension | V6YCR6ABJZ | statement | record (an 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.04357#NZUC |
| Ridge bias in the learned subspace | KVM4NRSZMK | statement | record (an 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.05388#MZ88 |
| Ridge regression | ETJBPS66AE | statement | record (an 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.10519#T8KA |
| Ridge-leverage stability | YBG264Q9J8 | statement | record (an 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.05388#4GF0 |
| Ridge-skeleton conjecture | HNCRSERAQD | 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.27798#6T2R |
| Riemann curvature tensor | NS7B64WHJ4 | unknown | open | Wikidata Q855112, MathWorld RiemannTensor, nLab Riemann curvature |
| Riemann hypothesis | N3YJ4KEKYW | statement | open | mathlib_1000 Q205966, Wikidata Q205966, thousand_plus Q205966, Wikipedia Critical line theorem, EoM Riemann_hypotheses, Mathlib RiemannHypothesis, MathWorld RiemannHypothesis, nLab Riemann hypothesis, nLab Riemann hypothesis and physics, ProofWiki Riemann_Hypothesis |
| Riemann integrable, complex-valued function | NYWJEQZNG4 | concept | open | lebl_ra index/1.1.3/riemann-integrable-complex-valued-function |
| Riemann integral | GZYSPJWX85 | concept | node (a node has the same name as the row) | Wikidata Q697181, EoM Riemann_integral, MathWorld RiemannIntegral |
| Riemann mapping theorem | D0R2EJBHRD | statement | open | lebl_scv scv.tex#thm-32 |
| Riemann mapping theorem | F8PPQ3SG8J | concept | open | lebl_scv index/1.4/riemann-mapping-theorem |
| Riemann mapping theorem | HV2J29E43S | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q927051, Wikidata Q927051, thousand_plus Q927051, Wikipedia Riemann mapping theorem, MathWorld RiemannMappingTheorem |
| Riemann mapping theorem | Z57GVNTVE6 | concept | open | lebl_scv index/B/riemann-mapping-theorem |
| Riemann mapping theorem\index{Riemann mapping theorem} | JR7843V8F5 | statement | open | lebl_scv scv.tex#thm-8 |
| Riemann problem | JN6F94984K | 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 2604.11825#ZS1A |
| Riemann series theorem | 1VKD86MZEN | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q1752516, Wikidata Q1752516, thousand_plus Q1752516, Wikipedia Riemann series theorem, MathWorld RiemannSeriesTheorem |
| Riemann sphere | N5CPEK3S76 | unknown | node (a node has the same name as the row) | Wikidata Q825857, MathWorld RiemannSphere, nLab Riemann sphere |
| Riemann sum | WRE2H0TF6Y | concept | node (a node has the same name as the row) | Wikidata Q1156903, MathWorld RiemannSum |
| Riemann sum | YKFMZJ57YZ | concept | open | active_calculus index/4.2.3/riemann-sum |
| Riemann sum, left | DWQGYJX3PH | concept | open | active_calculus index/4.2.3/riemann-sum-left |
| Riemann sum, middle | CXZKCXBQB1 | concept | open | active_calculus index/4.2.3/riemann-sum-middle |
| Riemann sum, right | 806VKFEGDD | concept | open | active_calculus index/4.2.3/riemann-sum-right |
| Riemann sums | EGYRXBN9J0 | unknown | open | mathlib_undergrad Single Variable Real Analysis > Integration > Riemann sums, Mathlib BoxIntegral.integralSum |
| Riemann Sums on an Arc | ZFQZXDNG6N | statement | record (an 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.13222#SNHD |
| Riemann Sums with a Logarithmic Singularity | P770A5M2EY | statement | record (an 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.13222#2C01 |
| Riemann surface | HFMFPGERY8 | concept | open | Wikidata Q753035, EoM Riemann_surface, MathWorld RiemannSurface, nLab Riemann surface, ProofWiki Definition:Riemann_Surface |
| Riemann surface | XAQRGVAGKD | definition | open | napkin tex/riemann-surface/complex-structure.tex#definition-1 |
| Riemann theta function | T5BGT6MTMS | concept | open | Wikidata Q120377815, EoM Riemann_theta-function, MathWorld RiemannThetaFunction |
| Riemann von Mangoldt explicit formula | E4K32952V6 | unknown | open | Wikidata Q135471579, MathWorld ExplicitFormula |
| Riemann Xi function | RXVF0PSJR0 | unknown | open | Wikidata Q2152235, MathWorld Xi-Function |
| Riemann zeta function | BNZES6DKKV | concept | open | Wikidata Q187235, EoM Zeta-function#Riemann.27s_zeta-function, Mathlib riemannZeta, MathWorld RiemannZetaFunction, ProofWiki Definition:Riemann_Zeta_Function |
| Riemann's differential equation | AB5F7ZWXG4 | unknown | open | Wikidata Q974071, EoM Papperitz_equation, MathWorld RiemannP-DifferentialEquation |
| Riemann--Lebesgue or Lebesgue--Vitali\footnote{ \href{https://en.wikipedia.org/wiki/Giuseppe_Vitali}{Giuseppe Vitali} (1875--1932) was an Italian mathematician. Note also that the name Riemann--Lebesgue often refers to a result like \volIref{\exerciseref*{vI-exercise:rieleblem} from volume I}{\exerciseref{exercise:rieleblem}}.} | 240D014HCS | statement | open | lebl_ra ch-multivar-int.tex#thm-1 |
| Riemann--Lebesgue theorem | 449WQJ0MCS | concept | open | lebl_ra index/5.4.2/riemann-lebesgue-theorem |
| Riemann--Roch | SN26PN3PQ1 | statement | record (an 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.32834#B0LM |
| Riemann--Roch theorem for orbifold curves | 8PW7DB13FJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1712.02437#QBQT |
| Riemann-Lebesgue lemma | F5H5BRKT9M | unknown | open | mathlib_undergrad Measures and integral calculus > Fourier analysis > Riemann-Lebesgue lemma, Mathlib tendsto_integral_exp_smul_cocompact |
| Riemann-Lebesgue lemma | M2CGWZQ0Y9 | unknown | open | mathlib_overview Analysis > Fourier analysis > Riemann-Lebesgue lemma, Mathlib tendsto_integral_exp_inner_smul_cocompact |
| Riemann-Liouville integral and Caputo derivative | STG1KHGX2Q | 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.06631#OX9C |
| Riemann-Roch for 0-cycles | JRJ6GSJQ8J | statement | record (an 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.32599#WSCT |
| Riemannian Descent Lemma | HBDDMASX9P | statement | record (an 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.32997#B24B |
| Riemannian distance | FVTP6TKCY6 | 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.17004#X49P |
| Riemannian gap inequality | 2S86R8932V | statement | record (an 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.32829#F198 |
| Riemannian geometry | 6YW6CM84EV | topic | open | Wikidata Q761383, MathWorld RiemannianGeometry, ProofWiki Definition:Riemannian_Geometry_(Mathematical_Branch) |
| Riemannian globalization criterion | V613D01VJ2 | statement | record (an 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.24610#WIS7 |
| Riemannian gradient | 76BPMNVSP5 | 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.32997#LCNK |
| Riemannian gradient | BZJKSE6Q0F | 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.30220#3LCK |
| Riemannian gradient and Hessian | 5MP5G73YF6 | 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.17004#BC9S |