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 3701–3800 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Robert Ghrist | WNVBJ5JBJH | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2157267, nLab Robert Ghrist |
| Robert Goldblatt | H1X5BVAR6K | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7344830, nLab Robert Goldblatt, ProofWiki Mathematician:Robert_Ian_Goldblatt |
| Robert Graham Leigh | Q9R3Q0C5K1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7346836, nLab Robert Leigh |
| Robert Griess | HMK9BKJ08V | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2157373, nLab Robert Griess |
| Robert Langlands | 4RRPWVAHD6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q711278, nLab Robert Langlands |
| Robert M. Wald | EMEN9VXC0B | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q933683, nLab Robert Wald |
| Robert MacPherson | 2AFJYC6W0H | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q931297, nLab Robert MacPherson |
| Robert Marshak | WBG833QQE8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q181687, nLab Robert Eugene Marshak |
| Robert Mills | HSB7SZ20SY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q547394, nLab Robert Mills |
| Robert of Chester | W9HD7NJ66M | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q715419, ProofWiki Mathematician:Robert_of_Chester |
| Robert Penner | TXKGQQG4SS | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q87167335, nLab Robert Penner |
| Robert Rosebrugh | C4GP5R3Q70 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q95321162, nLab Robert Rosebrugh |
| Robert Schrader | 5SBA7AE77M | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1432895, nLab Robert Schrader |
| Robert Seiringer | 8RZJYHSHYR | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q88155, nLab Robert Seiringer |
| Robert Sorgenfrey | AW5ME10EXC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q383976, ProofWiki Mathematician:Robert_Henry_Sorgenfrey |
| Robert Spekkens | CG7B0R33D4 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102434111, nLab Robert Spekkens |
| Robert Wolak | 9Q3DPAB7CR | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q48847117, nLab Robert Wolak |
| Roberto Longo | MZYFCM3W0Y | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q74576041, nLab Roberto Longo |
| Roberto Peccei | 2WD713P1N1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2159576, nLab Roberto Peccei |
| Robertson graph | 56QAHY0H21 | unknown | open | Wikidata Q3115531, House of Graphs 1288, MathWorld RobertsonGraph |
| Robertson--Schr\"odinger uncertainty relation | WGAF5KC0C7 | 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.01855#DIFT |
| Robertson–Seymour theorem | XW2V9SCZDE | statement | open | mathlib_1000 Q3527155, Wikidata Q3527155, thousand_plus Q3527155, Wikipedia Robertson–Seymour theorem, MathWorld Robertson-SeymourTheorem |
| Robertson–Wegner graph | JFZEC8R6PV | unknown | open | Wikidata Q3115528, House of Graphs 1290, MathWorld Robertson-WegnerGraph |
| Robin boundary condition | EEPN1PZ8JG | concept | open | Wikidata Q748993, MathWorld RobinBoundaryConditions |
| Robin Cockett | ZMKR8YTN6A | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q93944803, nLab Robin Cockett |
| Robin Feynman parametrix | M0SDW0DET1 | 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.24465#8SHG |
| Robin Fourier decomposition | A9R3S1DCBZ | 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.14323#FM11 |
| Robin Hartshorne | JMRRQFR8WE | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1356332, nLab Robin Hartshorne |
| Robin Milner | 3EXVM7K1B8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q92643, nLab Robin Milner |
| Robin scalar boundary estimate | B25ET5WQSK | 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.14323#JQT7 |
| Robin-preserving arithmetic families | YJG30A3PMY | 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.33794#T653 |
| Robinson arithmetic | XHQAEVMQWB | unknown | open | Wikidata Q928884, nLab Robinson arithmetic |
| Robinson projection | CYED3M2AXY | unknown | open | Wikidata Q963903, MathWorld RobinsonProjection |
| Robinson's joint consistency theorem | EMZH9V3FX3 | statement | open | mathlib_1000 Q7352955, Wikidata Q7352955, thousand_plus Q7352955, Wikipedia Robinson's joint consistency theorem |
| Robinson's Joint Consistency Theorem | ZEB4KAM6B3 | statement | open | open_logic content/proof-theory/cut-elimination/interpolation.tex#thm-1 |
| Robinson, Proposition 7.1 | 4V2K0V7RBF | 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 2510.05499#PE68 |
| Robinson–Schensted correspondence | 6AZN06030D | unknown | open | Wikidata Q2997917, EoM Robinson-Schensted_correspondence, MathWorld SchenstedCorrespondence |
| Robion Kirby | WTV7CHBSYT | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1385486, nLab Robion Kirby |
| robotics | EX4KS9AQAH | unknown | open | Wikidata Q170978, EoM Robotics,_mathematical_problems_in |
| Robust ``Energy-Independent" Tomography via Iterative Unsqueezing | Y9SM2873DW | 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.06810#GIDU |
| Robust affinity test | RNVJNK92GY | 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.21363#XC2A |
| Robust Bogolyubov-Ruzsa lemma | RF1BE814VJ | 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.33733#I5D9 |
| Robust chain | GB6VA7DMDA | 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#JTU1 |
| Robust closure-rank certification | 16P4GKGWJH | 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.13951#7BHI |
| Robust Counterpart | 3CNX4EHMW0 | 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 2311.04609#ABMZ |
| Robust derivative recovery from even CAR curves | Y4J4EHETP6 | 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.00448#LTR3 |
| Robust Estimation with Noisy Line Data | 1YRWFZQMR2 | 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.24314#8CTV |
| Robust Feasible Solution | JT3BJ9PWMG | 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 2311.04609#OK8P |
| Robust frequency estimation | PRT6NXEPH3 | 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.27181#CMFN |
| Robust Heterodyne Tomography | 4QK0X9W00X | 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.06810#24IU |
| Robust implies relative | TJQXG585JD | 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.40252#1F3W |
| Robust Optimal Solution | VGHV3AMB6B | 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 2311.04609#EOQ3 |
| Robust orbit-gap obstruction | NX44RT5GQR | 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.14081#QUME |
| Robust pass@$1$ lower bound | 28EZD69TWM | 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.33291#DKJI |
| Robust pass@$k$ lower bound | G0T0KD3MD2 | 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.33291#GIGR |
| Robust pass@$k$ upper bound | R50B7JFVWD | 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.33291#QVI0 |
| Robust quadratic form | PNZZC3ABZ7 | 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.39449#JY0E |
| Robust reachability | Y2M93SYZFP | 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.12713#FUC0 |
| Robust records under finite second moments | 9EW17AC6P3 | 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.15202#CZ18 |
| Robust sample complexity | 1MVV9J5KXW | 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.33291#ISQX |
| Robust small-set coboundary expansion at an arbitrary level | 6YT5BEBZ8K | 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.00525#G5G3 |
| robust statistics | B6XR09SY79 | unknown | open | Wikidata Q1665389, MathWorld RobustEstimation |
| Robust transversality | JYXPTVE1Z0 | 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.12480#8ERI |
| Robust Value | 1S6ENQ345N | 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 2311.04609#19D9 |
| Robustly Learning Gaussians | HCF7KEFY3N | 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.06810#L3QW |
| Robustness | GQPG4BVCA1 | 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 2506.08233#74C8 |
| Robustness of the frozen Calder\'on preconditioner | P2517SGVPP | 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.30559#SKR3 |
| Robustness to inexact history and master updates | VMDQ9J0DHG | 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.20187#VJIW |
| Robustness under arbitrary dense puncturing | 285XWM9R4E | 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.15815#9TPC |
| Robustness with respect to the Lam\'e ratio | N29367RBTT | 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.38871#SFVL |
| Rockafellar | ZQVTDXRGE5 | 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.20542#VU1J |
| Rockafellar--Uryasev | 6F3C2NM718 | 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.15974#G8DB |
| rocket science | P0088SH4C3 | definition | open | Wikidata Q1446961, ProofWiki Definition:Rocket_Science |
| Rocq prover | J2DYX5TP4E | unknown | open | Wikidata Q1131652, nLab Rocq |
| Rod Crewther | QFC8W4YNCV | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7356160, nLab Rodney Crewther |
| Rodion Kuzmin | V4M9Z0CJK3 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q959719, ProofWiki Mathematician:Rodion_Osievich_Kuzmin |
| Rodrigues formula for the Jacobi mixed form | TZ306JAC5Y | 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.26110#CR5F |
| Rodrigues formula for the Laguerre I mixed form | S5BAM620CX | 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.26110#HOKN |
| Rodrigues' rotation formula | 1RPV5F8GBF | unknown | open | Wikidata Q1473494, MathWorld RodriguesRotationFormula |
| ROF estimates | BNRYBMNEH0 | 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.15511#8WNL |
| Roger Godement | T00AKT19GM | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q930720, nLab Roger Godement |
| Roger Penrose | VJMXECEBPN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q193803, nLab Roger Penrose |
| Rogers--Karasev contraction | HA4E48956A | 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.27798#LGQ8 |
| Rogers–Ramanujan identities | P59VTB7VJK | statement | open | Wikidata Q7359380, MathWorld Rogers-RamanujanIdentities |
| Rogozin | Y65F3QYEQD | 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.38220#TS0M |
| Rojas--Le\'on product rule, specialized form | BTBXTWP50T | 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.04099#PG6J |
| Rojas-Le\'on | WD65B9Q0FX | 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.03081#D2O1 |
| Rokhlin's theorem | 66QJNSEF0Y | statement | open | mathlib_1000 Q7359997, Wikidata Q7359997, thousand_plus Q7359997, Wikipedia Rokhlin's theorem |
| Roland Omnès | 2C6GQT84GP | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1252465, nLab Roland Omnès |
| Roland Schwänzl | HRZ77Q3W3J | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2163035, nLab Roland Schwänzl |
| Rolle | NHEPWCCRE1 | statement | open | lebl_ra ch-der.tex#thm:rolle |
| Rolle's theorem | AMA0MAPV5Z | concept | open | lebl_ra index/3.2.2/rolle-s-theorem |
| Rolle's theorem | MQ6Q0R31SB | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q193286, Mathlib exists_deriv_eq_zero, Wikidata Q193286, mathlib_overview Analysis > Differentiability > Rolle's theorem, mathlib_undergrad Single Variable Real Analysis > Differentiability > Rolle's theorem, thousand_plus Q193286, Wikipedia Rolle's theorem, EoM Rolle_theorem, MathWorld RollesTheorem, ProofWiki Rolle's_Theorem |
| Rolling-horizon tilt | BMW1G6PT8Y | 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.27765#GU3Q |
| Roman Bezrukavnikov | GTH5YZMN03 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q7361591, nLab Roman Bezrukavnikov |
| Roman Jackiw | F3RSBV0NFH | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2164635, nLab Roman Jackiw |
| Roman numerals | WR8BJ3Z4G8 | definition | open | Wikidata Q38918, MathWorld RomanNumerals, ProofWiki Definition:Roman_Numerals |
| Roman Orus | 7ERXZVMD9M | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q57420520, nLab Roman Orus |
| Roman surface | PQNTFCRFK6 | unknown | open | Wikidata Q697161, MathWorld RomanSurface |
| Romania | 2RKS7RYYY6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q218, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Romania |