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 1701–1800 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Real arrival time and too-long paths | PMA1E013QT | 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.39269#U3S9 |
| Real boundary asymptotics | AZ3PET5AZ8 | 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.03811#EKOR |
| real closed field | D4TPXZZKYE | statement | open | mathlib_1000 Q2068227, Wikidata Q2068227, thousand_plus Q2068227, Wikipedia Artin–Schreier theorem, nLab real closed field |
| Real comparison from four corners | GN5D077JYF | 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.35325#HGFC |
| real form | YGTRSKBDJR | unknown | open | Wikidata Q7301156, nLab real form |
| Real functions vs.\ germs | B2JHVG79DT | example | open | napkin tex/alg-geom/sheaves.tex#example-6 |
| Real hyperbolic spectral hyperuniformity | M8DFWNAQEH | 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 2503.01567#6PHT |
| real line | KXWNE3H1N0 | unknown | open | Wikidata Q29654355, MathWorld RealLine, Wikidata Q35689 |
| real matrix | R096S05HJ4 | unknown | open | Wikidata Q43144903, MathWorld RealMatrix |
| Real Mellin moments | B533FQ6ZQD | 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.03811#Z5G7 |
| Real modules | ZYABRJVM86 | 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.15869#UEJM |
| Real Nullstellensatz | 7DEYMHM602 | 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.33313#IVQ9 |
| real number | QA2JPE0Q4Q | concept | node (a node has the same Wikidata item as the row) | mathlib_overview General algebra > Numbers > real number, Mathlib Real, mathlib_undergrad Single Variable Real Analysis > Real numbers > definition of $\R$, Wikidata Q12916, EoM Real_number, MathWorld RealNumber, nLab real number, ProofWiki Definition:Real_Number, Wikidata Q2584477 |
| real number, formal definition of | 1KMGRXH7JN | concept | open | applied_combinatorics index/B.17/real-number-formal-definition-of |
| real numbers | PGQ7AW03JN | concept | open | hott_book index/B/real-numbers |
| real numbers, agree | XXWJRY9RRK | concept | open | hott_book index/B.4/real-numbers-agree |
| real numbers, Cauchy | 5TY2RN6NQ7 | concept | open | hott_book index/B.3/real-numbers-cauchy |
| real numbers, Cauchy | C3PFE15Q43 | concept | open | hott_book index/B.4/real-numbers-cauchy |
| real numbers, Dedekind | CPDCG1BG20 | concept | open | hott_book index/B.2/real-numbers-dedekind |
| real numbers, Dedekind | K9HRQSHZQW | concept | open | hott_book index/B.4/real-numbers-dedekind |
| real numbers, Escard\'o--Simpson | 7TF109DQW6 | concept | open | hott_book index/B.6/real-numbers-escard-o-simpson |
| real part | 7H3EJB8NR7 | definition | open | Wikidata Q1156910, MathWorld RealPart, nLab real part, ProofWiki Definition:Complex_Number/Real_Part |
| real polynomial | 4HM1ZY4XZW | unknown | open | Wikidata Q120493775, MathWorld RealPolynomial |
| real projective line | NZS7WXRZGN | unknown | open | Wikidata Q23937546, EoM Projective_straight_line |
| real projective plane | F7PM6WCW7G | unknown | open | Wikidata Q633815, MathWorld RealProjectivePlane |
| real projective space | CEMZ7W15G0 | definition | open | Wikidata Q2597317, MathWorld RealProjectiveSpace, nLab real projective space, ProofWiki Definition:Projective_Space/Real_Projective_Space |
| real root | PTZRKG46V6 | unknown | open | Wikidata Q141332768, MathWorld RealRoot |
| real sign function | MACGEY4P0D | unknown | open | Wikidata Q105356166, MathWorld Sign, nLab sign function, Wikidata Q1193832 |
| real structure | M51N352HT6 | unknown | open | Wikidata Q7301171, nLab real structure |
| Real trees and translation lengths | C27AZRNYSV | 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.17116#9OY6 |
| real vector bundle | 4FZ0ZEG2S7 | unknown | open | Wikidata Q78351921, MathWorld RealVectorBundle, nLab real vector bundle |
| real vector space | QM8816Q525 | unknown | open | Wikidata Q46996054, MathWorld RealVectorSpace, nLab real vector space |
| real-analytic hypersurface | 4Z6XBKBGMR | concept | open | lebl_scv index/3.1/real-analytic-hypersurface |
| real-analyticity Away from the Measurement Sites | CWC7VQXE4E | 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.12239#P2MT |
| Real-axis transversality | GQMJV6XV98 | 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#HLN3 |
| Real-axis variational identity | KZCKN6AKFS | 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.15180#RH93 |
| Real-global pre-Bott class | 364FZF8DN7 | 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.21675#QLC7 |
| Real-multiplication normalization | K0XDTP03D9 | 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.11652#ROZ7 |
| Real-order phase count | N7FKB0YB7H | 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.19461#Y7T3 |
| Real-root gate | 3TN1G0TDKA | 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.11793#V3WZ |
| Real-rootedness at $q=1$ | CCZSCJ5AF8 | 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#JL37 |
| Real-torus package | 9RC0AZFEAB | 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.27774#QWZV |
| real-valued function | VD12BK933M | unknown | open | Wikidata Q5189500, MathWorld RealFunction |
| Realised inversion error | H9P5Z3MGQR | 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#3JCH |
| Reality and positivity of the weights $d_1$ and $d_2$ | V8T047PCRK | 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.03728#YC4T |
| Reality dichotomy | CQ3SZ5JMBZ | 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#SAN2 |
| realizability | XRZPPG5DZ5 | unknown | open | Wikidata Q3454417, nLab realizability |
| Realizability criterion, Bonahon--Otal , Lecuire | 45AMZ089P6 | 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.29450#EGTE |
| Realizability of the gluing model | 1HE24FE6JH | 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#VEYB |
| Realizability of the PER model | NZYPWBJQTE | 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#ARFP |
| Realizable laminations | 1A7NXGNAM8 | 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.29450#KFOK |
| Realization | 5RK7MT1DKQ | 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 2509.05577#B9GZ |
| Realization | DDD0YG1KSA | 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#X3K0 |
| Realization | KAQMGB6W7A | 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#DD37 |
| realization | R4HQM87ERK | 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.32733#2QLH |
| Realization and canonical disjunctive normal form | BE7QRXCDY7 | 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.17677#IM1H |
| Realization and uniqueness; *{Theorems A, E | B2P1E1TAW5 | 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 2411.17227#HXB3 |
| Realization in every negative component | 4R84GMMR1M | 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.20649#4FU3 |
| Realization of adjacent cuts | VHMJ8QJT95 | 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.03763#H3PG |
| Realization of angular profiles | 49GK8DV0SM | 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.37704#47VD |
| Realization of permitted directing means | 1TQ5N9VQ9W | 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#T5HE |
| Realization of small imbalance directions | 3HRMSVKRB1 | 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#DTTX |
| Realization of the homogeneous primary quotient | EMYA9N41C1 | 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.20649#KHQ1 |
| Realization on and above the diagonal | WEXZYW3KP0 | 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.00115#6LPT |
| Realization probability in terms of $\lambda$ | C7Y05VAFT7 | 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#CS7Q |
| Realization using three vertices | RGKRG00A93 | 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.31768#61M2 |
| Realizing the maximizing checkpoint set | E0ZGWK0FT5 | 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.26873#4DG4 |
| reals | Y1AZ3ABTZG | concept | open | levin_dmoi index/1.3.1/reals |
| rearrangement of a series | BF6RE3R74R | concept | open | lebl_ra index/10.6.3/rearrangement-of-a-series |
| Reassignment Operator | XZJZ7RPPC1 | 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.31363#2IS1 |
| REB4A8D0SY | REB4A8D0SY | 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 math/0406514#U6IC |
| REBAHKAAWM | REBAHKAAWM | 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 1002.0879#XYJ6 |
| REBNXEWQMM | REBNXEWQMM | 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.25539#FVTK |
| REBTRXKFAS | REBTRXKFAS | statement | open | lebl_scv scv.tex#prop-13 |
| REC0YAEE7A | REC0YAEE7A | 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 2603.26376#LVU8 |
| REC81D0KMP | REC81D0KMP | 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.09900#54TB |
| REC86JREF6 | REC86JREF6 | 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.20758#QK5Q |
| Recalibrated transfer | AKHHF9RTHG | 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.07721#ZYT6 |
| Recamán's sequence | XXYVTBGP5F | object | open | Wikidata Q16522517, OEIS A005132 |
| RECDBPCB29 | RECDBPCB29 | 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.29574#DPHZ |
| RECDZATBYP | RECDZATBYP | 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.32233#J7SZ |
| Receiver-Class Compression Certificate | 7HKQ0CP422 | 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.03769#SHOX |
| Receiver-Compatible Sufficient Compression | PCESCDMD1N | 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.03769#MQZJ |
| Recentring | Z38189NYK4 | 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.25301#7YC9 |
| reciprocal | 63C0DAMSYP | concept | open | applied_combinatorics index/B.16/reciprocal |
| Reciprocal $p$-subslope | 2DEHVK8H5D | 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.21775#Q17Z |
| Reciprocal critical sums | YAFWBVP5HS | 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#XQTV |
| Reciprocal determinant identity | XJ6JBKZKHQ | 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.25925#IFVE |
| Reciprocal difference | 6RRXA30HDC | concept | open | Wikidata Q7302462, MathWorld ReciprocalDifference |
| reciprocal Fibonacci constant | TKVYFCAV42 | object | open | Wikidata Q3772671, MathWorld ReciprocalFibonacciConstant, OEIS A079586, OEIS A079587 |
| Reciprocal fractional parts | SQD7VHQVRJ | 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.30207#BB1E |
| Reciprocal locking for distinct planar oscillators | KXNZDC5Y9J | 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.15686#RY3T |
| reciprocal polynomial | CBT2PMWH6F | unknown | open | Wikidata Q1422356, MathWorld ReciprocalPolynomial |
| Reciprocal radii and geometric references | DEG1Z10Q9D | 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#BOX6 |
| Reciprocal subslopes of maxima and minima | FWFZQPRRNG | 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.21775#9WBF |
| Reciprocal-logarithmic integral | J21KRTE7R5 | 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 2501.09848#ISZ7 |
| Reciprocal/harmonic-mean aggregation under positive Clayton | S9WMWKGJ88 | 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.29658#DIFU |
| Reciprocal/harmonic-mean common-factor phase diagram | 3T9BV2JHHH | 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.29658#5QXX |
| Reciprocals and composition | APMBACC5XA | 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.06544#OVYZ |
| Reciprocity | MAZH8YZ94Z | 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.02352#LEXN |