Inventory: O
The rows of the inventory whose names start with O. 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 101–200 of 897.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Odd-degree MRS functions | TWT2B79RKA | 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.17006#5ND8 |
| Odd-extension lifting | YC3PVH1ERJ | 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.37093#KBHG |
| Odd-kernel tail identity | XP17KZPQ5J | 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#K50S |
| odd-order theorem | HB5VJ38DEC | concept | open | hott_book index/u1.u5/odd-order-theorem |
| Odd-orthogonal hard-edge tail | BYPSK6B23V | 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.27962#G7HS |
| Odd-Polygon Bound | T1SABFJGGJ | 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.24878#8NLF |
| Odd-prime coefficient table | 4Q6DCB7ZMF | 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.10583#8SM1 |
| Odd-prime critical-coordinate transport | FYT24ACFKD | 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.10583#RPHK |
| Odd-prime finite phase cancellation | SNZF91KH7H | 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.10583#VHT2 |
| Odd-to-even Gamma moment bound | 4K1BKH6C7T | 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.18277#QZ8J |
| Odd-value remainder integral | 8RJ9H43Q8P | 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.19175#TVTD |
| Odd-width exact formulas | D0W68V2PVB | 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.05442#G389 |
| Odden | 82QCKM7KGP | 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.20131#4GJL |
| Oddness and sign change | FMDSC03WRG | 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.34918#RNZT |
| ODE | 8VG7XGJN32 | concept | open | lebl_diffyqs index/6.9/ode |
| ODE | DP0WYXK7EG | concept | open | lebl_diffyqs index/6.8.2/ode |
| ODE Blowup Lemma | S19BNQZ9Z6 | 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.38118#7I32 |
| odious number | C8Q16S6EDQ | unknown | open | Wikidata Q25303606, MathWorld OdiousNumber, OEIS A000069 |
| Odlyzko 1988 | 87QRNAAPZ4 | 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.11047#VB9H |
| Oenopides | B11Z4ZY36N | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q282830, ProofWiki Mathematician:Oenopides_of_Chios |
| oersted | H4RABE2YQ9 | definition | open | Wikidata Q844976, ProofWiki Definition:Oersted |
| Oesterl\'e 1984 | S9E9VXV1KC | 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.27751#AFNC |
| of the form | RWH1AHMAGP | concept | open | Wikidata Q7078836, MathWorld OftheForm |
| Ofer Gabber | NTEFK4HP44 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1747123, nLab Ofer Gabber |
| Off-nominal FRS approximation | ARKAQ386W2 | problem | 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.10220#0OCA |
| Offset Cohen projection and degrees | 3KFDDWC9E9 | 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.32078#7CH0 |
| Ogievetsky--Shlosman conjecture | VQZB17JCVQ | 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.13972#SMIE |
| OGM at \(y_N\); Conjecture 4 | K60GM4W2NG | 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.35762#YUYC |
| ohm | 595Q57WEBY | definition | open | Wikidata Q47083, ProofWiki Definition:Ohm_(Unit) |
| Oikhberg, Hilbert space version | T0M34VM3YK | 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.26515#URZN |
| Oka's lemma | P2EM0MSQ6Q | concept | open | lebl_scv index/2.6/oka-s-lemma |
| Oka's lemma\index{Oka's lemma} | MPNSY32BM5 | exercise | open | lebl_scv scv.tex#exercise-141 |
| Old and new representations of the polyconvex envelope | RRG73KQ5SF | 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 2606.21391#AIPZ |
| Old examples of automorphism groups | H3JEFS56C8 | example | open | napkin tex/alg-NT/galois.tex#example-5 |
| Old-coordinate incidences in the principal part | ZX2T0ZE1FC | 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.25101#H44O |
| Oleg V Zaboronski | WAZPQ0MF4S | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q79796639, nLab Oleg Zaboronsky |
| Oliver Lorscheid | S6HWPE4ZCE | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102338869, nLab Oliver Lorscheid |
| Olivier Verdier | G5YCJQTWTF | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q87394918, nLab Olivier Verdier |
| Ollivier-Ricci curvature | XG5ZRQFEKH | 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.10559#JLTA |
| oloid | BCY36YMNKF | unknown | open | Wikidata Q1751494, MathWorld Oloid |
| Omar Khayyám | GXP58G7WKZ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q35900, ProofWiki Mathematician:Omar_Khayyam |
| omega constant | BGT91H1HZQ | object | open | Wikidata Q2291098, MathWorld OmegaConstant, OEIS A030178 |
| omega-limit sets | MR6D6RD2Y9 | unknown | open | mathlib_overview Dynamics > General theory > omega-limit sets, Mathlib omegaLimit |
| Omidali and Rahmati | GR144TD120 | 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.02495#DDSW |
| On $\gcd(|C|, \dim V) = 1$ | KKFHWF52G2 | statement | open | napkin tex/rep-theory/applications.tex#lem:burnside_ant_lemma |
| On Numbers and Games | C6ETD4YHBA | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q3352152, ProofWiki Book:John_H._Conway/On_Numbers_And_Games |
| On quaternions and octonions | KQDK1CCDMS | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q97008688, ProofWiki Book:John_H._Conway/On_Quaternions_And_Octonions |
| On Spirals | 3KZAV7EBV2 | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q3024233, ProofWiki Book:Archimedes/On_Spirals |
| On the Sizes and Distances | 8R47C5G1BM | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q7091541, ProofWiki Book:Aristarchus_of_Samos/On_the_Sizes_and_Distances_of_the_Sun_and_Moon |
| On the Space-Theory of Matter | NSAH0J8ZCY | unknown | open | Wikidata Q19087159, nLab On the Space-Theory of Matter |
| One accelerated phase | F5H9Z0ANAN | 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.32558#EENK |
| One block step | XNJ0GGB4BA | 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#22R7 |
| One bounded target | MT6FDMFW8A | 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.09640#QAA3 |
| One branching step as a controlled unitary | 5HZPR2DT9Q | 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.37375#B5RS |
| One calibrated law with an energy-dependent entropy deficit | DBZ7STJGZM | 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#897H |
| One clock, not two | 200WD7K7FK | 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.27908#YPU2 |
| One colouring pass | KJBRB85EQM | 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.28160#3KH5 |
| One common period for the next layer | 8T8N78KMNN | 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.06925#BBVU |
| One conditional \evar | KPTFQ6FK4H | 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.27766#BWML |
| One contraction retaining large corank | S9PT4GZTYF | 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#YUKU |
| One critical direction | MSPMBBD95F | 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#IIHB |
| One crossing at a local minimum | 553W7NCG3Y | 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#9RVZ |
| One degree below the particle number | XF6853041F | 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.04305#GXEX |
| One diagonal primary series suffices | W17CQRENS1 | 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.10821#77ZM |
| One dimension | GVD37H6SNR | 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 2203.01511#TS49 |
| One dip per line | CBJEXZGHHV | 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#9XP4 |
| one edge of a triangle: regular cells, non-embedded source maps | Z9M69B0BSE | 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.32733#23FZ |
| One event covers every longer window and every local input | TCCYB0JG5M | 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.16351#H8E0 |
| One exponent suffices | Q3K9ZB8Z6S | 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#STY6 |
| One factor | 4Q79XWFJZ4 | 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.06028#F88O |
| One Gaussian event for every unitarily invariant norm | 141PMRDMDS | 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#OG4H |
| One Gaussian event for every unitarily invariant norm | AGXJFWRQP0 | 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#7WR2 |
| One graph with both rate and reliability | ASZ06SEHVB | 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.24568#R9ZO |
| One input does not suffice | ABJ65GT39J | 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.08764#5XP1 |
| One instance for span queries | AE3PG9VQSQ | 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.38375#U6BN |
| One integer, successive primes | 441GXA6K3R | 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.13365#VB98 |
| One layer with random coefficients | CD0YRED8W3 | 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.34831#6D9T |
| One measure for all filters | 5792KJDA1W | 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#65S8 |
| One Moser step | 2K8EDS4RWZ | 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.00339#9LKD |
| One nearly uniform sample from the initial shell | Q8BDQCAFPV | 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.37482#E084 |
| One nondegenerate reference coupling suffices | YCZVG11477 | 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#VC0O |
| One or two basic defects | 74BDSSRBY6 | 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.02216#122T |
| One pendant leaf | MH5N4Y25FT | 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.02276#J6ZF |
| One percent property | K3MZ9BYP3R | 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.18106#NVKY |
| One pooled gradient | RTVR85HXBV | 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#D37A |
| One prescribed-mean law for every Schatten norm | 5ZWKWKQ7CH | 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#ONZB |
| One principal class joined to old sets | FFE73D7YR0 | 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.25101#GBBL |
| One rank release for all monotone tasks | WBR2GE56XF | 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#OHL6 |
| One reflection period | XXCPXV7Y6C | 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.18698#FTCO |
| One sampling law for all integrands | TCPXTJVCSR | 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#LZ06 |
| One sided nearly incompressible fields $\bb$ and $\rho$-weak solutions | 8A2HR45GSF | 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.17129#K3TS |
| One sparse Lax operator for the cyclic Toda family | ZGB7BVMMH3 | 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.26066#WF8I |
| One stage | PCQSFD1A32 | 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#HFJQ |
| One stage of the construction | 573TVM3Y2W | 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.18709#YYY2 |
| One step | 7D00Q9EJD5 | 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.35418#JTB7 |
| One subgradient representation for arbitrary references | DAWHWFYXEM | 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#S5KI |
| One switch | 5QRPX9EWZX | 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#P30H |
| One symmetric or skew-symmetric factor | K0Z4VGHZQY | 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.08980#3TJ7 |
| One target with a bounded moment | MASNTTHENT | 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.09640#HGBF |
| One unrestricted stage per coordinate | 2WWF66YMQ6 | 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.25101#RC4M |