| Real closed field | CG9647ED32 | topic | open | Wikipedia List of abstract algebra topics#N1Y3 |
| real closed field | D4TPXZZKYE | statement | open | mathlib_1000 Q2068227, Wikidata Q2068227, thousand_plus Q2068227, Wikipedia Artin–Schreier theorem, nLab real closed field, Wikipedia Real closed field |
| Real closed field | JNTXTYD53W | definition | open | Wikipedia Glossary of field theory#DF55 |
| Real closed ring | A2ZXT7FQRC | definition | open | Wikipedia Real closed ring, Wikidata Q7301124 |
| 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 computation | 9JWXDJZZC4 | definition | open | Wikipedia Real computation, Wikidata Q7301125 |
| Real computation | F2WKNMBWSG | definition | open | Wikipedia List of computability and complexity topics#95KE |
| Real coordinate space | 33EWS73Z3T | definition | open | Wikipedia List of multivariable calculus topics#5MBU |
| Real coordinate space | 85J5Y5NZGM | definition | open | Wikipedia Real coordinate space, Wikidata Q15629907 |
| Real degree of fermentation | 54F9JYYWYJ | unknown | open | Wikipedia Gravity (alcoholic beverage)#EBHB |
| Real element | C3CWBVKB38 | definition | open | Wikipedia Real element, Wikidata Q25105219 |
| real element | S7RAS1XNXC | definition | deferred (the item has its own article, page 50475634) | Wikipedia Glossary of group theory#OHK6 |
| Real estate economics | X2YP0Z8HRZ | unknown | open | Wikipedia List of common misconceptions about science, technology, and mathematics#S7TT |
| real form | YGTRSKBDJR | definition | open | Wikidata Q7301156, nLab real form, Wikipedia Real form (Lie theory) |
| Real form (Lie theory) | FBVTAJTARG | definition | open | Wikipedia List of Lie groups topics#GF6P |
| Real function | 9JF4K41GJR | definition | open | Wikipedia List of types of functions#D7K9 |
| 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 hyperelliptic curve | JDPAZ3CECQ | definition | open | Wikipedia Real hyperelliptic curve, Wikidata Q7301158 |
| Real K-theory | SE1GEY9CYR | definition | open | Wikipedia Glossary of areas of mathematics#PF8T |
| Real line | HVETD4EY5A | definition | open | Wikipedia List of manifolds#Z8WO |
| Real line | JWT6YWADPX | definition | open | Wikipedia List of real analysis topics#DVHT |
| real line | KXWNE3H1N0 | definition | open | Wikidata Q29654355, MathWorld RealLine, Wikidata Q35689, Wikipedia Number line |
| 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 multivariable function | VXRBJSVDN3 | definition | open | Wikipedia List of real analysis topics#RV0E |
| 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 | 74ZDZPDBVH | definition | open | Wikipedia List of Banach spaces#IPH2 |
| Real number | A8TZDG94M7 | definition | open | Wikipedia List of types of numbers#CPO2 |
| Real number | CHDSYS0Z55 | definition | open | Wikipedia List of Laplace transforms#TQ40 |
| real number | QA2JPE0Q4Q | definition | 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, Wikipedia Real number, Wikipedia Construction of the real numbers |
| Real number | WBSD82PSNS | definition | open | Wikipedia List of group theory topics#LXP7 |
| real number, formal definition of | 1KMGRXH7JN | concept | open | applied_combinatorics index/B.17/real-number-formal-definition-of |
| Real numbers | CQ9KR0X4S9 | definition | open | Wikipedia Glossary of field theory#WZ07 |
| Real numbers | PFMMY8HZD6 | definition | open | Wikipedia Glossary of game theory#QA0F |
| real numbers | PGQ7AW03JN | concept | open | hott_book index/B/real-numbers |
| real numbers | TY9J7NV8RP | definition | open | Wikipedia List of mathematical abbreviations#CYSW |
| 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 part | J732M9HY6D | definition | open | Wikipedia List of mathematical abbreviations#MF7F |
| Real plane curve | 4BKW7T7WWZ | definition | open | Wikipedia Real plane curve, Wikidata Q7301164 |
| Real point | ZASMB495W6 | definition | open | Wikipedia Real point, Wikidata Q25098606 |
| Real polar | P83CNTN033 | unknown | open | Wikipedia Polar set#TXVN |
| real polynomial | 4HM1ZY4XZW | unknown | open | Wikidata Q120493775, MathWorld RealPolynomial |
| Real projective line | 9BCDY312FW | definition | open | Wikipedia List of topologies#VN7M |
| Real projective line | ETVXM07YJW | definition | open | Wikipedia List of manifolds#EHIR |
| real projective line | NZS7WXRZGN | definition | open | Wikidata Q23937546, EoM Projective_straight_line, Wikipedia Real projective line |
| Real projective plane | 1Y694XX019 | definition | open | Wikipedia List of manifolds#95KF |
| Real projective plane | 41G5DNZWG6 | definition | open | Wikipedia List of mathematical shapes#7PEE, Wikipedia List of algebraic geometry topics#983F, Wikipedia List of surfaces#62YW |
| real projective plane | F7PM6WCW7G | definition | open | Wikidata Q633815, MathWorld RealProjectivePlane, Wikipedia Real projective plane |
| Real projective space | 1SNQK7B8JJ | definition | open | Wikipedia List of algebraic geometry topics#72CU |
| real projective space | CEMZ7W15G0 | definition | open | Wikidata Q2597317, MathWorld RealProjectiveSpace, nLab real projective space, ProofWiki Definition:Projective_Space/Real_Projective_Space, Wikipedia Real projective space |
| Real projective space | FB9XZPVRZ5 | definition | open | Wikipedia List of manifolds#MO1W |
| Real radical | AK243TRSH4 | definition | open | Wikipedia Real radical, Wikidata Q97359989 |
| Real rank | HVQXP0YPFR | definition | open | Wikipedia Real rank (C*-algebras), Wikidata Q25351845 |
| Real reductive group | SR3AY1MM34 | unknown | open | Wikipedia Reductive group#R9MG |
| Real representation | FMAJZ8WG0R | definition | open | Wikipedia Real representation, Wikidata Q7301169 |
| Real representation | W0BC6F8X1V | definition | open | Wikipedia List of representation theory topics#P9OS |
| real root | PTZRKG46V6 | unknown | open | Wikidata Q141332768, MathWorld RealRoot |
| Real root isolation methods derived from Vincent's theorem | ZS8SSGM2VT | statement | open | Wikipedia Vincent's theorem#YQ6V |
| real sign function | MACGEY4P0D | definition | open | Wikidata Q105356166, MathWorld Sign, nLab sign function, Wikidata Q1193832, Wikipedia Sign (mathematics) |
| Real simple Lie algebra | W4X4VB9Z81 | unknown | open | Wikipedia Simple Lie algebra#M8KL |
| real structure | M51N352HT6 | definition | open | Wikidata Q7301171, nLab real structure, Wikipedia Real structure |
| Real subspace | CM7HHPQ144 | unknown | open | Wikipedia Real structure#2XIA |
| Real symmetric matrix | M5220VB54E | unknown | open | Wikipedia Symmetric matrix#YMFI |
| Real tree | 4KJX19PM4F | definition | open | Wikipedia Real tree, Wikidata Q2859794 |
| Real tree | EZB6WZY662 | definition | open | Wikipedia List of general topology topics#1KIO |
| 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 variable | ZG5P7W3MWM | definition | open | Wikipedia Glossary of Principia Mathematica#4GDQ |
| 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 World Crypto | 2C1Q9V6DDQ | unknown | open | Wikipedia International Association for Cryptologic Research#OD4K |
| 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-root isolation | 84694A24GW | definition | open | Wikipedia Real-root isolation, Wikidata Q60790239 |
| 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-time computer graphics | GKH0PH76GP | unknown | open | Wikipedia List of computer graphics and descriptive geometry topics#RHDK |
| Real-time Delphi | D1FB92KVTH | definition | open | Wikipedia Real-time Delphi, Wikidata Q7300775 |
| 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 | definition | open | Wikidata Q5189500, MathWorld RealFunction, Wikipedia Real-valued function |
| Real-world mathematical problems | P65KGWPR0E | unknown | open | Wikipedia Mathematical problem#KXCL |
| Realcompact space | F8BZXPZ077 | definition | open | Wikipedia Realcompact space, Wikidata Q7301190 |
| 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 | definition | open | Wikidata Q3454417, nLab realizability, Wikipedia 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 |