| Riemann problem | AVBQA3VF7S | problem | open | Wikipedia List of things named after Bernhard Riemann#9MSL |
| 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 Roch theorem for curves | QFECGMQXT4 | statement | open | Wikipedia Hirzebruch–Riemann–Roch theorem#KP01 |
| Riemann Roch theorem for surfaces | PKY9NCNCGB | statement | open | Wikipedia Hirzebruch–Riemann–Roch theorem#9179 |
| 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 series theorem | 3EGE7PFZFY | statement | open | Wikipedia List of things named after Bernhard Riemann#5LHC, Wikipedia List of permutation topics#2MPY |
| Riemann series theorem | 8WBZV5HWQN | statement | open | Wikipedia List of theorems#6UV2 |
| Riemann singularity theorem | 7YM08YSJB2 | definition | open | Wikipedia List of theorems#Q7JP |
| Riemann singularity theorem | SB7WZ58Y22 | definition | open | Wikipedia List of things named after Bernhard Riemann#NK5Z |
| Riemann solver | E8ZYPF475A | definition | open | Wikipedia List of things named after Bernhard Riemann#VBAL |
| Riemann solver | Z64CYHRCD2 | definition | open | Wikipedia Riemann solver, Wikidata Q6153788 |
| Riemann sphere | 8CVA0P167Q | definition | open | Wikipedia List of things named after Bernhard Riemann#9RPW, Wikipedia List of complex analysis topics#HPDP |
| Riemann sphere | N5CPEK3S76 | definition | node (a node has the same name as the row) | Wikidata Q825857, MathWorld RiemannSphere, nLab Riemann sphere, Wikipedia Riemann sphere |
| Riemann sum | NHNG675VXP | definition | open | Wikipedia List of things named after Bernhard Riemann#19AN, Wikipedia List of integration and measure theory topics#SQOS |
| Riemann sum | WRE2H0TF6Y | concept | node (a node has the same name as the row) | Wikidata Q1156903, MathWorld RiemannSum, Wikipedia Riemann sum |
| 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 summability | PDMTNHT5VP | unknown | open | Wikipedia Divergent series#GLB3 |
| 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, Wikipedia Riemann surface |
| Riemann surface | SFC77Y71DA | definition | open | Wikipedia List of things named after Bernhard Riemann#O1P9, Wikipedia List of complex analysis topics#J034, Wikipedia List of differential geometry topics#PPOG, Wikipedia List of algebraic geometry topics#C8P8, Wikipedia List of curves topics#5B7S |
| Riemann surface | XAQRGVAGKD | definition | open | napkin tex/riemann-surface/complex-structure.tex#definition-1 |
| Riemann tensor (general relativity) | 32BZ3BX772 | definition | open | Wikipedia List of things named after Bernhard Riemann#J2KY |
| Riemann theta function | EET3FNZD0Z | definition | open | Wikipedia List of things named after Bernhard Riemann#E7G3 |
| Riemann theta function | T5BGT6MTMS | concept | open | Wikidata Q120377815, EoM Riemann_theta-function, MathWorld RiemannThetaFunction |
| Riemann theta function | TDA1YDR0DM | unknown | open | Wikipedia Theta function#AD72 |
| Riemann von Mangoldt explicit formula | E4K32952V6 | unknown | open | Wikidata Q135471579, MathWorld ExplicitFormula |
| Riemann Xi function | 7DCWSJ60D6 | definition | open | Wikipedia List of things named after Bernhard Riemann#IVJX |
| Riemann Xi function | RXVF0PSJR0 | definition | open | Wikidata Q2152235, MathWorld Xi-Function, Wikipedia Riemann xi function |
| Riemann zeta function | 3YWHK4XSP6 | definition | open | Wikipedia List of sums of reciprocals#KL64 |
| Riemann zeta function | 9XJ0QCA40S | definition | open | Wikipedia List of mathematical series#MGX2 |
| Riemann zeta function | BNZES6DKKV | concept | open | Wikidata Q187235, EoM Zeta-function#Riemann.27s_zeta-function, Mathlib riemannZeta, MathWorld RiemannZetaFunction, ProofWiki Definition:Riemann_Zeta_Function, Wikipedia Riemann zeta function |
| Riemann zeta function | H34JQGTJ0T | definition | open | Wikipedia List of unsolved problems in mathematics#L0FO |
| Riemann zeta function | HKRBTMCH9A | definition | open | Wikipedia Lists of integrals#1UB6 |
| Riemann zeta function | M37G8NSK43 | definition | open | Wikipedia List of things named after Bernhard Riemann#8L88, Wikipedia List of complex analysis topics#UUKJ, Wikipedia List of number theory topics#2LTP |
| Riemann zeta function | VTWY4EF5GY | definition | open | Wikipedia List of zeta functions#LIH2 |
| Riemann–Hurwitz formula | 4ZF7KT1YR2 | unknown | open | Wikipedia List of algebraic geometry topics#57EJ |
| Riemann–Roch theorem | AENY3CV2VK | unknown | open | Wikipedia List of algebraic geometry topics#BB5K |
| Riemann's differential equation | AB5F7ZWXG4 | definition | open | Wikidata Q974071, EoM Papperitz_equation, MathWorld RiemannP-DifferentialEquation, Wikipedia Riemann's differential equation |
| Riemann's differential equation | Q3MRMY7963 | definition | open | Wikipedia List of things named after Bernhard Riemann#64BE |
| Riemann's existence theorem | 9JA8DVPRJ1 | statement | open | Wikipedia List of things named after Bernhard Riemann#5IJP |
| Riemann's existence theorem | 9P8JQZDJD2 | statement | open | Wikipedia Algebraic geometry and analytic geometry#F3OY |
| Riemann's existence theorem | QBJPHHNK7B | statement | open | Wikipedia List of theorems#7W7H |
| Riemann's explicit formula | AY7QVAPHEE | definition | open | Wikipedia List of things named after Bernhard Riemann#CAGT |
| Riemann's explicit formula | NX5JTR2MV0 | statement | open | Wikipedia Explicit formulae for L-functions#LGDG |
| Riemann's formula | AHT5YK5WYE | statement | open | Wikipedia Skewes's number#EB25 |
| Riemann's integral formula | ET8TM0YVF1 | statement | open | Wikipedia Riemann–Siegel formula#BFBJ |
| Riemann's minimal surface | J9Y3EPNAEF | definition | open | Wikipedia Riemann's minimal surface, Wikidata Q5985592 |
| Riemann's minimal surface | P2851W5753 | definition | open | Wikipedia List of things named after Bernhard Riemann#4Z7W, Wikipedia List of mathematical shapes#NB3N, Wikipedia List of surfaces#U711 |
| Riemann's theorem | ZNWB3Y27JM | statement | open | Wikipedia Removable singularity#VMIR |
| Riemann's theorem on removable singularities | 67YK0FKHWX | definition | open | Wikipedia List of things named after Bernhard Riemann#1RBW |
| Riemann's theorem on removable singularities | T0QM7A8GFJ | definition | open | Wikipedia List of theorems#H3QE |
| 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--Liouville integral | GXXBXDZS1T | 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.20599#5LSY |
| 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-Hurwitz formula | ZYWGS7GGSW | statement | open | Wikipedia Geometric function theory#01IE |
| 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-Lebovitz formulation | YFZQYGE2VW | unknown | open | Wikipedia List of things named after Bernhard Riemann#NH3H |
| 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 |
| Riemann-Roch theorem for surfaces | PF9BPP16PF | statement | open | Wikipedia Algebraic surface#O3G3 |
| Riemannian bundle metric | R3FH7FWGHM | definition | open | Wikipedia List of things named after Bernhard Riemann#S6RQ |
| Riemannian circle | H905QMCZR4 | definition | open | Wikipedia List of things named after Bernhard Riemann#SLYF |
| Riemannian cobordism | JH8937AFJW | unknown | open | Wikipedia List of things named after Bernhard Riemann#5WRG |
| Riemannian compactness theorem | 80PEC60TW4 | statement | open | Wikipedia Gromov's compactness theorem (geometry)#H44X |
| Riemannian connection | 9DF8MCJZPN | definition | open | Wikipedia List of things named after Bernhard Riemann#I8PG |
| Riemannian connection | HP27GNERZK | unknown | open | Wikipedia Metric connection#H0DQ |
| Riemannian connection on a surface | CCTDY4SZEB | definition | open | Wikipedia List of things named after Bernhard Riemann#QFFS |
| Riemannian connection on a surface | EV611BAY4N | definition | open | Wikipedia Riemannian connection on a surface, Wikidata Q7333122 |
| Riemannian cubic | 2Y9M9J301C | unknown | open | Wikipedia List of things named after Bernhard Riemann#GV0I |
| Riemannian cubic polynomials | 7ZDFR92CGZ | unknown | open | Wikipedia List of things named after Bernhard Riemann#YO5J |
| 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 foliation | NGSB8139G6 | unknown | open | Wikipedia List of things named after Bernhard Riemann#D3FO |
| 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), Wikipedia Riemannian geometry |
| Riemannian geometry | AH3BE3728B | definition | open | Wikipedia Glossary of areas of mathematics#8D13 |
| Riemannian geometry | Z2NANMXA14 | topic | open | Wikipedia List of things named after Bernhard Riemann#DFAV |
| 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 |
| Riemannian graph | 3VYM1PMX2C | unknown | open | Wikipedia List of things named after Bernhard Riemann#8Z9O |
| Riemannian group | JD7B3P4KSB | unknown | open | Wikipedia List of things named after Bernhard Riemann#2ZXB |
| 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 holonomy | 4BD5D633CD | definition | open | Wikipedia List of things named after Bernhard Riemann#W56X |
| 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, Wikipedia 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 manifold | E40PS1D5KG | definition | open | Wikipedia List of differential geometry topics#WRFM, Wikipedia List of manifolds#R2N3 |
| Riemannian manifold | Q50JP0665H | definition | open | Wikipedia List of things named after Bernhard Riemann#WPK1 |