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 1901–2000 of 4892.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| recurrence relation | TXW8KCFW3T | concept | open | levin_dmoi index/3.1/recurrence-relation |
| Recurrences and Jacobi matrices | DMMMTSXQZP | 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#SF4B |
| Recurrent states of the controllers | GKQ7THM23Z | 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.12434#Y7E3 |
| recursion | CMCBV2EV4S | unknown | open | Wikidata Q264164, EoM Recursion, MathWorld Recursion |
| Recursion formula | E0XS2CR84Z | 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.25703#Q0LP |
| recursion principle | 9PXN5NJ2AE | concept | open | hott_book index/8.1/recursion-principle |
| recursion principle, for $\Sn^1$ | 6JQT5J3GEB | concept | open | hott_book index/5.2/recursion-principle-for-sn-1 |
| recursion principle, for $\Sn^2$ | PQJKC2FZZE | concept | open | hott_book index/5.4/recursion-principle-for-sn-2 |
| recursion principle, for a modality | D8NMRRAKK8 | concept | open | hott_book index/6.7/recursion-principle-for-a-modality |
| recursion principle, for an inductive type | FFJBP1R1H0 | concept | open | hott_book index/8.6/recursion-principle-for-an-inductive-type |
| recursion principle, for cartesian product | 19PAVA6SMF | concept | open | hott_book index/A.5/recursion-principle-for-cartesian-product |
| recursion principle, for Cauchy reals | MQMD6FHWVS | concept | open | hott_book index/B.3.2/recursion-principle-for-cauchy-reals |
| recursion principle, for coproduct | JRT1WDY6WB | concept | open | hott_book index/A.7/recursion-principle-for-coproduct |
| recursion principle, for dependent pair type | WMWYV34PSH | concept | open | hott_book index/A.6/recursion-principle-for-dependent-pair-type |
| recursion principle, for empty type | GHXC55G4WT | concept | open | hott_book index/A.7/recursion-principle-for-empty-type |
| recursion principle, for interval type | 9W1YH88PG0 | concept | open | hott_book index/5.3/recursion-principle-for-interval-type |
| recursion principle, for natural numbers | MTR2ZJ0M8N | concept | open | hott_book index/A.9/recursion-principle-for-natural-numbers |
| recursion principle, for suspension | F21A6C5TJK | concept | open | hott_book index/5.5/recursion-principle-for-suspension |
| recursion principle, for truncation | 9D7P3KM5B0 | concept | open | hott_book index/5.9/recursion-principle-for-truncation |
| recursion principle, for truncation | AMYP7HAWB0 | concept | open | hott_book index/9.7/recursion-principle-for-truncation |
| recursion principle, for truncation | VQBRAEBYBR | concept | open | hott_book index/6.3/recursion-principle-for-truncation |
| recursion principle, for type of booleans | 6PGQAA5K27 | concept | open | hott_book index/A.8/recursion-principle-for-type-of-booleans |
| recursion, structural | YDWCJ0SJZ8 | concept | open | hott_book index/4.1/recursion-structural |
| Recursive Area Formula | H2PWEVD1SD | 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.07671#YI9M |
| Recursive bound for momentum with MSS | 7FWG1PVF8C | 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.07290#4T5H |
| recursive call | Y01W82ZSRA | concept | open | hott_book index/A.9/recursive-call |
| Recursive consistency of maximal decompositions | FKQXZ9QP1M | 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#D7R9 |
| Recursive construction in the $h$-direction | 5SPZM9DA1S | 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.25957#0GCQ |
| Recursive construction in the $r$-direction | 6WSM3ZB14D | 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.25957#VNJQ |
| recursive definition | 2RYDJJRMT9 | concept | open | levin_dmoi index/3.1/recursive-definition |
| recursive definition | WPS7GTY2KP | concept | open | applied_combinatorics index/3.3/recursive-definition |
| Recursive enumerability of GAS | 3687ZNKQ19 | 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.12434#UZZ9 |
| Recursive excess bound | 7M7D4JDTFQ | 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#A4O4 |
| Recursive feasibility | S2S9C5ZT5F | 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 2303.11021#I6OG |
| Recursive ghost extension of the Darboux chain | WZ58F3G9SR | 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.19192#3BMN |
| Recursive identity | DZPWJ9FXBZ | 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.12853#E675 |
| Recursive inversion | DY29PVHW3E | 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.12873#456G |
| Recursive regular multiplexers | R38NR73GV2 | 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.16069#XYUD |
| Recursive restriction models | P45HV582DC | 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.09295#CPGR |
| recursive sequence | KJ5EPQTYFT | unknown | open | Wikidata Q138568746, MathWorld RecursiveSequence |
| recursive set | ZBPYPPA7TR | unknown | open | Wikidata Q877945, MathWorld RecursiveSet, nLab recursive set |
| Recursive strong generation | 87F9NZG4YP | 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.14441#PGEM |
| recursively defined functions | P7AWBNE1HH | concept | open | levin_dmoi index/1.4.1/recursively-defined-functions |
| recursively enumerable set | MB961CQ657 | unknown | open | Wikidata Q676835, MathWorld RecursivelyEnumerableSet |
| red herring principle | BWP5PWRNWM | concept | open | hott_book index/2.6/red-herring-principle |
| RED67DVS0P | RED67DVS0P | 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.27049#M56J |
| RED6WXECJY | RED6WXECJY | 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 2203.00606#2H4W |
| REDAA4S3AV | REDAA4S3AV | statement | open | open_logic content/first-order-logic/axiomatic-deduction/soundness.tex#prop-1 |
| REDFXR01NS | REDFXR01NS | 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.20422#89WZ |
| Redheffer matrix | H5RC3ZHTZT | unknown | open | Wikidata Q3851926, MathWorld RedhefferMatrix |
| redshift | XN91ZRSC7S | unknown | open | Wikidata Q76250, nLab redshift |
| Reduced $2k$-compression surgery | EH7HWJR1EV | 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.09422#SM7T |
| Reduced algebraicity and degree | JCK9EYXH1Q | conjecture | 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.31189#RTV9 |
| Reduced convolution class | BPYVG29CS8 | 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#3BBL |
| Reduced defining equation | CGKG6TP9CD | 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.05652#7EPY |
| Reduced Effort LQR with Initial Condition | PE9G44MRNB | 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.17604#O36J |
| Reduced Einstein equations | CGAWQKD0GB | 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.18219#YHX4 |
| Reduced feedback law polynomial coefficients | XYQ1VCDXZY | 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.15942#OFPW |
| Reduced form | SNPV3V35QN | 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.33027#76F0 |
| Reduced frequency-separation principle | 7BFG40NARB | 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.29565#MIC7 |
| Reduced graph | 5W4X31HYCN | 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.08583#BVB6 |
| reduced homology | TKYJ07ATHH | unknown | open | Wikidata Q7306331, nLab reduced homology |
| Reduced junctions | W65SZBX0YW | 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.17608#HVGM |
| Reduced Khovanov homology | 8NQHDAFNE8 | 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.08583#88IT |
| Reduced normal-face factor under \textup{(G4 | MD0TMJM1EF | 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.27799#WQXC |
| Reduced phase dynamics | 3RVBE7T8MQ | 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.09356#03XZ |
| reduced Planck constant | 7CPJNMZ4CD | definition | open | Wikidata Q2115969, ProofWiki Definition:Reduced_Planck_Constant |
| Reduced potential and gradient map | BCXK96J7EG | 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.10993#9TH8 |
| reduced residue system | AWWMCWBCZE | unknown | node (a node has the same name as the row) | Wikidata Q1246629, MathWorld ReducedResidueSystem |
| reduced ring | N13MPBHP5Z | unknown | open | Wikidata Q6423024, nLab reduced ring |
| reduced row echelon form | PYM94HFVCS | concept | open | austin_ula index/1.2.3/reduced-row-echelon-form |
| reduced row echelon matrix | GQMCP89CKS | concept | open | austin_ula index/1.2.3/reduced-row-echelon-matrix |
| reduced scheme | RTGDNP4GSV | unknown | open | Wikidata Q123508622, EoM Reduced_scheme, nLab reduced scheme |
| Reduced singular value decomposition | ETAMVDJCHA | statement | open | austin_ula src/section7-4.xml#prop-reduced-svd |
| Reduced solve and oracle count | 9N5R6N3NT6 | 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.06557#UNK9 |
| reduced suspension | WEMGWVVF7R | unknown | open | Wikidata Q91791780, nLab reduced suspension |
| Reduced tangloid algebra $\mathcal{T}_n$ | ZJB6FHVH7E | 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.37524#L4QQ |
| Reduced transition | J5GVTNNTVM | 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#PNVN |
| Reduced universe versus original corpus | F1TTTDK98G | 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.19207#2SAU |
| Reduced-iteration errors | W1G3R01CG2 | 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#P1WF |
| Reduced/self-dual bridge | 418KDD3JHJ | 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.31189#UMX6 |
| Reducedness under morphisms in \(\mathbf{UBP}\ | VQ5VVNWF1Q | 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.10930#CVU9 |
| Reducibility of singular fibers | WFXMJFAKCP | 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.16731#SERU |
| Reducible forms | B29SD5AKV0 | 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.33027#O8PK |
| reducible fraction | G84BW7732F | unknown | open | Wikidata Q11922681, MathWorld ReducibleFraction |
| reducible matrix | MY7EZGA74B | unknown | open | Wikidata Q119720261, MathWorld ReducibleMatrix |
| reducible representation | SBXB49QBTW | unknown | open | Wikidata Q111797330, nLab reducible representation |
| reducible set | 97F1Q0N2DJ | unknown | open | Wikidata Q141499243, MathWorld Reducible |
| Reducing to finite concentration | ZTRDGQV676 | 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.08424#T75A |
| reductio ad absurdum | PAHTJEK1BV | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q14402006, MathWorld ReductioadAbsurdum |
| Reduction | 27DXM8EX76 | 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.37479#V3DC |
| reduction | 3ZR12FX83D | 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#V9R3 |
| Reduction | E70NRM9TFS | 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.26114#6GBW |
| reduction | MJX9D5T7SK | topic | open | Wikidata Q7306360 |
| Reduction | Y1D6CWZEPM | 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.21662#G437 |
| Reduction and bounded codegrees | X3KJ2CW2X3 | 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.33327#CZYU |
| Reduction and concentration | H9SE877TCW | 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.17403#3EQU |
| Reduction lemma | 96HH9RFXFH | 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#G0N7 |
| Reduction lemma | DZT43759P1 | 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.22132#ESNZ |
| Reduction lemma | FTR5ZAN7WY | 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.17240#X4VF |