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 3201–3300 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Riemannian Hessian | MZ3HDG3YEQ | 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#P89U |
| Riemannian injectivity radius | T6NX06WS8N | 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.24610#F1UH |
| Riemannian logarithm | 8HXD0AZSVY | 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#GB00 |
| Riemannian manifold | 5167SFZ33R | concept | open | Wikidata Q632814, EoM Riemannian_manifold, MathWorld RiemannianManifold, nLab Riemannian manifold, ProofWiki Definition:Riemannian_Manifold |
| Riemannian manifold | 7K4MNSH1MJ | 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#D77Y |
| Riemannian manifold | AH6T3GEQSS | unknown | open | mathlib_overview Geometry > Riemannian manifolds > Riemannian manifold, Mathlib IsRiemannianManifold |
| Riemannian metric | VJJDNX6FJX | unknown | open | Wikidata Q7888899, EoM Riemannian_metric, MathWorld RiemannianMetric, nLab Riemannian metric |
| Riemannian prestress stability | N5KFMY6GEV | 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#D2DI |
| Riemannian/bundle metric | BEVJ7Z53C1 | unknown | open | mathlib_overview Geometry > Riemannian manifolds > Riemannian/bundle metric, Mathlib Bundle.RiemannianMetric |
| Riemann–Lebesgue lemma | 5HEPQH9KDM | statement | open | Wikidata Q9363284, MathWorld Riemann-LebesgueLemma |
| Riemann–Liouville integral | 73EYDQ91GG | unknown | open | Wikidata Q4162532, MathWorld Riemann-LiouvilleOperator |
| Riemann–Roch theorem | SGWAP6RKVC | statement | open | mathlib_1000 Q379048, Wikidata Q379048, thousand_plus Q379048, Wikipedia Riemann–Roch theorem, ProofWiki Riemann-Roch_Theorem |
| Riemann–Roch theorem for smooth manifolds | E7ZE2Z77ND | statement | open | mathlib_1000 Q17102744, Wikidata Q17102744, thousand_plus Q17102744, Wikipedia Riemann–Roch theorem for smooth manifolds |
| Riemann–Roch theorem for surfaces | C7THHJ0EA4 | statement | open | mathlib_1000 Q7333126, Wikidata Q7333126, thousand_plus Q7333126, Wikipedia Riemann–Roch theorem for surfaces |
| Riemann–Siegel formula | RPX8XJAP9D | statement | open | Wikidata Q3018544, MathWorld Riemann-SiegelFormula |
| Riemann–Siegel theta function | VGPH5P2JY8 | concept | open | Wikidata Q14769928, MathWorld Riemann-SiegelFunctions |
| Riemann–Stieltjes integral | 48VA7DBC0J | unknown | open | Wikidata Q285771, MathWorld StieltjesIntegral |
| Riemann–von Mangoldt formula | JB3D6QZBHD | statement | open | Wikidata Q3748379, MathWorld Riemann-vonMangoldtFormula |
| Riesel number | JK6DQHFR5F | definition | open | Wikidata Q301128, MathWorld RieselNumber, OEIS A101036, ProofWiki Definition:Riesel_Number |
| Riesz potentials of the spectral weights | S0V8X29EP4 | statement | record (an 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#423R |
| Riesz projection of an almost-idempotent map | D3ADYWWN3N | statement | record (an 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#IO3W |
| Riesz representation criterion | EKFD2D6VP1 | statement | record (an 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.14906#D7R9 |
| Riesz representation theorem | C5NT1HQ8ER | statement | open | mathlib_1000 Q1357684, Mathlib InnerProductSpace.toDual, Wikidata Q1357684, mathlib_overview Analysis > Hilbert spaces > Fréchet-Riesz representation of the dual of a Hilbert space, mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > dual isomorphism in the Euclidean case, mathlib_undergrad Topology > Hilbert spaces > Riesz representation theorem, thousand_plus Q1357684, Wikipedia Riesz representation theorem, EoM Riesz_representation_theorem, nLab Riesz representation theorem |
| Riesz representation; Lemma S3.1 | PPTDC8BDXX | statement | record (an 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#Y2YJ |
| Riesz' lemma (unit-ball characterization of finite dimension) | N37NKTHZ1A | unknown | open | mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > Riesz' lemma (unit-ball characterization of finite dimension), Mathlib FiniteDimensional.of_isCompact_closedBall |
| Riesz-Thorin | E603D156Q1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.07784#OZ1S |
| Riesz–Fischer theorem | Y69W9YRPZS | statement | open | mathlib_1000 Q643513, Wikidata Q643513, thousand_plus Q643513, Wikipedia Riesz–Fischer theorem, EoM Riesz-Fischer_theorem, MathWorld Riesz-FischerTheorem |
| Riesz–Markov–Kakutani representation theorem | KE6QTEDDB8 | statement | open | Wikidata Q17098001, MathWorld RieszRepresentationTheorem |
| Riesz–Thorin theorem | 6VC70M28PD | statement | open | mathlib_1000 Q245902, Wikidata Q245902, thousand_plus Q245902, Wikipedia Riesz–Thorin theorem |
| rigged Hilbert space | KA6BFMGQRX | unknown | open | Wikidata Q1262627, EoM Rigged_Hilbert_space, nLab rigged Hilbert space |
| right adjoint | GZS6HSM2AC | unknown | open | Wikidata Q121546687, nLab right adjoint |
| right angle | RN14KED3JX | definition | open | Wikidata Q210, MathWorld RightAngle, ProofWiki Definition:Right_Angle |
| right circular cylinder | VET5901BPN | unknown | open | Wikidata Q18466467, MathWorld RightCircularCylinder |
| right conoid | PRS4AB02TE | unknown | open | Wikidata Q2686383, MathWorld RightConoid |
| Right Distributive Law | KRY761G1WN | statement | open | applied_combinatorics source/s_background_mult.ptx#theorem-2 |
| Right filters | M9WEEV0RWZ | statement | record (an 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.05164#4SR3 |
| right half-open interval | 7SXB227R6V | definition | open | Wikidata Q106653385, ProofWiki Definition:Real_Interval/Half-Open/Right |
| Right Hilbert module | 488404DYV9 | 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.26382#KNDC |
| Right irrelevance of $\Uc_i$ | 6QRFJPEHVY | statement | record (an 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#8BSG |
| Right irrelevance of context PER | Y1G9Q2GVEF | statement | record (an 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#OX2J |
| right limit | YJQVXC5DPW | concept | open | active_calculus index/1.7.2/right-limit |
| Right linear operators | DJC0S0CHSD | 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.26382#NZXR |
| right module | XPZ92670XM | definition | open | Wikidata Q120722061, ProofWiki Definition:Right_Module |
| Right tail | BB3F54Y23Q | statement | record (an 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.31345#7O7Z |
| right trapezoid | 4MZEQ5WTAW | unknown | open | Wikidata Q12218380, MathWorld RightTrapezoid |
| right triangle | WERF6BT5XD | unknown | open | Wikidata Q158688, MathWorld RightTriangle |
| right-hand rule | P9DVVR4HWM | unknown | open | Wikidata Q1366301, MathWorld Right-HandRule |
| right-handed coordinate system | 7JYCGH652G | unknown | open | Wikidata Q2135634, MathWorld Right-HandedCoordinateSystem |
| Right-invariant Sobolev metric | VG46EDCSN6 | 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 2410.06788#ED73 |
| Rigid ampleness for polygonal domains | 8659JWB6HQ | statement | record (an 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#OOZW |
| Rigid and loose spaces | X3HKXW2JW6 | 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.26270#8XZA |
| rigid body dynamics | R81RFP73AM | topic | open | Wikidata Q2037529, nLab rigid body dynamics |
| rigid category | TF5RK02BMV | unknown | open | Wikidata Q7333804, nLab rigid monoidal category |
| rigid cohomology | PE3S7ARPDD | unknown | open | Wikidata Q7333805, nLab rigid cohomology |
| Rigid divisor series | 66BK9G2K44 | statement | record (an 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.28501#BVTD |
| rigid transformation | 940BMP2RNS | unknown | open | Wikidata Q7333813, MathWorld EuclideanMotion |
| Rigidity | 24QK7MZ2TY | statement | record (an 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.06653#PYEN |
| Rigidity | 9VAN3X7K30 | statement | record (an 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.10813#JCP2 |
| Rigidity | F5TPPDVYZ4 | statement | record (an 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#QDR8 |
| Rigidity at the universal endpoint | M2C8RSQ1NG | statement | record (an 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#074G |
| Rigidity for Klartag's log-Lichnerowicz inequality, Courtade-Fathi | 7W5WGD5K05 | statement | record (an 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.22109#STBC |
| Rigidity inside the linear pull-back locus | JP989GKDP8 | statement | record (an 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.26152#WKEY |
| rigidity lemma | Q2DHEC10V3 | statement | record (an 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.09298#WTC7 |
| rigidity lemma, $\PGL_\ell$ form | M8WB2YDAJ0 | statement | record (an 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.09298#H79N |
| Rigidity of a zero feature box | DNXG0MF1Q4 | statement | record (an 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.29147#4H31 |
| Rigidity of Arthur orbits | 9G64X7ZP6B | statement | record (an 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.16931#70IX |
| Rigidity of dense-mixture optimality | BGTRXBBT79 | statement | record (an 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.27200#6OYS |
| Rigidity of GOE eigenvalues | JJB9Y2M0KV | statement | record (an 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.28781#FTTO |
| Rigidity of products of twelve-tile graphs | 4D0G0NKRNW | statement | record (an 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.39824#7CGI |
| rigidity of the 3D marking | HRK1V7JA48 | statement | record (an 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.00916#POWN |
| Rigidity of the canonical residual field | YTSS77FARF | statement | record (an 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.20270#5LIR |
| Rigidity of the free improved Lichnerowicz inequality | XR2NGGJ6DY | statement | record (an 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.22109#253U |
| Rigidity of the radial field | TF9FN4YHZZ | statement | record (an 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.12138#5MN9 |
| Rigidity of the rectangular envelope | FM1QNDEZRH | statement | record (an 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.24541#3ZRJ |
| Rigidity of the slow blow-down equation | 4WH577PTEW | statement | record (an 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.00339#2GQ4 |
| Rigidity of the stiffness comparison | E1F2VCN283 | statement | record (an 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.19837#9FK5 |
| Rigidity on a ball | BR0SPDBNMB | statement | record (an 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.29605#LYXQ |
| Rigidity with fixed singular set | Q34B3XHTA7 | statement | record (an 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.26152#DS8U |
| ring | BDSKGSRZWM | concept | open | lebl_scv index/D/ring |
| ring | G6QH5EW4Z5 | definition | node (a node has the same Wikidata item as the row) | mathlib_overview General algebra > Rings > ring, Mathlib Ring, mathlib_undergrad Ring Theory > Fundamentals > ring, Wikidata Q161172, EoM Ring, LMFDB knowl ring, MathWorld Ring, nLab ring, ProofWiki Definition:Ring_with_Unity, Wikidata Q5051859, nLab Ring |
| ring | X1R74JN8F1 | concept | open | hott_book index/B.1/ring |
| ring | YBQXK1B4EE | concept | open | hott_book index/B.2.1/ring |
| ring direct product | BJAH21NK64 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q3406712, MathWorld RingDirectProduct |
| ring homomorphism | ECKQ9H3QS7 | definition | node (a node has the same name as the row) | mathlib_overview General algebra > Rings > ring morphism, Mathlib RingHom, mathlib_undergrad Ring Theory > Fundamentals > ring morphisms, Wikidata Q1194212, MathWorld RingHomomorphism, ProofWiki Definition:Ring_Homomorphism |
| ring of algebraic integers | C6Q76DJGJS | definition | open | Wikidata Q1358313, MathWorld RingofIntegers, nLab ring of integers, ProofWiki Definition:Ring_of_Integers_of_Number_Field |
| Ring of integers | P52F090QZW | 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.17137#CU0I |
| ring of rational integers | MP52REF3ZP | definition | open | Wikidata Q121358689, ProofWiki Definition:Ring_of_Integers |
| ring of Witt vectors | XWEDNQYQ50 | unknown | open | mathlib_overview General algebra > Number theory > ring of Witt vectors, Mathlib WittVector |
| Ring Sample Complexity | 306WMWV5TW | statement | record (an 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.36421#0T9O |
| ring spectrum | NZEX6MKMMS | unknown | open | Wikidata Q7334821, nLab ring spectrum |
| ring structure $\Z$ | AYD7N3MAYF | unknown | open | mathlib_undergrad Ring Theory > Fundamentals > ring structure $\Z$, Mathlib Int.instCommRing |
| ring theory | G4H0FANEV0 | topic | open | Wikidata Q1208658, MathWorld RingTheory, nLab ring theory, ProofWiki Definition:Ring_Theory |
| ringed space | CAVEFNY76P | definition | open | Wikidata Q168344, EoM Ringed_space, nLab ringed space, ProofWiki Definition:Ringed_Space |
| ringed topos | N57JQHEPF0 | unknown | open | Wikidata Q55631722, nLab ringed topos |
| Ringel–Youngs theorem | KE76DDYBDE | statement | open | mathlib_1000 Q2799491, Wikidata Q2799491, thousand_plus Q2799491, Wikipedia Ringel–Youngs theorem, MathWorld HeawoodConjecture |
| Riordan array (1/(1+2x), x/(1+x)). | EHZNPE53EV | object | open | Wikidata Q100194128, OEIS A103316 |
| Riordan array (1/(1-2x),x(1-x)/(1-2x)). | R4TTAXXYVV | object | open | Wikidata Q100194113, OEIS A106195 |
| Riordan array (1/(1-x), x(1+x+x^2+x^3)/(1-x)). | 5YR0F3ZQDP | object | open | Wikidata Q100194139, OEIS A103141 |
| Riordan array (1/(1-x^2),x(1+x)/(1-x)). | M98ATTE5PQ | object | open | Wikidata Q100194157, OEIS A101603 |
| Riordan number | MCF7Q38J90 | object | open | Wikidata Q131543210, OEIS A005043 |