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 501–600 of 897.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Oracle validity | 5JKKZ8517A | 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.30877#G2O7 |
| Oracles for the Gaussian optimization problem | GFPSY2STW5 | 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#KQC4 |
| orbifold | DX4EHW17VM | unknown | open | Wikidata Q40460, MathWorld Orbifold, nLab orbifold |
| orbifold notation | CRTKD6GZQS | concept | open | Wikidata Q12797591, MathWorld OrbifoldNotation |
| Orbison illusion | 59KTG2PN4Z | unknown | open | Wikidata Q2661088, MathWorld OrbisonsIllusion |
| orbit | 506RKDEJTV | unknown | open | mathlib_undergrad Group Theory > Basic definitions > orbit, Mathlib MulAction.orbit |
| orbit | Y2XYKTHKJC | definition | open | Wikidata Q4130, ProofWiki Definition:Orbit_(Physics) |
| Orbit ambiguity in BB$(6,3)$ | A7CCGHETZT | 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.39121#GAR1 |
| Orbit and Stabilizer | 3ZZC7EEAEJ | 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.36421#0Q49 |
| Orbit basis | BXMD3Y2V3E | 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.10745#76CX |
| orbit coordinates | VGKSE9K7CE | 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.26286#PZQW |
| Orbit data of the square-subgroup affine group | WAJKPVEQRS | 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.15340#P9LZ |
| Orbit fusion under a normal subgroup | Y4JH2YPZC3 | 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.15340#7ZZ5 |
| orbit method | Z8GS84TTRB | topic | open | Wikidata Q7100049, EoM Orbit_method, nLab orbit method |
| Orbit obstruction | XJXYXWAJ8D | 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.14859#OML5 |
| orbit of a group action | C8DZQWESH4 | unknown | open | Wikidata Q17859776, MathWorld GroupOrbit, nLab orbit |
| Orbit of a point | T8T5RWZQSK | 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.07064#NCKD |
| Orbit small-ball | PMMHGMWCSR | 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 2610.00295#ZU6A |
| Orbit stratification | B60TEM35N4 | 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.24807#FQG4 |
| Orbit theorem (Nagano–Sussmann) | W1JNX122PX | statement | open | mathlib_1000 Q7100033A, Wikidata Q7100033, mathlib_1000 Q7100033B, thousand_plus Q7100033A, thousand_plus Q7100033B |
| Orbit transform: explicit form | E6GYC2X6Y7 | 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.00295#Y2A1 |
| Orbit triple system | S0P9257J46 | 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.15340#L3VC |
| Orbit-basis inner product | D0V70QCGPW | 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.10745#Y9ZA |
| Orbit-basis inner product for DOS | HSSMCHH7SQ | 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.10745#J94I |
| Orbit-closure normal form | 17Y7JM42BT | 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.00099#PXTB |
| Orbit-coordinate fixed spaces | 1XVEPTYAFG | 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#JQIY |
| Orbit-stabilizer theorem | 4G6NM4K3Q1 | statement | open | napkin tex/H113/action.tex#theorem-1 |
| Orbital graph criteria | EWBQAYK24R | 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.15340#V404 |
| orbital mechanics | NWY5PVNYPS | topic | open | Wikidata Q842433 |
| Orbits on triples from the two-point stabilizer | B330HE1E1Y | 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.15340#UTH3 |
| Orbitwise characterization | EVETRXB138 | 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 2510.05499#579E |
| Orbitwise parameterization of a complete layer | X7KRXC9G3G | 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.25987#AARE |
| orbit–stabilizer theorem | TXN5PTV5C3 | statement | open | Wikidata Q800350, ProofWiki Orbit-Stabilizer_Theorem |
| Orchard-planting problem | TJKRDSKN7X | problem | open | Wikidata Q7100169, MathWorld Orchard-PlantingProblem |
| order | 3YTPMH3ZBW | unknown | open | mathlib_undergrad Single Variable Real Analysis > Real numbers > order, Mathlib Real.linearOrder |
| order | K17F1MARXY | definition | node (a node has the same Wikidata item as the row) | Wikidata Q589491, MathWorld GroupOrder, nLab order of a group, ProofWiki Definition:Order_of_Group_Element |
| order | KBZ6EM1G9N | unknown | open | mathlib_undergrad Numerical Analysis > Ordinary differential equations > order |
| Order and additivity on a fixed partition | 5TNA5JWK5N | 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.08821#RNC9 |
| order and index | 1QQA4JB5YW | 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.05914#SCMQ |
| Order at the Nishimori temperature | GDMNB70MVC | 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#N5YV |
| Order Axioms | H5M9MC2WM8 | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#axiom:order axioms |
| Order certificate | PAD5B20RR9 | 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#7SXZ |
| order complexes as CL-complexes | QKB0K2M69Y | 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.15099#QTBC |
| Order decomposition | 3PCV7Q317Q | 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.13063#G9OZ |
| order dimension | ZKSW5QZJ53 | unknown | open | Wikidata Q7100431, MathWorld PosetDimension |
| Order Dropping Map | P4MEK9XGA9 | 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 1711.00219#W4RT |
| Order mass | Q17W16W0PR | 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.13063#EH7S |
| Order of $2$ modulo prime squares | RCS7CPXSDD | 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.07214#EGGT |
| Order of a meromorphic function | V6C64RCVBW | definition | open | napkin tex/riemann-surface/riemann-roch.tex#definition-1 |
| order of a pole | 5WJXX2MEQN | concept | open | lebl_scv index/B/order-of-a-pole |
| Order of a polynomial | XK5Z7VZF74 | unknown | open | Wikidata Q21072054, MathWorld PolynomialOrder |
| order of a zero | T4K2Z9AKEK | concept | open | lebl_scv index/B/order-of-a-zero |
| order of an element | 2WR87G5VKX | unknown | node (a node has the same name as the row) | mathlib_undergrad Group Theory > Basic definitions > order of an element, Mathlib orderOf |
| order of an entire function | 87HCJ2JHW4 | definition | open | Wikidata Q126425069, MathWorld FunctionOrder, ProofWiki Definition:Order_of_Entire_Function |
| order of magnitude | KGXD26PT9Y | concept | open | Wikidata Q518730, MathWorld OrderofMagnitude |
| order of operations | GPQVT60YKZ | unknown | open | Wikidata Q845118, MathWorld Precedence |
| order one is not order two | 32H7NED83D | 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.20775#1WKM |
| Order parameters of near-optimal states | CHVGH08QNV | 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.06490#F36C |
| order statistic | HGJT429W6A | unknown | open | Wikidata Q1767128, MathWorld OrderStatistic |
| Order statistics | AJ0S255N2N | 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 1007.0842#D3GT |
| order theory | 2RYCKSF2PE | topic | open | Wikidata Q24175351, nLab order theory, ProofWiki Definition:Order_Theory |
| order topology | A15N1RAGAT | unknown | open | mathlib_overview Topology > Topological algebra > order topology, Mathlib OrderTopology |
| order topology | RXXDEPQ9C8 | unknown | open | Wikidata Q1321469, MathWorld OrderTopology, nLab order topology |
| order two is not the projective rank | B2MV96GMME | 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.20775#L5WL |
| order type | 32KTXH8EM4 | unknown | open | Wikidata Q620006, MathWorld OrderType |
| order, linear | MXKNTZ12CE | concept | open | applied_combinatorics index/6.1/order-linear |
| order, linear | P9VPV8777V | concept | open | hott_book index/B.2.1/order-linear |
| order, non-strict | 71BQP4NV9V | concept | open | hott_book index/B.6/order-non-strict |
| order, non-strict | S7BRVR7V3T | concept | open | hott_book index/B.3.3/order-non-strict |
| order, non-strict | W0H8G6RDNC | concept | open | hott_book index/C.2/order-non-strict |
| order, partial | M07VTRM583 | concept | open | applied_combinatorics index/6.1/order-partial |
| order, partial | WQKQB6ZJBF | concept | open | applied_combinatorics index/B.10/order-partial |
| order, strict | 2RBMYWXHKE | concept | open | hott_book index/B.6/order-strict |
| order, strict | 34EMW5FT80 | concept | open | hott_book index/B.3.3/order-strict |
| order, strict | SDAEJ7SC1H | concept | open | hott_book index/B.2.1/order-strict |
| order, total | 92BFDN50VQ | concept | open | applied_combinatorics index/B.10/order-total |
| order, total | H2Z42GGEZP | concept | open | applied_combinatorics index/6.1/order-total |
| order, total, on natural numbers | V3BSE41GH2 | concept | open | applied_combinatorics index/B.11/order-total-on-natural-numbers |
| order, weakly linear | TCGVXC7SWW | concept | open | hott_book index/B.2.1/order-weakly-linear |
| Order-4 pentagonal tiling | XFTJEN4BBN | unknown | open | Wikidata Q7100400, MathWorld HyperbolicTiling |
| Order-mass identity | NT7T6HEFQW | 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.13063#R8DS |
| order-preserving gluing datum | P0P10TCHZ3 | 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.32733#HQWS |
| Order-six periodicity and the geometry of $\M$ | PHN3H41Q5A | 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.29839#U4JU |
| order-zero graph | YNHNEWC09M | definition | open | Wikidata Q15838314, MathWorld NullGraph, nLab empty graph, ProofWiki Definition:Null_Graph |
| Order-Zero Values and Lipschitz Bound | YRSMGD88T9 | 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#EOUC |
| Ordered accumulator | BDR6B8SH7P | 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.02407#6KOR |
| Ordered and cutoff-monotone levels | 5MW2H6EMXK | 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.08821#MPTG |
| ordered Bell number | GG4J5EMN9D | object | open | Wikidata Q7100706, OEIS A000670 |
| Ordered Cartan-parameter check | CEGE6DYD40 | 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.04189#NMFU |
| ordered field | 5057WK1S9C | concept | open | hott_book index/B/ordered-field |
| ordered field | CECZAHYJ63 | concept | open | hott_book index/B.3.4/ordered-field |
| ordered field | MGE1BW2M8G | unknown | node (a node has the same name as the row) | Wikidata Q909412, nLab ordered field |
| ordered field, admissible | 8S2HXRT53F | concept | open | hott_book index/B.4/ordered-field-admissible |
| ordered field, archimedean | H39K14WE5Y | concept | open | hott_book index/B.6/ordered-field-archimedean |
| ordered field, archimedean | J6EZGQ0AC0 | concept | open | hott_book index/B.2.1/ordered-field-archimedean |
| ordered field, archimedean | YR43R33MVV | concept | open | hott_book index/B.3.3/ordered-field-archimedean |
| ordered geometry | 22DQ634FD9 | unknown | open | Wikidata Q7100712, MathWorld OrderedGeometry |
| Ordered Grassmann expansion | TMBHK677BR | 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.06739#WP6H |
| ordered group | NCAF2NZ731 | definition | open | Wikidata Q2715875, EoM Ordered_group, EoM Partially_ordered_group, nLab ordered group, ProofWiki Definition:Ordered_Group |
| Ordered lattice matching | T3SBAXB201 | 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.28503#LOCZ |