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 1301–1400 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Rate Transfer Theorem | ACCT4YGVDJ | 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.18739#IIW0 |
| Rate two | V9XPPTJ4V8 | 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.37368#VQ35 |
| Rate under SGC | 12ZCVAAVE5 | 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#RJ8H |
| Rate vanishes as $\varepsilon\to 0$ | JRBW2AM7WT | 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.05712#1OO1 |
| Rate with additional monitors | R0CN9VKX73 | 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#K97H |
| Rate-preserving iteration exponent | YZHK9T4TSD | 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.28611#MHQE |
| Rate-preserving UBU exponent | CRVDBATAEH | 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.28611#CKZ8 |
| Rates | R49VER01BK | 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.09912#XHCQ |
| Rates of convergence | TZYJJR4TV7 | 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.14616#WBN8 |
| Rates under $\Hyp$ | TA0BCZKPSF | 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#LMM6 |
| RATFATN9C7 | RATFATN9C7 | 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.14450#NXF1 |
| ratio | BBXSKZJACY | unknown | open | Wikidata Q3481047, MathWorld Ratio, nLab ratio |
| Ratio and root tests for power series | K4PSEYDZ9A | statement | open | lebl_diffyqs ch-power-ser.tex#theorem-2 |
| ratio distribution | 5ADF72EGAK | unknown | open | Wikidata Q7295737, MathWorld RatioDistribution |
| Ratio limits | WW4WXY2224 | 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.19930#ANVB |
| ratio test | 3K9HKFT33G | concept | node (a node has the same Wikidata item as the row) | Wikidata Q165638, MathWorld RatioTest, ProofWiki Ratio_Test |
| Ratio test | EHZ152T7VM | statement | open | lebl_ra ch-seq-ser.tex#prop-16 |
| Ratio Test | PAHEB3K04G | 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 1704.08191#F18Y |
| ratio test for sequences | 87XMGWRWEM | concept | open | lebl_ra index/10.2.4/ratio-test-for-sequences |
| Ratio test for sequences | PP47HE0QKZ | statement | open | lebl_ra ch-seq-ser.tex#seq:ratiotest |
| ratio test for series | SXX0P5RZBX | concept | open | lebl_diffyqs index/9.1.2/ratio-test-for-series |
| ratio test for series | VCTCR3CZZJ | concept | open | lebl_ra index/10.5.6/ratio-test-for-series |
| Rational algebraic integers are rational integers | FJHTPQ0MYY | statement | open | napkin tex/alg-NT/numfield.tex#proposition-1 |
| rational conformal field theory | WDDNK5MAYF | unknown | open | Wikidata Q7295756, nLab rational 2d conformal field theory |
| Rational cosines | MB4CPDRS92 | 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.10017#LIKM |
| Rational critical-face series | NWNHM0MTEN | 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.22082#UQ14 |
| Rational ellipticity | GKXVVXVFGV | 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.14065#JDIC |
| rational fraction fields with one indeterminate over a field | CNVK3NT5P7 | unknown | open | mathlib_undergrad Ring Theory > Field Theory > rational fraction fields with one indeterminate over a field, Mathlib RatFunc |
| rational function | 8XWVYBF4JG | unknown | node (a node has the same name as the row) | Wikidata Q41237, MathWorld RationalFunction, nLab rational function |
| rational functions | 511HX9G92G | unknown | open | mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > rational functions, Mathlib RatFunc.eval |
| rational mapping | J41R836WF4 | topic | open | Wikidata Q987226 |
| Rational moment minorant | NXMH6SPQDV | 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.14069#1R9Y |
| rational number | F50QDNYS9F | definition | node (a node has the same Wikidata item as the row) | Wikidata Q1244890, EoM Rational_number, MathWorld RationalNumber, ProofWiki Definition:Rational_Number |
| rational number | SADKM305CD | unknown | open | mathlib_overview General algebra > Numbers > rational number, Mathlib Rat |
| rational numbers | Q27NKGQQJA | concept | open | applied_combinatorics index/B.16/rational-numbers |
| rational numbers, as Cauchy real numbers | B1WR4SFGXE | concept | open | hott_book index/B.3.1/rational-numbers-as-cauchy-real-numbers |
| rational numbers, dyadic | 7H91QTJP0A | concept | open | hott_book index/B.1/rational-numbers-dyadic |
| rational point | NRCZX81QDG | unknown | open | Wikidata Q3393476, MathWorld RationalPoint, nLab rational point |
| rational points of twisted $\Z/p^2$-curves | 4TY0GNY7H4 | 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#W5ZP |
| rational polynomial | MCYH01ZJSR | unknown | open | Wikidata Q141150061, MathWorld RationalPolynomial |
| Rational polynomiality | Z79MBX88J4 | 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.18618#LH84 |
| Rational residue identity | 6N6J8VG548 | 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.30301#71T8 |
| rational root theorem | B7FTCFYY25 | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q180345, Mathlib num_dvd_of_is_root, Mathlib den_dvd_of_is_root, Wikidata Q180345, mathlib_1000 Q180345X, Mathlib isInteger_of_is_root_of_monic, thousand_plus Q180345, Wikipedia Rational root theorem, thousand_plus Q180345X, Wikipedia Integral root theorem, MathWorld RationalZeroTheorem |
| Rational roots at strength six | MJV92N7JJ7 | 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#NDUE |
| rational surface | FJJ5DVNZJ2 | statement | open | mathlib_1000 Q208756, Wikidata Q208756, thousand_plus Q208756, Wikipedia Castelnuovo theorem, EoM Rational_surface |
| rational thermodynamics | HK3ABNGVAZ | unknown | open | Wikidata Q55631208, nLab rational thermodynamics |
| Rational theta descent | VW0647QEKM | 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.03520#Q0VJ |
| Rational transform of foliations | E6XBVKXQ3P | 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 2103.12669#K2D6 |
| Rational translates of an ordinary flag neighborhood | Y3P7Z2DR3K | 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.33808#FI43 |
| rational variety | WY4NBS08R4 | unknown | open | Wikidata Q3554829, EoM Rational_variety, nLab rational variety |
| rational weights | SGRZ9STE3S | 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.10408#UCYZ |
| Rational-circle data | CJQAYSHMM7 | 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.26576#EHZE |
| rational-parameter theorem | VS0F2GGA5R | 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.26996#LPPP |
| Rationality is the exact obstruction | W0FYM0JVSF | 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.36827#OGJ4 |
| Rationality of the Rogers sum | 6W29G76HJ1 | 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.18512#SUYU |
| Rationality theorem | C09AKW7HFC | statement | open | mathlib_1000 Q1139524, Wikidata Q1139524, thousand_plus Q1139524, Wikipedia Rationality theorem |
| Rationalizing the denominator | S1YYPPAT3T | example | open | napkin tex/alg-NT/norm-trace.tex#example-6 |
| rationals | 5XQT7S99QZ | concept | open | levin_dmoi index/1.3.1/rationals |
| Ratios of consecutive gaps | 7MGG3930WZ | 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.06944#MKV0 |
| RATMTCQXRY | RATMTCQXRY | 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.08638#BAVO |
| Ratner's theorems | JYJWN0W848 | statement | open | mathlib_1000 Q7295875, Wikidata Q7295875, thousand_plus Q7295875, Wikipedia Ratner's theorems |
| RATZMED1JT | RATZMED1JT | 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.16180#3G4G |
| Rauch comparison theorem | BAKTME7DHA | statement | open | mathlib_1000 Q7296106, Wikidata Q7296106, thousand_plus Q7296106, Wikipedia Rauch comparison theorem |
| RAVDAJGY2R | RAVDAJGY2R | 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.19715#R26W |
| raven paradox | HK9HV6VX4E | unknown | open | Wikidata Q919255, MathWorld HempelsParadox |
| RAVGRDBMDW | RAVGRDBMDW | 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.07963#8QWD |
| Ravi Vakil | MT9V8XC4DD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2133711, nLab Ravi Vakil |
| RAVRR0ZNDQ | RAVRR0ZNDQ | 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.39790#NUFL |
| RAVW3BHNSP | RAVW3BHNSP | 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.14838#8A0F |
| Raw coupled-bank regularity interface | 4VDJEHQGZ6 | 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.39408#ZZ0K |
| Raw differentiated mixed identity | G9MYG11BSD | 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.25762#96V4 |
| Raw Expressions | SRXRP13EMQ | 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.21131#YKPA |
| Raw localized flux bound | WEKE6JCYEM | 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#YJOI |
| Raw sampled cuts can stall SDDP | 2NZ1JDSA5E | 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.12713#6KBV |
| RAWN1ZA2SD | RAWN1ZA2SD | exercise | open | open_logic content/first-order-logic/completeness/compactness-direct.tex#prob-3 |
| RAX1Y2WH5P | RAX1Y2WH5P | 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.27730#LZ7Q |
| RAX7PAHNDT | RAX7PAHNDT | 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.18101#8LPA |
| RAXENS5VCV | RAXENS5VCV | exercise | open | lebl_ra ch-real-nums.tex#exercise:sqrt2QorR |
| RAXK4K0BVT | RAXK4K0BVT | statement | open | hott_book setmath.tex#lem:pb_of_coeq_is_coeq |
| RAXRWXMH7M | RAXRWXMH7M | 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.15744#E8E7 |
| ray | NAN13JKT6T | unknown | open | Wikidata Q1147832, MathWorld Ray |
| Ray class coordinates | V20J0717AH | 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.15262#RCNN |
| Ray Exit Distance | GZENHHBDPB | 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.33946#D4R9 |
| Ray transform | 7Z1JM1YVPG | 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.15262#3DMT |
| Ray Vanstone | RPXR390EED | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q15434544, nLab Ray Vanstone |
| Ray-removal lemma | KK78QX7VFX | 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.35683#YDTT |
| RAY20RY2M6 | RAY20RY2M6 | 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.20922#E0IA |
| RAY8RTW967 | RAY8RTW967 | 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.29898#F5Q3 |
| Raychaudhuri-induced spatial non-collapse | EGMHR5MAQ2 | 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.07879#6KDB |
| RAYJC2QVEP | RAYJC2QVEP | 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.16475#T8V3 |
| Rayleigh distribution | H9BAQ3JCSY | unknown | open | Wikidata Q637150, MathWorld RayleighDistribution |
| Raymond Frank Vozzo | WSG56NM2RB | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102353436, nLab Raymond Vozzo |
| Raymond head-pair candidate | 74W6C0ZKVE | 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.37164#N4WI |
| Raymond Smullyan | 32GV0ZQYHD | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q441178, ProofWiki Mathematician:Raymond_Merrill_Smullyan |
| Raymond Stora | XCE41JZWM1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q201229, nLab Raymond Stora |
| RAYSDWNEMQ | RAYSDWNEMQ | 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.39204#VHSI |
| RAYTPE0HSF | RAYTPE0HSF | 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.18777#D76Z |
| RAYX6E0V5C | RAYX6E0V5C | 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.18620#6PF5 |
| RAYZHGK2YG | RAYZHGK2YG | statement | open | open_logic content/set-theory/spine/rank.tex#ranksexist |
| RAZ1VJZCQ2 | RAZ1VJZCQ2 | 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.18016#WSZJ |