Inventory rows K0
The cards of the rows of the inventory whose ids start with K0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Definition K001N4RZV2
| URI | m2://inv/K001N4RZV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Day convolution#3HTB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algebra K007GD3TCC
| URI | m2://inv/K007GD3TCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#NDBF, Algebra (definition)
History
- 2026-11-02: add by m2/dev
Spherical basis K008YKK15F
| URI | m2://inv/K008YKK15F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical basis, Spherical basis (definition). Also Wikidata Q15104440
History
- 2026-11-02: add by m2/dev
K00BRGQK35 K00BRGQK35
| URI | m2://inv/K00BRGQK35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14154#KUA6 (statement). In 8X6PXX2TRA/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
K00BS3GAJ8 K00BS3GAJ8
| URI | m2://inv/K00BS3GAJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24307#E3U5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
K00KMZFPVK K00KMZFPVK
| URI | m2://inv/K00KMZFPVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37026#Y91M (statement). In QGZPH9W8GY/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
K00M791NEV K00M791NEV
| URI | m2://inv/K00M791NEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12413#2UN4 (statement). In 6EJ8J60SP8/e1, theorem 12
History
- 2026-10-28: add by m2/v0.4.2
Bottou, Léon K00NX5CQZP
| URI | m2://inv/K00NX5CQZP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#VMY5, Bottou, Léon (topic)
History
- 2026-11-02: add by m2/dev
Co-rotating frame K00P935GHH
| URI | m2://inv/K00P935GHH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar coordinate system#ZD8H, Co-rotating frame (unknown)
History
- 2026-11-02: add by m2/dev
K00TSM1FMY K00TSM1FMY
| URI | m2://inv/K00TSM1FMY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#SDBA (statement). In 5E9G06XJKC/e1, lemma D.5
History
- 2026-10-28: add by m2/v0.4.2
K00Z2M9XEQ K00Z2M9XEQ
| URI | m2://inv/K00Z2M9XEQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39531#WLL0 (definition). In SN9RSTHQ07/e1, definition C.7
History
- 2026-10-30: add by m2/v0.4.12
Ngô Bảo Châu K01426D6K2
| URI | m2://inv/K01426D6K2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#76MT, Ngô Bảo Châu (topic)
History
- 2026-11-02: add by m2/dev
Fractal transform K018BSCRP3
| URI | m2://inv/K018BSCRP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal transform, Fractal transform (definition). Also Wikidata Q5477512
History
- 2026-11-02: add by m2/dev
Meshfree methods K01K08TK2G
| URI | m2://inv/K01K08TK2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meshfree methods, Meshfree methods (definition). Also Wikidata Q14866890
History
- 2026-11-02: add by m2/dev
Decay function K01TQ3607H
| URI | m2://inv/K01TQ3607H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12731#I56K, Decay function (definition). In 2NCV1M6WYS/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Elijah Mizrachi K0215EDPVN
| URI | m2://inv/K0215EDPVN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#QTWI, Elijah Mizrachi (unknown)
History
- 2026-11-02: add by m2/dev
resolution of singularities K024HKY5ZT
| URI | m2://inv/K024HKY5ZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 4 |
| Outcome | open |
| Node | Resolution of singularities MB52NDA6WN |
Mentions
- mathlib_1000: mathlib_1000 Q10942247, Hironaka theorem (statement). Also Wikidata Q10942247
- thousand_plus: thousand_plus Q10942247, Hironaka theorem (statement). Also Wikidata Q10942247, Wikipedia Hironaka theorem
- wikidata: Wikidata Q10942247, resolution of singularities (unknown). Also EoM Resolution_of_singularities
- wikipedia: Wikipedia Resolution of singularities, Resolution of singularities (conjecture). Also Wikidata Q10942247
History
- 2026-10-26: add by m2/dev
Definition K026NRAFG8
| URI | m2://inv/K026NRAFG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shimura variety#73PR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kātyāyana K02ERZYBK8
| URI | m2://inv/K02ERZYBK8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#R9GB, Kātyāyana (unknown)
History
- 2026-11-02: add by m2/dev
K02GMB8100 K02GMB8100
| URI | m2://inv/K02GMB8100 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13295#J2VB (statement). In 8Q7QXTWD0S/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
Rachel Justine Pries K02NEPKGJJ
| URI | m2://inv/K02NEPKGJJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rachel Justine Pries, Rachel Justine Pries (topic). Also Wikidata Q42907532
History
- 2026-11-02: add by m2/dev
K02S2JW0ZE K02S2JW0ZE
| URI | m2://inv/K02S2JW0ZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.17276#JAH5 (statement). In EWKHA675JY/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
K02VQX0GJS K02VQX0GJS
| URI | m2://inv/K02VQX0GJS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35683#1YUD (example). In A4S9A3X494/e1, example 1
History
- 2026-10-30: add by m2/v0.4.12
Generalization K03B35T032
| URI | m2://inv/K03B35T032 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arcsine distribution#EY9R, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Isotropic count via the radical K03D6XXK71
| URI | m2://inv/K03D6XXK71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#89WW, Isotropic count via the radical (statement). In N6GD8392QB/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.2
K03F0ST4FM K03F0ST4FM
| URI | m2://inv/K03F0ST4FM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 53-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11677#JGZC (statement). In 4R7HZD14M6/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
K03FQWYNK0 K03FQWYNK0
| URI | m2://inv/K03FQWYNK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17070#1G8U (statement). In W3G9Z9B32N/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Graph literacy K03FYBMXMD
| URI | m2://inv/K03FYBMXMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph literacy, Graph literacy (definition). Also Wikidata Q17091083
History
- 2026-11-02: add by m2/dev
K03MCMF3CT K03MCMF3CT
| URI | m2://inv/K03MCMF3CT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#HKZY (definition)
History
- 2026-11-02: add by m2/v0.6.18
K03NDQWYWX K03NDQWYWX
| URI | m2://inv/K03NDQWYWX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36332#H20F (definition). In APK7X4MFAX/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Claim (Conclusion) K03NMQ4TYZ
| URI | m2://inv/K03NMQ4TYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Toulmin#7TES, Claim (Conclusion) (statement)
History
- 2026-11-02: add by m2/dev
K03TYRBDX6 K03TYRBDX6
| URI | m2://inv/K03TYRBDX6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/pell.tex#example-1 (example). In RZP28ERRZV, example, section 17.1
History
- 2026-11-01: add by m2/v0.6.13
Examples K03XNP44VJ
| URI | m2://inv/K03XNP44VJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering space#MI12, Examples (example)
History
- 2026-11-02: add by m2/dev
Quasi-open map K040E21ZZK
| URI | m2://inv/K040E21ZZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-open map, Quasi-open map (definition). Also Wikidata Q7269463
History
- 2026-11-02: add by m2/dev
Further Mathematics K047TDAAXF
| URI | m2://inv/K047TDAAXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Further Mathematics, Further Mathematics (definition). Also Wikidata Q4464
History
- 2026-11-02: add by m2/dev
Expander graph K048HZW10D
| URI | m2://inv/K048HZW10D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expander graph, Expander graph (definition). Also Wikidata Q776602
History
- 2026-11-02: add by m2/dev
K04DD342SA K04DD342SA
| URI | m2://inv/K04DD342SA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/partial-iso.tex#defn-3 (definition). In PKGMM3P5QY, defn, section 46.5
History
- 2026-11-01: add by m2/v0.6.13
Peter David Lax K04FB75K24
| URI | m2://inv/K04FB75K24 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6EBO, Peter David Lax (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L577, Peter David Lax (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZV3A, Peter David Lax (topic)
History
- 2026-11-02: add by m2/dev
Uniform tail estimate K04TZHXE9C
| URI | m2://inv/K04TZHXE9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00396#OZPG, Uniform tail estimate (statement). In V13TE1RWT9/e1, theorem 10.6
History
- 2026-10-30: add by m2/v0.4.12
elementary event K04ZR1Q4DK
| URI | m2://inv/K04ZR1Q4DK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#9JAU, elementary event (definition)
History
- 2026-11-02: add by m2/dev
Laura Lee Johnson K054VH37CY
| URI | m2://inv/K054VH37CY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#T0F0, Laura Lee Johnson (unknown)
History
- 2026-11-02: add by m2/dev
Laplacian projector movement stability K055592KNN
| URI | m2://inv/K055592KNN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08152#MC5G, Laplacian projector movement stability (statement). In T1GYQ6SCCZ/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.10
K056M5S0RQ K056M5S0RQ
| URI | m2://inv/K056M5S0RQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25094#6TNO (statement)
History
- 2026-11-01: add by m2/v0.6.15
K05AJR1NZJ K05AJR1NZJ
| URI | m2://inv/K05AJR1NZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#DJ2L (statement). In 7CK21JGM5A/e1, corollary 3.15
History
- 2026-10-27: add by m2/v0.4.2
K05RDXMGQR K05RDXMGQR
| URI | m2://inv/K05RDXMGQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05621#1W3C (statement). In ADE39RC6C0/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.10
Idempotent of a code K05TE40TEZ
| URI | m2://inv/K05TE40TEZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic code#ICT6, Idempotent of a code (unknown)
History
- 2026-11-02: add by m2/dev
Yarkovsky effect K05YVQG4QF
| URI | m2://inv/K05YVQG4QF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yarkovsky effect, Yarkovsky effect (definition). Also Wikidata Q139771
History
- 2026-11-02: add by m2/dev
Applications K06281A8X3
| URI | m2://inv/K06281A8X3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph algebra#AUB3, Applications (example)
History
- 2026-11-02: add by m2/dev
Slices K063D2ZKS9
| URI | m2://inv/K063D2ZKS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02833#SD8I, Slices (statement). In TNREX5GDK2/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
K064940Z68 K064940Z68
| URI | m2://inv/K064940Z68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07608#86TP (statement). In X8FQD4TEVG/e1, lemma 2.10
History
- 2026-10-29: add by m2/v0.4.10
Circatidal rhythm K06D5BWJW7
| URI | m2://inv/K06D5BWJW7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tide#JZEQ, Circatidal rhythm (unknown)
History
- 2026-11-02: add by m2/dev
K06EREZKHB K06EREZKHB
| URI | m2://inv/K06EREZKHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37425#HCSC (statement). In E02TSC01RN/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
All-cap convex-order comparisons K06HS0YX9X
| URI | m2://inv/K06HS0YX9X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19908#YTXO, All-cap convex-order comparisons (statement)
History
- 2026-11-02: add by m2/v0.6.18
Segunda Angostura K06MMV7ZXD
| URI | m2://inv/K06MMV7ZXD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EBF5, Segunda Angostura (unknown)
History
- 2026-11-02: add by m2/dev
K06NXAPAHS K06NXAPAHS
| URI | m2://inv/K06NXAPAHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06546#L07C (statement). In G6DK297DQN/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
1 E -19 m K06T3Y374T
| URI | m2://inv/K06T3Y374T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#E712, 1 E -19 m (unknown)
History
- 2026-11-02: add by m2/dev
Cauchy–Kovalevskaya theorem K0721KH1FJ
| URI | m2://inv/K0721KH1FJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#L8B3, Cauchy–Kovalevskaya theorem (statement)
History
- 2026-11-02: add by m2/dev
path, dependent K072NRQMCB
| URI | m2://inv/K072NRQMCB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.3/path-dependent, path, dependent (concept). In N54F33XE07, index, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Applications K076WK04JG
| URI | m2://inv/K076WK04JG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equipartition theorem#F6NR, Applications (example)
History
- 2026-11-02: add by m2/dev
2-factor theorem K07NPTJQN8
| URI | m2://inv/K07NPTJQN8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5Q13, 2-factor theorem (statement)
History
- 2026-11-02: add by m2/dev
K086TX3QZN K086TX3QZN
| URI | m2://inv/K086TX3QZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34845#GCZL (statement). In SBZNH932ZV/e1, theorem 8.3
History
- 2026-10-30: add by m2/v0.4.12
K087MMZ8C6 K087MMZ8C6
| URI | m2://inv/K087MMZ8C6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02743#EMF9 (statement). In GQH4ZPDWET/e1, theorem 2.8
History
- 2026-10-29: add by m2/v0.4.12
K08B0AZXR7 K08B0AZXR7
| URI | m2://inv/K08B0AZXR7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-19 (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
K08BX6SZRT K08BX6SZRT
| URI | m2://inv/K08BX6SZRT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.10958#TXSZ (definition). In 4W55AH5T6R/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Process capability index K08DCTGKJH
| URI | m2://inv/K08DCTGKJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process capability index, Process capability index (definition). Also Wikidata Q1192625
History
- 2026-11-02: add by m2/dev
Formulations K08FCCSC2K
| URI | m2://inv/K08FCCSC2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allan variance#TKHI, Formulations (definition)
History
- 2026-11-02: add by m2/dev
K08VDHVKGR K08VDHVKGR
| URI | m2://inv/K08VDHVKGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33062#O2UJ (statement). In 4X19VA3FFW/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
K08YEXNPCS K08YEXNPCS
| URI | m2://inv/K08YEXNPCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#WHEC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Carathéodory–Jacobi–Lie theorem K09BP7F8AE
| URI | m2://inv/K09BP7F8AE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q523832, Carathéodory–Jacobi–Lie theorem (statement). Also Wikidata Q523832
- thousand_plus: thousand_plus Q523832, Carathéodory–Jacobi–Lie theorem (statement). Also Wikidata Q523832, Wikipedia Carathéodory–Jacobi–Lie theorem
- wikipedia: Wikipedia Carathéodory–Jacobi–Lie theorem, Carathéodory–Jacobi–Lie theorem (statement). Also Wikidata Q523832
History
- 2026-10-26: add by m2/dev
K09GBM1EE1 K09GBM1EE1
| URI | m2://inv/K09GBM1EE1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_rigorous.ptx#example-1 (example). In QKM9DD2H56, example, section 9.5.4
History
- 2026-11-01: add by m2/v0.6.13
Definitions K09H2KSX2B
| URI | m2://inv/K09H2KSX2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discontinuities of monotone functions#2T87, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Curvature invariant K09TVVS7F3
| URI | m2://inv/K09TVVS7F3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curvature invariant, Curvature invariant (definition). Also Wikidata Q5196053
History
- 2026-11-02: add by m2/dev
Applications K09VBSP6G9
| URI | m2://inv/K09VBSP6G9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birefringence#ABHZ, Applications (example)
History
- 2026-11-02: add by m2/dev
K0A44DPG55 K0A44DPG55
| URI | m2://inv/K0A44DPG55 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/reduction-alt.tex#prob-5 (exercise). In PKGMM3P5QY, prob, section 83.12
History
- 2026-11-01: add by m2/v0.6.13
Ring ideal K0A9JZ6MJK
| URI | m2://inv/K0A9JZ6MJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#O7JT, Ring ideal (definition)
History
- 2026-11-02: add by m2/dev
Reidemeister torsion K0ATZT2W0J
| URI | m2://inv/K0ATZT2W0J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q31839400, Reidemeister torsion (concept). Also MathWorld ReidemeisterTorsion
History
- 2026-10-26: add by m2/dev
Ramanujan's lost notebook K0AVRTCCJP
| URI | m2://inv/K0AVRTCCJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan's lost notebook, Ramanujan's lost notebook (definition). Also Wikidata Q7288992
History
- 2026-11-02: add by m2/dev
K0B09A4ZSD K0B09A4ZSD
| URI | m2://inv/K0B09A4ZSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16640#0STY (statement). In DEVX71G2ZK/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
K0B0ET1H4J K0B0ET1H4J
| URI | m2://inv/K0B0ET1H4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.01497#6JIR (statement). In QAKFAHRC8Z/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Approximation algorithm K0B0P3C6XT
| URI | m2://inv/K0B0P3C6XT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#NTOY, Approximation algorithm (definition)
- wikipedia: Wikipedia List of algorithm general topics#NOZ6, Approximation algorithm (definition)
History
- 2026-11-02: add by m2/dev
K0B1TJP426 K0B1TJP426
| URI | m2://inv/K0B1TJP426 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22769#DCC1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Rich motions K0B40ZEAS7
| URI | m2://inv/K0B40ZEAS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29784#7ZNE, Rich motions (statement)
History
- 2026-11-01: add by m2/v0.6.15
Inversive plane geometry K0B57234G3
| URI | m2://inv/K0B57234G3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#CCZZ, Inversive plane geometry (definition)
History
- 2026-11-02: add by m2/dev
Uniform reduced-operator equivalence K0B5ZS6569
| URI | m2://inv/K0B5ZS6569 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38871#H0SF, Uniform reduced-operator equivalence (statement). In X705R2Q780/e1, theorem 4.6
History
- 2026-10-30: add by m2/v0.4.12
Onsager–Machlup function K0B76TGKHZ
| URI | m2://inv/K0B76TGKHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Onsager–Machlup function, Onsager–Machlup function (definition). Also Wikidata Q17104894
History
- 2026-11-02: add by m2/dev
K0B8B65GQP K0B8B65GQP
| URI | m2://inv/K0B8B65GQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28540#TU6R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ford's theorem K0B9WSXQZQ
| URI | m2://inv/K0B9WSXQZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's totient function#MTZ2, Ford's theorem (statement)
History
- 2026-11-02: add by m2/dev
K0BBYKNG9V K0BBYKNG9V
| URI | m2://inv/K0BBYKNG9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 65-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.11733#KFYY (statement). In 5HGHVM5B83/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.0
Helge Holden K0BDW55F9D
| URI | m2://inv/K0BDW55F9D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helge Holden, Helge Holden (topic). Also Wikidata Q3378092
History
- 2026-11-02: add by m2/dev
Christian Juel K0BTHHP6HZ
| URI | m2://inv/K0BTHHP6HZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12306028, Christian Juel (unknown). Also ProofWiki Mathematician:Christian_Sophus_Juel
- wikipedia: Wikipedia Christian Juel, Christian Juel (topic). Also Wikidata Q12306028
History
- 2026-10-26: add by m2/dev
Constructing frames with low average coherence K0BVSCCGKT
| URI | m2://inv/K0BVSCCGKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#1CX7, Constructing frames with low average coherence (statement). In XYCBKM4WKY/e1, theorem 69
History
- 2026-10-27: add by m2/v0.3.5
Examples K0BXBKDYXA
| URI | m2://inv/K0BXBKDYXA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary quadratic form#8KPT, Examples (example)
History
- 2026-11-02: add by m2/dev
K0C7BVHCZV K0C7BVHCZV
| URI | m2://inv/K0C7BVHCZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11276#PE3O (statement). In KMTQRFFYZY/e1, corollary 3.4
History
- 2026-10-28: add by m2/v0.4.3
chain complex K0C9A36655
| URI | m2://inv/K0C9A36655 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#AXL1, chain complex (definition)
History
- 2026-11-02: add by m2/dev
K0CAEB43TG K0CAEB43TG
| URI | m2://inv/K0CAEB43TG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#BT7D (statement). In CFJH0Q39FZ/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
K0CCV6J9BM K0CCV6J9BM
| URI | m2://inv/K0CCV6J9BM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12295#UK00 (statement). In 6DZPR52HRP/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
First principle: arousal K0CD8FBJ53
| URI | m2://inv/K0CD8FBJ53 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical principles of reinforcement#MYB1, First principle: arousal (statement)
History
- 2026-11-02: add by m2/dev
Model characters at minimal conductors K0CDZMXT44
| URI | m2://inv/K0CDZMXT44 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#ARYK, Model characters at minimal conductors (statement). In 7NS75J7HAM/e1, proposition 9.24
History
- 2026-10-31: add by m2/v0.5.6
Definitions K0CE2WYV1S
| URI | m2://inv/K0CE2WYV1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex hull#CBQ6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Completely T3 K0CG7SABWJ
| URI | m2://inv/K0CG7SABWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#XTKK, Completely T3 (definition)
History
- 2026-11-02: add by m2/dev
Weizs\"{a}cker-Winkler K0CHEKT0XH
| URI | m2://inv/K0CHEKT0XH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.21391#OROD, Weizs\"{a}cker-Winkler (statement). In J9C7YMKJ33/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
K0CP1K14AW K0CP1K14AW
| URI | m2://inv/K0CP1K14AW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30895#K430 (statement). In B8D26BYA7T/e1, lemma 13
History
- 2026-10-31: add by m2/v0.5.6
A common-curvature family K0CP1XA4ER
| URI | m2://inv/K0CP1XA4ER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#XG1J, A common-curvature family (statement). In X1FPG0KYBM/e1, lemma V.1
History
- 2026-10-28: add by m2/v0.4.2
K0CX09VJGH K0CX09VJGH
| URI | m2://inv/K0CX09VJGH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10928#D1G0 (definition). In 8M7BFVQYMM/e1, definition 4.4
History
- 2026-10-28: add by m2/v0.4.3
Devex algorithm K0D0XV045V
| URI | m2://inv/K0D0XV045V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Devex algorithm, Devex algorithm (definition). Also Wikidata Q16906642
History
- 2026-11-02: add by m2/dev
Joint embedding property K0D3BWA8XK
| URI | m2://inv/K0D3BWA8XK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joint embedding property, Joint embedding property (definition). Also Wikidata Q17101965
History
- 2026-11-02: add by m2/dev
Peter Redford Scott Lang K0D6R87BVG
| URI | m2://inv/K0D6R87BVG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Redford Scott Lang, Peter Redford Scott Lang (topic). Also Wikidata Q28924226
History
- 2026-11-02: add by m2/dev
K0DHM0HXPR K0DHM0HXPR
| URI | m2://inv/K0DHM0HXPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39465#BG0Y (statement). In 17F6FDEA3W/e1, theorem 4.6
History
- 2026-10-30: add by m2/v0.4.12
L'Enseignement mathématique K0DN0HYPBG
| URI | m2://inv/K0DN0HYPBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L'Enseignement mathématique, L'Enseignement mathématique (definition). Also Wikidata Q15749411
History
- 2026-11-02: add by m2/dev
K0DS81Z1GM K0DS81Z1GM
| URI | m2://inv/K0DS81Z1GM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-22 (proof). In N54F33XE07, proof, section 7.5.2
History
- 2026-11-01: add by m2/v0.6.13
ISO 80000-8 K0DT91XENY
| URI | m2://inv/K0DT91XENY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ISO/IEC 80000#6CNQ, ISO 80000-8 (unknown)
History
- 2026-11-02: add by m2/dev
Regular K0DTY2FNP6
| URI | m2://inv/K0DTY2FNP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#T3GZ, Regular (definition)
History
- 2026-11-02: add by m2/dev
Theorem (Růžička 2008) K0E2EMDWNA
| URI | m2://inv/K0E2EMDWNA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#WB8D, Theorem (Růžička 2008) (statement)
History
- 2026-11-02: add by m2/dev
K0E3PA0WTJ K0E3PA0WTJ
| URI | m2://inv/K0E3PA0WTJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#QKZ7 (statement). In G00EYA9DXG/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
Kleene-Schützenberger K0E8J1NTDG
| URI | m2://inv/K0E8J1NTDG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#SV71, Kleene-Schützenberger (statement). In Q5Z178SAHP/e1, theorem 6.4
History
- 2026-10-30: add by m2/v0.4.12
Mordell, 1922 K0ED4ERC8D
| URI | m2://inv/K0ED4ERC8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27049#XBWT, Mordell, 1922 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Case B K0EF9ZK1FQ
| URI | m2://inv/K0EF9ZK1FQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27136#0DQ6, Case B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Data binning K0EHDBBERJ
| URI | m2://inv/K0EHDBBERJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NEXH, Data binning (definition)
History
- 2026-11-02: add by m2/dev
Middle deterministic ordering K0ERFH6GYX
| URI | m2://inv/K0ERFH6GYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#GBBG, Middle deterministic ordering (statement)
History
- 2026-11-01: add by m2/v0.6.15
K0ES1CZB60 K0ES1CZB60
| URI | m2://inv/K0ES1CZB60 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14364#33FL (example). In GTA6B7SW2V/e1, example 5.1
History
- 2026-10-28: add by m2/v0.4.2
Krawtchouk matrices K0EYYD1JJW
| URI | m2://inv/K0EYYD1JJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krawtchouk matrices, Krawtchouk matrices (definition). Also Wikidata Q4284939
History
- 2026-11-02: add by m2/dev
Competitive regret K0EZP4E6BN
| URI | m2://inv/K0EZP4E6BN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Competitive regret, Competitive regret (definition). Also Wikidata Q25052512
History
- 2026-11-02: add by m2/dev
K0F51W82H3 K0F51W82H3
| URI | m2://inv/K0F51W82H3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13295#O501 (statement). In 8Q7QXTWD0S/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
K0F9ABD0NE K0F9ABD0NE
| URI | m2://inv/K0F9ABD0NE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#DTNJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Instructions for Measuring with Compass and Ruler K0F9SPR4BY
| URI | m2://inv/K0F9SPR4BY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19231907, Instructions for Measuring with Compass and Ruler (unknown). Also ProofWiki Book:Albrecht_Dürer/Underweysung_der_Messung_mit_dem_Zirckel_und_Richtscheyt
History
- 2026-10-26: add by m2/dev
K0FCK1KZX6 K0FCK1KZX6
| URI | m2://inv/K0FCK1KZX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17571#OCD1 (statement). In SWFN2HCEE7/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Fundamental theorem K0FCW8K7QH
| URI | m2://inv/K0FCW8K7QH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed graph#9W3L, Fundamental theorem (statement)
History
- 2026-11-02: add by m2/dev
K0FGW8EJE0 K0FGW8EJE0
| URI | m2://inv/K0FGW8EJE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02791#XUM7 (statement). In TT9BA4VMTW/e1, fact B.1
History
- 2026-10-29: add by m2/v0.4.12
Implementations K0FGWYYQRF
| URI | m2://inv/K0FGWYYQRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SPIKE algorithm#LBH8, Implementations (definition)
History
- 2026-11-02: add by m2/dev
K0FY66FPV0 K0FY66FPV0
| URI | m2://inv/K0FY66FPV0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#TDQV (statement). In 3A4K47Y9F2/e1, lemma 6.22
History
- 2026-10-27: add by m2/v0.4.0
Albert Shiryaev K0G403QTNX
| URI | m2://inv/K0G403QTNX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#FE4N, Albert Shiryaev (unknown)
History
- 2026-11-02: add by m2/dev
Darmois–Skitovich theorem K0G4AR0QR0
| URI | m2://inv/K0G4AR0QR0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#AAQN, Darmois–Skitovich theorem (statement)
History
- 2026-11-02: add by m2/dev
Exact reduction to multiple Hermite type I and II K0GK7PDN66
| URI | m2://inv/K0GK7PDN66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#0UYP, Exact reduction to multiple Hermite type I and II (statement)
History
- 2026-11-02: add by m2/v0.6.17
Montgomery's pair correlation conjecture K0GRDK4WRY
| URI | m2://inv/K0GRDK4WRY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann hypothesis#RJAB, Montgomery's pair correlation conjecture (statement)
History
- 2026-11-02: add by m2/dev
Applications K0GT03NW0M
| URI | m2://inv/K0GT03NW0M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric decreasing rearrangement#CPBE, Applications (example)
History
- 2026-11-02: add by m2/dev
K0GTZ5FSD9 K0GTZ5FSD9
| URI | m2://inv/K0GTZ5FSD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.14879#ZAI3 (statement). In 3VZ55B2N0D/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
FOIL method K0H87DYPJV
| URI | m2://inv/K0H87DYPJV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FOIL method#4O27, FOIL method (statement)
History
- 2026-11-02: add by m2/dev
exponential integral K0HKF6RRFR
| URI | m2://inv/K0HKF6RRFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Exponential integral EV6ZDQ0NDY |
Mentions
- wikidata: Wikidata Q1419948, exponential integral (unknown). Also EoM Integral_exponential_function, MathWorld ExponentialIntegral
- wikipedia: Wikipedia Exponential integral, Exponential integral (definition). Also Wikidata Q1419948
History
- 2026-10-26: add by m2/dev
K0HPP8YGZZ K0HPP8YGZZ
| URI | m2://inv/K0HPP8YGZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00364#NZUO (statement). In ANR3DHYQPQ/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
K0HV9QHA13 K0HV9QHA13
| URI | m2://inv/K0HV9QHA13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20025#38JF (statement). In 4W1WR4JB89/e1, lemma 2.16
History
- 2026-10-27: add by m2/v0.4.2
Procedure K0HY6KR4WB
| URI | m2://inv/K0HY6KR4WB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Breusch–Pagan test#91GX, Procedure (definition)
History
- 2026-11-02: add by m2/dev
K0J5V3CP5X K0J5V3CP5X
| URI | m2://inv/K0J5V3CP5X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 24.3
History
- 2026-11-01: add by m2/v0.6.13
Monotonicity: no K0J8PWZB0S
| URI | m2://inv/K0J8PWZB0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exclusive or#VFXS, Monotonicity: no (definition)
History
- 2026-11-02: add by m2/dev
K0JCBGH41S K0JCBGH41S
| URI | m2://inv/K0JCBGH41S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv dg-ga/9612010#VHY9 (statement). In CM39SWC4A6/e1, corollary 1.3
History
- 2026-10-27: add by m2/v0.4.0
K0JF2QS938 K0JF2QS938
| URI | m2://inv/K0JF2QS938 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38250#5HEW (statement). In 5KDV984W48/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Chronological snobbery K0JGTDK91G
| URI | m2://inv/K0JGTDK91G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chronological snobbery, Chronological snobbery (definition). Also Wikidata Q5114156
History
- 2026-11-02: add by m2/dev
Deterministic system (mathematics) K0JRP3KQK7
| URI | m2://inv/K0JRP3KQK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#HO9Z, Deterministic system (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
focal parameter K0JS2FF5TG
| URI | m2://inv/K0JS2FF5TG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78150959, focal parameter (unknown). Also MathWorld FocalParameter
History
- 2026-10-26: add by m2/dev
Decision problem (Integer factorization) K0JSHVJ7SY
| URI | m2://inv/K0JSHVJ7SY |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer factorization#6JK5, Decision problem (Integer factorization) (problem)
History
- 2026-11-02: add by m2/dev
K0JXPAHRKY K0JXPAHRKY
| URI | m2://inv/K0JXPAHRKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20126#0Q72 (statement). In KVXDWX9B11/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.2
K0K0YAT094 K0K0YAT094
| URI | m2://inv/K0K0YAT094 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#EO8X (definition). In BDN507RN7J/e1, definition 4.1.11
History
- 2026-10-30: add by m2/v0.4.12
List of string theory topics K0K2QVC0DM
| URI | m2://inv/K0K2QVC0DM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics, List of string theory topics (topic). Also Wikidata Q6641580
History
- 2026-11-02: add by m2/dev
ordered pair K0KGEKE70G
| URI | m2://inv/K0KGEKE70G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#UYSQ, ordered pair (definition)
History
- 2026-11-02: add by m2/dev
Crossed products by endomorphisms K0KWJ0ZST4
| URI | m2://inv/K0KWJ0ZST4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#0ZFI, Crossed products by endomorphisms (example)
History
- 2026-11-01: add by m2/v0.6.15
K0KWMCQ933 K0KWMCQ933
| URI | m2://inv/K0KWMCQ933 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13939#Y8KJ (statement). In T0NQ0Q9WVD/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
Markov switching multifractal K0KX16BGG6
| URI | m2://inv/K0KX16BGG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov switching multifractal, Markov switching multifractal (definition). Also Wikidata Q6771331
History
- 2026-11-02: add by m2/dev
K0M6CV3FKV K0M6CV3FKV
| URI | m2://inv/K0M6CV3FKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27483#AW2L (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples K0M816HD72
| URI | m2://inv/K0M816HD72 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iteratively reweighted least squares#FM5Z, Examples (example)
History
- 2026-11-02: add by m2/dev
Lambert's cosine law K0MAEQDCFF
| URI | m2://inv/K0MAEQDCFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambert's cosine law, Lambert's cosine law (statement). Also Wikidata Q1190146
History
- 2026-11-02: add by m2/dev
Cartan connection K0MAWCGVG4
| URI | m2://inv/K0MAWCGVG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#N1P9, Cartan connection (definition)
History
- 2026-11-02: add by m2/dev
Semyon Kutateladze K0MCNSSD5P
| URI | m2://inv/K0MCNSSD5P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semyon Kutateladze, Semyon Kutateladze (topic). Also Wikidata Q7449212
History
- 2026-11-02: add by m2/dev
Astronomically large K0MJ43BT8K
| URI | m2://inv/K0MJ43BT8K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large numbers#AV2Y, Astronomically large (unknown)
History
- 2026-11-02: add by m2/dev
K0MMMX5QES K0MMMX5QES
| URI | m2://inv/K0MMMX5QES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.19468#MW96 (statement). In EY54F2SX08/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.3.5
K0N3J7WBNG K0N3J7WBNG
| URI | m2://inv/K0N3J7WBNG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40355#R410 (definition). In SBP98GWKC8/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Tammes problem K0N5T52NMD
| URI | m2://inv/K0N5T52NMD |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tammes problem, Tammes problem (conjecture). Also Wikidata Q3406239
History
- 2026-11-02: add by m2/dev
An explicit estimate for two-sided immersions K0NADVVEH7
| URI | m2://inv/K0NADVVEH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32001#W6NS, An explicit estimate for two-sided immersions (statement). In 5FZGDECW2R/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
K0NPCV167F K0NPCV167F
| URI | m2://inv/K0NPCV167F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32374#BBOY (statement). In 96D6N9AXQM/e1, theorem 2.7
History
- 2026-10-31: add by m2/v0.5.6
Condorcet's jury theorem K0NRCCHXP5
| URI | m2://inv/K0NRCCHXP5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q744925, Condorcet's jury theorem (statement). Also MathWorld CondorcetsJuryTheorem
- wikipedia: Wikipedia Condorcet's jury theorem, Condorcet's jury theorem (statement). Also Wikidata Q744925
History
- 2026-10-26: add by m2/dev
K0NSB657WF K0NSB657WF
| URI | m2://inv/K0NSB657WF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#VNVG (statement). In V42PPD7SWH/e1, lemma 6.6
History
- 2026-10-31: add by m2/v0.5.6
Conditional centers K0NVA20KTN
| URI | m2://inv/K0NVA20KTN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08821#BKO5, Conditional centers (statement). In KP1THB2C09/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
K0NYYWF2R6 K0NYYWF2R6
| URI | m2://inv/K0NYYWF2R6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#45GB (definition). In 13H5BTAXHF/e1, definition 19
History
- 2026-10-27: add by m2/v0.3.5
K0P0CWP29Q K0P0CWP29Q
| URI | m2://inv/K0P0CWP29Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#A8NK (statement). In F3BKXXPR3K/e1, lemma 3.32
History
- 2026-10-27: add by m2/v0.4.2
Implementation K0P5BYXP8J
| URI | m2://inv/K0P5BYXP8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hough transform#IAAI, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Definition K0P9GW2Q43
| URI | m2://inv/K0P9GW2Q43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survival function#4MQU, Definition (definition)
History
- 2026-11-02: add by m2/dev
K0PHHSZYMS K0PHHSZYMS
| URI | m2://inv/K0PHHSZYMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28803#NK77 (statement)
History
- 2026-11-01: add by m2/v0.6.15
K0PNZSSDSC K0PNZSSDSC
| URI | m2://inv/K0PNZSSDSC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07490#2XIE (statement). In 1BCKN2RQQ4/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
K0PWWZEJG9 K0PWWZEJG9
| URI | m2://inv/K0PWWZEJG9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#LZJJ (definition). In REDG6QVHM3/e1, definition 10.1
History
- 2026-10-29: add by m2/v0.4.12
Denjoy–Carleman theorem K0PX6DGFY9
| URI | m2://inv/K0PX6DGFY9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-analytic function#2EYE, Denjoy–Carleman theorem (statement)
History
- 2026-11-02: add by m2/dev
aleph K0PXZCSHQH
| URI | m2://inv/K0PXZCSHQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#YZFJ, aleph (definition)
History
- 2026-11-02: add by m2/dev
David Zuckerman K0PYTWSMP9
| URI | m2://inv/K0PYTWSMP9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BTFQ, David Zuckerman (unknown)
History
- 2026-11-02: add by m2/dev
Impulse response K0Q16F5STP
| URI | m2://inv/K0Q16F5STP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QU2A, Impulse response (definition)
History
- 2026-11-02: add by m2/dev
K0Q3P3GAJ7 K0Q3P3GAJ7
| URI | m2://inv/K0Q3P3GAJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#8XC3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
K0Q5C0M8E0 K0Q5C0M8E0
| URI | m2://inv/K0Q5C0M8E0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36300#R4QE (statement). In MNWD3Y6W56/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
Definition K0Q6QF6V5N
| URI | m2://inv/K0Q6QF6V5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Esscher transform#PUY9, Definition (definition)
History
- 2026-11-02: add by m2/dev
K0QEWZVFGX K0QEWZVFGX
| URI | m2://inv/K0QEWZVFGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#PUJF (statement). In Q6HRJP4AWA/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.12
K0QJNQ75VC K0QJNQ75VC
| URI | m2://inv/K0QJNQ75VC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/soundness.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 22.15
History
- 2026-11-01: add by m2/v0.6.13
Prüfer theorems K0QKZ4DJTK
| URI | m2://inv/K0QKZ4DJTK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prüfer theorems, Prüfer theorems (statement). Also Wikidata Q7253851
History
- 2026-11-02: add by m2/dev
K0QM2VVDEQ K0QM2VVDEQ
| URI | m2://inv/K0QM2VVDEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#DEO1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
K0QPKVP2BD K0QPKVP2BD
| URI | m2://inv/K0QPKVP2BD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20386#HVGA (statement). In 4WC4V49KAC/e1, lemma 1.1
History
- 2026-10-27: add by m2/v0.4.2
K0QQZYQRYJ K0QQZYQRYJ
| URI | m2://inv/K0QQZYQRYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25985#ICH6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elisabeth Hagemann K0QRAKNVVE
| URI | m2://inv/K0QRAKNVVE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elisabeth Hagemann, Elisabeth Hagemann (topic). Also Wikidata Q94768809
History
- 2026-11-02: add by m2/dev
K0QV3YV2KB K0QV3YV2KB
| URI | m2://inv/K0QV3YV2KB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#V0RD (statement). In DZ12XTTJSM/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
discriminant K0QWMFMVVV
| URI | m2://inv/K0QWMFMVVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#SQSX, discriminant (definition)
History
- 2026-11-02: add by m2/dev
Wiener's tauberian theorem K0QZSDTZME
| URI | m2://inv/K0QZSDTZME |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#W3Z0, Wiener's tauberian theorem (statement)
History
- 2026-11-02: add by m2/dev
Terminology K0R3QM25V2
| URI | m2://inv/K0R3QM25V2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birefringence#T6UZ, Terminology (definition)
History
- 2026-11-02: add by m2/dev
K0R5ZB8VWN K0R5ZB8VWN
| URI | m2://inv/K0R5ZB8VWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04835#HGKO (statement). In P6PHR4W23S/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.12
Dudley's theorem K0R704R0XH
| URI | m2://inv/K0R704R0XH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DIBM, Dudley's theorem (statement)
History
- 2026-11-02: add by m2/dev
Baire category theorem K0RV2GZKH4
| URI | m2://inv/K0RV2GZKH4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#MQ9D, Baire category theorem (statement)
History
- 2026-11-02: add by m2/dev
K0S01A2GG5 K0S01A2GG5
| URI | m2://inv/K0S01A2GG5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23128#5Q1I (statement)
History
- 2026-11-02: add by m2/v0.6.17
Turán, Pál K0S04YA317
| URI | m2://inv/K0S04YA317 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#C51Z, Turán, Pál (topic)
History
- 2026-11-02: add by m2/dev
Half pyramidille K0S4DCR7VD
| URI | m2://inv/K0S4DCR7VD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedral-octahedral honeycomb#TFLS, Half pyramidille (unknown)
History
- 2026-11-02: add by m2/dev
K0SCBVJN8Z K0SCBVJN8Z
| URI | m2://inv/K0SCBVJN8Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25391#GNCL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bella Subbotovskaya K0SG5K9J4D
| URI | m2://inv/K0SG5K9J4D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#Q3AU, Bella Subbotovskaya (topic)
History
- 2026-11-02: add by m2/dev
K0SGAR0WQZ K0SGAR0WQZ
| URI | m2://inv/K0SGAR0WQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35204#JEN6 (statement). In 8ZZNDYK76B/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
K0SHD56Q1H K0SHD56Q1H
| URI | m2://inv/K0SHD56Q1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38250#56IR (statement). In 5KDV984W48/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Linear K0SPBVNEQQ
| URI | m2://inv/K0SPBVNEQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#CL7J, Linear (definition)
History
- 2026-11-02: add by m2/dev
Properties K0SQJXFC9H
| URI | m2://inv/K0SQJXFC9H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bridge number#M58Q, Properties (statement)
History
- 2026-11-02: add by m2/dev
Daniel Gianola K0SRTABMRM
| URI | m2://inv/K0SRTABMRM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#WNEH, Daniel Gianola (unknown)
History
- 2026-11-02: add by m2/dev
Without dilution, accretion is optimal K0SSAB36CA
| URI | m2://inv/K0SSAB36CA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11007#GM7J, Without dilution, accretion is optimal (statement). In MF0H78XZXC/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.3
K0SSKET4HW K0SSKET4HW
| URI | m2://inv/K0SSKET4HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#S11D (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications K0STV8SR02
| URI | m2://inv/K0STV8SR02 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aggregated indices randomization method#6XUX, Applications (example)
History
- 2026-11-02: add by m2/dev
William Karush K0SZXYYVP9
| URI | m2://inv/K0SZXYYVP9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Karush, William Karush (topic). Also Wikidata Q4216313
History
- 2026-11-02: add by m2/dev
K0T1KX91FE K0T1KX91FE
| URI | m2://inv/K0T1KX91FE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23526#N3CC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Finitely many characteristic polynomials on a coset K0T33ZXGN6
| URI | m2://inv/K0T33ZXGN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#8QMY, Finitely many characteristic polynomials on a coset (statement)
History
- 2026-11-01: add by m2/v0.6.15
K0T3NZZV0X K0T3NZZV0X
| URI | m2://inv/K0T3NZZV0X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#D78H (definition). In GXHKRV5BPY/e1, definition 2.9
History
- 2026-10-29: add by m2/v0.4.10
Homomorphic equivalence K0T8VMFC7S
| URI | m2://inv/K0T8VMFC7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homomorphic equivalence, Homomorphic equivalence (definition). Also Wikidata Q28402047
History
- 2026-11-02: add by m2/dev
Anscombe's quartet K0TAM4XKTA
| URI | m2://inv/K0TAM4XKTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UFYQ, Anscombe's quartet (definition)
History
- 2026-11-02: add by m2/dev
Renata Mansini K0TDW9XE52
| URI | m2://inv/K0TDW9XE52 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5H8P, Renata Mansini (topic)
History
- 2026-11-02: add by m2/dev
Properties K0TGY0GDQT
| URI | m2://inv/K0TGY0GDQT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical lune#BDZ3, Properties (statement)
History
- 2026-11-02: add by m2/dev
K0TJ9HAMK0 K0TJ9HAMK0
| URI | m2://inv/K0TJ9HAMK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14458#VY92 (statement). In WJ76MVYAZQ/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Ensemble average K0TV9A1HQB
| URI | m2://inv/K0TV9A1HQB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ensemble (mathematical physics)#0BR0, Ensemble average (unknown)
History
- 2026-11-02: add by m2/dev
Alan B. Tayler K0TX0C0EVP
| URI | m2://inv/K0TX0C0EVP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan B. Tayler, Alan B. Tayler (topic). Also Wikidata Q50975857
History
- 2026-11-02: add by m2/dev
Trusted third party K0TXA5PVJ1
| URI | m2://inv/K0TXA5PVJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trusted third party, Trusted third party (definition). Also Wikidata Q2142273
History
- 2026-11-02: add by m2/dev
K0TZVRJT4F K0TZVRJT4F
| URI | m2://inv/K0TZVRJT4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24523#3TYR (statement)
History
- 2026-11-01: add by m2/v0.6.15
K0VPGJVYH1 K0VPGJVYH1
| URI | m2://inv/K0VPGJVYH1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24374#EHWL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithms for factoring integers K0VPVMGH63
| URI | m2://inv/K0VPVMGH63 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer factorization#0LA2, Algorithms for factoring integers (unknown)
History
- 2026-11-02: add by m2/dev
K0VRCBVGD6 K0VRCBVGD6
| URI | m2://inv/K0VRCBVGD6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19791#IUH6 (statement). In AVDB4KJ6XB/e1, proposition 3.10
History
- 2026-10-28: add by m2/v0.4.2
K0VVYMH843 K0VVYMH843
| URI | m2://inv/K0VVYMH843 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35398#9SR6 (statement). In NAJCCHYXR6/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
K0W1Y42CGD K0W1Y42CGD
| URI | m2://inv/K0W1Y42CGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#HY1S (statement). In NSP90G5XCQ/e1, theorem 4.10
History
- 2026-10-29: add by m2/v0.4.12
Gaussian K0W2720Q4F
| URI | m2://inv/K0W2720Q4F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#YOOI, Gaussian (unknown)
History
- 2026-11-02: add by m2/dev
K0W7WJ0V59 K0W7WJ0V59
| URI | m2://inv/K0W7WJ0V59 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21533#01UP (statement). In N3Z6JFEPCF/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.4.2
413 (number) K0WB2HW312
| URI | m2://inv/K0WB2HW312 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#EEP9, 413 (number) (unknown)
History
- 2026-11-02: add by m2/dev
K0WCV8AWKY K0WCV8AWKY
| URI | m2://inv/K0WCV8AWKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.07352#D73B (statement). In 3VPC1GGZ3E/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
Deborah Hughes Hallett K0WM84W16J
| URI | m2://inv/K0WM84W16J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#76EV, Deborah Hughes Hallett (topic)
History
- 2026-11-02: add by m2/dev
K0WQH7ENCP K0WQH7ENCP
| URI | m2://inv/K0WQH7ENCP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28677#YV3N (example)
History
- 2026-11-01: add by m2/v0.6.15
X3DH K0WRMD3YDM
| URI | m2://inv/K0WRMD3YDM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffie–Hellman key exchange#O8T3, X3DH (unknown)
History
- 2026-11-02: add by m2/dev
Applications K0WSKF088S
| URI | m2://inv/K0WSKF088S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometry processing#LNA2, Applications (example)
History
- 2026-11-02: add by m2/dev
K0WWNGRG32 K0WWNGRG32
| URI | m2://inv/K0WWNGRG32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#XST2 (statement). In EZZSZ1F071/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.0
Pseudorandom permutation K0X0FE24RS
| URI | m2://inv/K0X0FE24RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudorandom permutation, Pseudorandom permutation (definition). Also Wikidata Q7255477
History
- 2026-11-02: add by m2/dev
indecomposable module K0X7JV1481
| URI | m2://inv/K0X7JV1481 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Indecomposable module E2P29GCD9T |
Mentions
- wikidata: Wikidata Q2499534, indecomposable module (unknown). Also MathWorld IndecomposableModule
- wikipedia: Wikipedia Indecomposable module, Indecomposable module (definition). Also Wikidata Q2499534
History
- 2026-10-26: add by m2/dev
Variants K0X8VEJ1YE
| URI | m2://inv/K0X8VEJ1YE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vietoris–Rips filtration#E58I, Variants (statement)
History
- 2026-11-02: add by m2/dev
Examples K0XCFX9N9Y
| URI | m2://inv/K0XCFX9N9Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classifying topos#4CY4, Examples (example)
History
- 2026-11-02: add by m2/dev
K0XD8ADKEE K0XD8ADKEE
| URI | m2://inv/K0XD8ADKEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38014#USB6 (statement). In F3X5W4E0AJ/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
Real-multiplication normalization K0XDTP03D9
| URI | m2://inv/K0XDTP03D9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#ROZ7, Real-multiplication normalization (statement). In VEXM27M8Q1/e1, proposition 6.4
History
- 2026-10-28: add by m2/v0.4.3
K0XKN9XHRT K0XKN9XHRT
| URI | m2://inv/K0XKN9XHRT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21359#FF3T (statement)
History
- 2026-11-02: add by m2/v0.6.18
Albert–Brauer–Hasse–Noether theorem K0XMW5XP7D
| URI | m2://inv/K0XMW5XP7D |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 17-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4712316, Albert–Brauer–Hasse–Noether theorem (statement). Also Wikidata Q4712316
- thousand_plus: thousand_plus Q4712316, Albert–Brauer–Hasse–Noether theorem (statement). Also Wikidata Q4712316, Wikipedia Albert–Brauer–Hasse–Noether theorem
- wikipedia: Wikipedia Albert–Brauer–Hasse–Noether theorem, Albert–Brauer–Hasse–Noether theorem (statement). Also Wikidata Q4712316
History
- 2026-10-26: add by m2/dev
K0XNQH0D7E K0XNQH0D7E
| URI | m2://inv/K0XNQH0D7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#70M2 (statement). In 48QX0QD0XR/e1, theorem 4.10
History
- 2026-10-28: add by m2/v0.4.3
Decidable language K0XQRF70C1
| URI | m2://inv/K0XQRF70C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#488H, Decidable language (definition)
- wikipedia: Wikipedia List of computability and complexity topics#CH2N, Decidable language (definition)
History
- 2026-11-02: add by m2/dev
C. L. Lehmus K0XW88QJED
| URI | m2://inv/K0XW88QJED |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C. L. Lehmus, C. L. Lehmus (topic). Also Wikidata Q71521
History
- 2026-11-02: add by m2/dev
Addition in N K0XXEYSFG4
| URI | m2://inv/K0XXEYSFG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#SFPR, Addition in N (definition)
History
- 2026-11-02: add by m2/dev
Definition K0Y550W8SS
| URI | m2://inv/K0Y550W8SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hill sphere#1LCR, Definition (definition)
History
- 2026-11-02: add by m2/dev
lifting, equivalences K0YB83V8AB
| URI | m2://inv/K0YB83V8AB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.14.1/lifting-equivalences, lifting, equivalences (concept). In N54F33XE07, index, section 1.14.1
History
- 2026-11-01: add by m2/v0.6.13
K0YD5QYX5A K0YD5QYX5A
| URI | m2://inv/K0YD5QYX5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.08839#ZUQ6 (statement). In HJPDS53MX4/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.0
Green–Tao theorem K0YG6QFSKB
| URI | m2://inv/K0YG6QFSKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Green–Tao theorem H8BAHWSEMC |
Mentions
- mathlib_1000: mathlib_1000 Q922012, Green–Tao theorem (statement). Also Wikidata Q922012
- thousand_plus: thousand_plus Q922012, Green–Tao theorem (statement). Also Wikidata Q922012, Wikipedia Green–Tao theorem
- wikidata: Wikidata Q922012, Green–Tao theorem (statement). Also MathWorld Green-TaoTheorem
- wikipedia: Wikipedia Green–Tao theorem, Green–Tao theorem (statement). Also Wikidata Q922012
History
- 2026-10-26: add by m2/dev
type, function K0YMZEZRE8
| URI | m2://inv/K0YMZEZRE8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.2/type-function, type, function (concept). In N54F33XE07, index, section A.2
History
- 2026-11-01: add by m2/v0.6.13
Examples K0YQ9SKX1M
| URI | m2://inv/K0YQ9SKX1M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Book cipher#UH3B, Examples (example)
History
- 2026-11-02: add by m2/dev
Drift of truncated $\Vds$ K0Z1E03S6J
| URI | m2://inv/K0Z1E03S6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38132#0YFI, Drift of truncated $\Vds$ (statement). In K6CP8GP51H/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
One symmetric or skew-symmetric factor K0Z4VGHZQY
| URI | m2://inv/K0Z4VGHZQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08980#3TJ7, One symmetric or skew-symmetric factor (statement). In X407M6WFNR/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
K0Z62VFZ7A K0Z62VFZ7A
| URI | m2://inv/K0Z62VFZ7A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/TasteNumberTheory.tex#cor:a divs n implies a divs n^2 (statement). In P1C114YBXG, corollary, section J
History
- 2026-11-01: add by m2/v0.6.13
K0ZDQMY1EG K0ZDQMY1EG
| URI | m2://inv/K0ZDQMY1EG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40251#JK08 (statement). In 9J7TJYKGYX/e1, corollary 6.2
History
- 2026-10-30: add by m2/v0.4.12
K0ZJCZ0C5V K0ZJCZ0C5V
| URI | m2://inv/K0ZJCZ0C5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18783#3KP1 (statement). In ESJJE4G0R2/e1, theorem Theorem
History
- 2026-10-28: add by m2/v0.4.2
K0ZX29CPPN K0ZX29CPPN
| URI | m2://inv/K0ZX29CPPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | 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)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12169#PP40 (statement). In 645GF9SFWM/e1, lemma 20
History
- 2026-10-28: add by m2/v0.4.2