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 701–800 of 897.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| orthocenter | 5F4PSBSS2V | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q10621500, MathWorld Orthocenter |
| orthocentric system | 8DMVWEVYD9 | unknown | open | Wikidata Q897296, MathWorld OrthocentricSystem |
| Orthocentroidal circle | 4K8C8ZZYD3 | concept | open | Wikidata Q21500695, MathWorld OrthocentroidalCircle |
| Orthocomplements and orthogonal sums | 2X35AEX1FR | 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.11002#7W27 |
| orthodiagonal quadrilateral | R22WTAY180 | unknown | open | Wikidata Q3531598, MathWorld OrthodiagonalQuadrangle |
| orthogonal | TRKAKDDXR6 | concept | open | austin_ula index/6.1.2/orthogonal |
| orthogonal basis | K1PABJPD2V | unknown | open | Wikidata Q3306808, MathWorld OrthogonalBasis, nLab orthogonal basis |
| orthogonal blocks | KP7V6NPX39 | 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#GQD1 |
| orthogonal complement | G20Z36F7VP | unknown | node (a node has the same name as the row) | mathlib_overview Analysis > Hilbert spaces > orthogonal complement, Mathlib Submodule.orthogonal, mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > orthogonal complement |
| orthogonal complement | WKJGAZNE75 | concept | open | austin_ula index/6.2.2/orthogonal-complement |
| orthogonal coordinate system | AKAKQB4N5H | unknown | open | Wikidata Q2588831, EoM Orthogonal_system, MathWorld OrthogonalCoordinateSystem |
| Orthogonal decomposition | 79H1T411ED | 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.01731#Z1PL |
| orthogonal diagonalization | 6Z8P1AEV8W | concept | open | austin_ula index/7.1.2/orthogonal-diagonalization |
| orthogonal elements | CGQAR537T7 | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > orthogonal elements, Mathlib LinearMap.BilinForm.iIsOrtho |
| orthogonal factorization system | 8484441PS1 | concept | open | hott_book index/6.6/orthogonal-factorization-system |
| orthogonal factorization system | 939XS65QQK | concept | open | hott_book index/C.1.2/orthogonal-factorization-system |
| orthogonal factorization system | CNNCWD022G | concept | open | hott_book index/6.7/orthogonal-factorization-system |
| orthogonal factorization system | WEN5N6ZH40 | concept | open | hott_book index/6/orthogonal-factorization-system |
| orthogonal functions | 9PN9RSF5ZR | unknown | open | Wikidata Q2637908, MathWorld OrthogonalFunctions |
| orthogonal group | K5SCJBHTYB | definition | node (a node has the same Wikidata item as the row) | Wikidata Q1783179, EoM Orthogonal_group, MathWorld OrthogonalGroup, nLab orthogonal group, ProofWiki Definition:Orthogonal_Group |
| orthogonal group | TENEDFPFPJ | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > orthogonal group, Mathlib Matrix.orthogonalGroup, mathlib_undergrad Group Theory > Classical automorphism groups > orthogonal group |
| Orthogonal inherited--emergent decomposition | BV99G77M50 | 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.14310#VKOX |
| Orthogonal invariance principle | 68N2DWNCFM | 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.21461#4S5O |
| orthogonal Lie algebra | JKP3Q5CQT0 | unknown | open | Wikidata Q52088805, nLab orthogonal Lie algebra |
| Orthogonal Masas | VKTH6SVV97 | 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.38206#WMOH |
| orthogonal matrix | 8KHAEVF7HH | unknown | node (a node has the same name as the row) | Wikidata Q333871, EoM Orthogonal_matrix, MathWorld OrthogonalMatrix |
| orthogonal matrix | YP3FPHCMEJ | concept | open | austin_ula index/6.3.3/orthogonal-matrix |
| Orthogonal neighboring branches | G2SAE2P9M3 | 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#XJWW |
| orthogonal polynomials | X99Z6CWRSF | unknown | open | Wikidata Q619458, MathWorld OrthogonalPolynomials |
| orthogonal projection | 9612HPM9EX | unknown | open | Wikidata Q980329, MathWorld OrthogonalProjection, MathWorld VectorSpaceProjection |
| orthogonal projection | BRM23F9V4X | concept | open | austin_ula index/6.3.3/orthogonal-projection |
| orthogonal projection | S405C2KB96 | unknown | open | mathlib_overview Analysis > Hilbert spaces > orthogonal projection, Mathlib Submodule.orthogonalProjectionOnto, mathlib_undergrad Topology > Hilbert spaces > orthogonal projection onto closed vector subspaces |
| Orthogonal projection onto compact, convex set does not increase branched transport cost | 46NFZHJB0R | 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.24451#981F |
| Orthogonal projections | BFC2BXGJ6F | 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.18929#18I7 |
| orthogonal set | AT74V15QXC | unknown | open | Wikidata Q20877816, MathWorld OrthogonalSet, MathWorld OrthogonalVectors |
| orthogonal set | VV3GXGM8KN | concept | open | austin_ula index/6.3.2/orthogonal-set |
| orthogonal spectrum | 6JTYQ2X8YY | unknown | open | Wikidata Q56826460, nLab orthogonal spectrum |
| Orthogonal subset-clock cost | D5E8FC3VSZ | 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.14081#QUGF |
| orthogonal tensor | A7BPPTVJJ4 | 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 2505.04063#IUSD |
| Orthogonal tilt--height excess estimate | FW713BQBGB | 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.09596#SB6W |
| orthogonal transformation | EBFEVKYZZ8 | unknown | open | Wikidata Q3997740, EoM Orthogonal_transformation, MathWorld OrthogonalTransformation |
| Orthogonal vectors are independent | 9HWP3E27N4 | statement | open | napkin tex/linalg/inner-form.tex#lemma-2 |
| orthogonal, functions | 2E9WP39NVJ | concept | open | lebl_diffyqs index/5.1.3/orthogonal-functions |
| orthogonal, functions | WH737E07NQ | concept | open | lebl_diffyqs index/5.2.3/orthogonal-functions |
| orthogonal, vectors | 2WA8CRWP3Z | concept | open | lebl_diffyqs index/5.2.2/orthogonal-vectors |
| orthogonal, with respect to a weight | PPD4Q3MPHB | concept | open | lebl_diffyqs index/3.1.2/orthogonal-with-respect-to-a-weight |
| Orthogonal-frame floor | HPVDKPYXZD | 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.39408#CQX3 |
| Orthogonality | JG2XTADRNE | 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.34856#JD69 |
| orthogonality | VE512RAVCD | unknown | open | Wikidata Q215067, MathWorld Orthogonal |
| orthogonality | WS5HJ57ZW3 | unknown | open | mathlib_undergrad Linear algebra > Duality > orthogonality, Mathlib Submodule.dualAnnihilator |
| Orthogonality | YFVCE7XS98 | 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.18154#MKHR |
| Orthogonality | ZJRMRMA2BS | statement | open | napkin tex/rep-theory/characters.tex#theorem-2 |
| Orthogonality across levels | RGWWDEZ9A6 | 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.04574#LI3P |
| Orthogonality for the Gauss products | PENJ2AK744 | 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.07905#SMOJ |
| orthogonality of characters | 96C7P6QVM3 | unknown | open | mathlib_overview General algebra > Representation theory > orthogonality of characters, Mathlib FDRep.char_orthonormal, mathlib_undergrad Group Theory > Representation theory of finite groups > orthogonality of irreducible characters |
| Orthogonality of Hadamard characters, Theorem 1.5 | FJ7G9D310C | 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.21033#RKGE |
| Orthogonality of mixed type for every ordered partition of roots | NBKDTPM3NM | 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.08568#1HMW |
| Orthogonality on $N^a$ | YAAV0ENA9N | 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.03384#0KFC |
| orthographic projection in cartography | JQ9CTGXAFY | unknown | open | Wikidata Q1753242, MathWorld OrthographicProjection |
| Orthologic triangles | X0NE16AKT8 | unknown | open | Wikidata Q110235948, MathWorld OrthologicTriangles |
| orthomodular lattice | A4KSNTYQN4 | unknown | open | Wikidata Q121504301, EoM Orthomodular_lattice |
| orthomorphism | GNZ67DWS5E | unknown | open | Wikidata Q18358340, MathWorld Orthomorphism |
| orthonormal bases | 8QSSD9GB1W | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > orthonormal bases, Mathlib maximal_orthonormal_iff_basis_of_finiteDimensional |
| orthonormal basis | ZYS2PWM983 | unknown | node (a node has the same name as the row) | Wikidata Q2365325, MathWorld OrthonormalBasis |
| orthonormal basis of irreducible characters | 5XJQB6A26Z | unknown | open | mathlib_undergrad Group Theory > Representation theory of finite groups > orthonormal basis of irreducible characters |
| orthonormal frame | 3SXWFNXDYJ | definition | open | Wikidata Q7104842, ProofWiki Definition:Orthonormal_Frame |
| orthonormal function system | EEB2RP3NPF | unknown | open | Wikidata Q7104840, MathWorld OrthonormalFunctions |
| orthonormal set | 9CWXTJ3JTR | unknown | open | Wikidata Q91048185, MathWorld OrthonormalSet, MathWorld OrthonormalVectors |
| orthopole | HDHG5WR57K | unknown | open | Wikidata Q30592835, MathWorld Orthopole |
| orthoptic curve | MMZ9ZKRX8B | unknown | open | Wikidata Q117834946, MathWorld OrthopticCurve |
| Orthoscheme sector estimate | F91PY3PMW7 | 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.27798#6707 |
| Orthosymplectic Lie superalgebra | R0D2BFYGF3 | 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.12489#AQS2 |
| Orthotransversal | 71JVXCS5TX | concept | open | Wikidata Q130765438, MathWorld Orthotransversal |
| OS-positivity under periodisation | JBWGVGV116 | 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.29671#JXV1 |
| Osborn's rule | 74SGJD4WBZ | unknown | open | Wikidata Q105529160, MathWorld OsbornsRule |
| Oscar Randal-Williams | RTBY385SSX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q64763227, nLab Oscar Randal-Williams |
| Oscillating critical sums | YDMJQGZGQY | 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.05457#O39U |
| Oscillating partitions | WW4M73BVVP | 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#UHB9 |
| Oscillating Points with One Move per Robot per Phase | S0YHBVRBKB | 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.17677#E3RY |
| oscillation | J6BYY4Q354 | unknown | open | Wikidata Q7106411, MathWorld Oscillation |
| Oscillation estimate for cylindrical holes | JTATXAJ4KY | 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.30274#MKG3 |
| Oscillator and trace-norm estimate | VHDNX06F83 | 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.36016#XNGH |
| Oscillatory Cauchy transforms with half a derivative | PP4B85PFZT | 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.13753#66NL |
| Oscillatory concentration on the ray | X18R91FVRZ | 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.24962#JG9Q |
| Oscillatory dichotomy, bounded-gap dense scales | 1MAW56ZPGM | 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#S08J |
| Oscillatory expectation change for Heun | V6XZQGDT4E | 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.06308#500T |
| osculating circle | KP46WK208N | unknown | open | Wikidata Q2166240, MathWorld OsculatingCircle |
| osculating curve | JXJWYZYJM9 | unknown | open | Wikidata Q7106440, MathWorld OsculatingCurves |
| osculating plane | WTYGF9QNMC | unknown | open | Wikidata Q3272489, MathWorld OsculatingPlane |
| osculating sphere | R81RAJGYWF | unknown | open | Wikidata Q31839232, MathWorld OsculatingSphere |
| Oseledec theorem | 309SJK37BM | statement | open | mathlib_1000 Q7106480, Wikidata Q7106480, thousand_plus Q7106480, Wikipedia Oseledec theorem |
| Oseledets-Pesin | KGHCVKWJ6S | 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.19812#SVBV |
| Osgood lemma | X45AX7EZGF | 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.21121#INLQ |
| Oskar Anderson | AN3TN5Y8HZ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q72979, EoM Anderson,_Oskar |
| Oskar Klein | DQV3W152M6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q251524, nLab Oskar Klein |
| Oskar Perron | 2Y8N4J1T8K | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q65189, ProofWiki Mathematician:Oskar_Perron |
| Osofsky; Sabbagh--Eklof, 1971 | AGRJGC2YPX | 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.35682#46A8 |
| OSP for sparse vectors | PKBD70RHQY | 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.16715#4IJJ |
| Osserman | E812681VDD | 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.33643#0RFV |
| Osterwalder--Schrader positivity | FA4MNQSXFC | 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.29671#W8D8 |