Inventory rows 76
The cards of the rows of the inventory whose ids start with 76. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Variants 7600HXNG0H
| URI | m2://inv/7600HXNG0H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Authenticated encryption#7TM9, Variants (statement)
History
- 2026-11-02: add by m2/dev
76032YC97R 76032YC97R
| URI | m2://inv/76032YC97R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-11 (exercise). In E59CDZA4DP, exercise, section 9.1.4
History
- 2026-11-01: add by m2/v0.6.13
Rowbottom cardinal 7604PNSTJM
| URI | m2://inv/7604PNSTJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rowbottom cardinal, Rowbottom cardinal (definition). Also Wikidata Q7371845
History
- 2026-11-02: add by m2/dev
7609ZVS177 7609ZVS177
| URI | m2://inv/7609ZVS177 |
|---|---|
| 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.30663#DZ7L (statement). In 3JZDKWS8NK/e1, lemma 8.1
History
- 2026-10-31: add by m2/v0.5.6
special Kähler manifold 760AD6N0Q8
| URI | m2://inv/760AD6N0Q8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q44544091, special Kähler manifold (concept). Also nLab special geometry
History
- 2026-10-26: add by m2/dev
Examples 760AZ7ZMYC
| URI | m2://inv/760AZ7ZMYC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suspension (topology)#D11J, Examples (example)
History
- 2026-11-02: add by m2/dev
Well-Posedness of the Continuous Equations 760GSD8C1Y
| URI | m2://inv/760GSD8C1Y |
|---|---|
| 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 2610.13355#AIP1, Well-Posedness of the Continuous Equations (statement). In QJ1G1HBC6C/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
Dubreil-Jacotin–Long equation 760SJ5KA0R
| URI | m2://inv/760SJ5KA0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dubreil-Jacotin–Long equation, Dubreil-Jacotin–Long equation (definition). Also Wikidata Q140539295
History
- 2026-11-02: add by m2/dev
Convergence under Witt truncation 7619BJPXRY
| URI | m2://inv/7619BJPXRY |
|---|---|
| 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.05652#IMQL, Convergence under Witt truncation (statement). In 8BNPFYQDQX/e1, lemma 3.21
History
- 2026-10-29: add by m2/v0.4.10
nuclear physics 761C8CPH20
| URI | m2://inv/761C8CPH20 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 81V35 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q81197, nuclear physics (topic). Also nLab nuclear physics, ProofWiki Definition:Nuclear_Physics
History
- 2026-10-26: add by m2/dev
761KY6PRM6 761KY6PRM6
| URI | m2://inv/761KY6PRM6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#example-5 (example). In RZP28ERRZV, example, section 80.2
History
- 2026-11-01: add by m2/v0.6.13
Examples 761TQP3Q46
| URI | m2://inv/761TQP3Q46 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near polygon#H0J9, Examples (example)
History
- 2026-11-02: add by m2/dev
Process optimization 761VKMXN6R
| URI | m2://inv/761VKMXN6R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#92OL, Process optimization (unknown)
History
- 2026-11-02: add by m2/dev
derived functor 761W8S0310
| URI | m2://inv/761W8S0310 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Derived functor NPMC3K6J2F |
Mentions
- wikidata: Wikidata Q320245, derived functor (definition). Also MathWorld DerivedFunctor, nLab derived functor, ProofWiki Definition:Right_Derived_Functor
- wikipedia: Wikipedia Derived functor, Derived functor (definition). Also Wikidata Q320245
History
- 2026-10-26: add by m2/dev
Definition 7624B5WVMC
| URI | m2://inv/7624B5WVMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximally matchable edge#EQTR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples 762EQ1SBAR
| URI | m2://inv/762EQ1SBAR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decomposable measure#2B7S, Examples (example)
History
- 2026-11-02: add by m2/dev
762G30XDH7 762G30XDH7
| URI | m2://inv/762G30XDH7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-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.10930#R50I (example). In HX63A1PH1W/e1, example 4.30
History
- 2026-10-28: add by m2/v0.4.3
762SA82XDR 762SA82XDR
| URI | m2://inv/762SA82XDR |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 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 1705.04310#0PYE (problem). In MG51GG0QZN/e1, problem 4.5
History
- 2026-10-27: add by m2/v0.3.5
Definition 762SBGZPZN
| URI | m2://inv/762SBGZPZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#ZKH5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Carl D. Murray 763C0Y1A9Y
| URI | m2://inv/763C0Y1A9Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl D. Murray, Carl D. Murray (topic). Also Wikidata Q92732403
History
- 2026-11-02: add by m2/dev
763F9Y9291 763F9Y9291
| URI | m2://inv/763F9Y9291 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-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 2609.23544#NUU6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gabor Lugosi 763QZ32VN3
| URI | m2://inv/763QZ32VN3 |
|---|---|
| Kind | unknown |
| 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#H1ZX, Gabor Lugosi (unknown)
History
- 2026-11-02: add by m2/dev
Lee Sallows 763SEE848Z
| URI | m2://inv/763SEE848Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VMTL, Lee Sallows (topic)
History
- 2026-11-02: add by m2/dev
Dynamic epistemic logic 763Z82QKXR
| URI | m2://inv/763Z82QKXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic epistemic logic, Dynamic epistemic logic (definition). Also Wikidata Q22907996
History
- 2026-11-02: add by m2/dev
7642CNYB1B 7642CNYB1B
| URI | m2://inv/7642CNYB1B |
|---|---|
| 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#72NG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Single-source shortest-paths algorithms for directed graphs with nonnegative weights 7648Z4Q5CD
| URI | m2://inv/7648Z4Q5CD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shortest path problem#X1IU, Single-source shortest-paths algorithms for directed graphs with nonnegative weights (unknown)
History
- 2026-11-02: add by m2/dev
Ronald J. Gould 7649Y3X0D6
| URI | m2://inv/7649Y3X0D6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0MVL, Ronald J. Gould (topic)
History
- 2026-11-02: add by m2/dev
764FFSJAQ0 764FFSJAQ0
| URI | m2://inv/764FFSJAQ0 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
764GHCQP5P 764GHCQP5P
| URI | m2://inv/764GHCQP5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.02935#I3O0 (statement). In WE2KKAMEFW/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Modular unit 764H5DCK1F
| URI | m2://inv/764H5DCK1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular unit, Modular unit (definition). Also Wikidata Q6889742
History
- 2026-11-02: add by m2/dev
Maximum agreement subtree problem 764PAKS1ZM
| URI | m2://inv/764PAKS1ZM |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum agreement subtree problem, Maximum agreement subtree problem (problem). Also Wikidata Q28404089
History
- 2026-11-02: add by m2/dev
764VP1MHJW 764VP1MHJW
| URI | m2://inv/764VP1MHJW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#example-7 (example). In E59CDZA4DP, example, section 9.2.2
History
- 2026-11-01: add by m2/v0.6.13
Denis Higgs 764VV4KQXN
| URI | m2://inv/764VV4KQXN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denis Higgs, Denis Higgs (topic). Also Wikidata Q5257287
History
- 2026-11-02: add by m2/dev
Removing indispensable coordinates 764XSNRM8A
| URI | m2://inv/764XSNRM8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-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.26269#AYSY, Removing indispensable coordinates (statement)
History
- 2026-11-01: add by m2/v0.6.15
7650KD962J 7650KD962J
| URI | m2://inv/7650KD962J |
|---|---|
| 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.21507#RGRO (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bedtime Math 7654CW4AND
| URI | m2://inv/7654CW4AND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bedtime Math, Bedtime Math (definition). Also Wikidata Q16246168
History
- 2026-11-02: add by m2/dev
Properties of a magic square of squares 765KTNKHWM
| URI | m2://inv/765KTNKHWM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic square of squares#NTF9, Properties of a magic square of squares (statement)
History
- 2026-11-02: add by m2/dev
Thick–thin decomposition 7661RG5FF7
| URI | m2://inv/7661RG5FF7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margulis lemma#103N, Thick–thin decomposition (unknown)
History
- 2026-11-02: add by m2/dev
Polynomial inverse problems 7662BRWVFY
| URI | m2://inv/7662BRWVFY |
|---|---|
| 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.33238#QB3P, Polynomial inverse problems (statement). In MVWXMDFP3P/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
Logical laws 766430YD36
| URI | m2://inv/766430YD36 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law (mathematics)#H6HD, Logical laws (statement)
History
- 2026-11-02: add by m2/dev
766BYPN3XS 766BYPN3XS
| URI | m2://inv/766BYPN3XS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#defn-12 (definition). In E59CDZA4DP, defn, section 11.9.5
History
- 2026-11-01: add by m2/v0.6.13
average velocity 766FQSTXFS
| URI | m2://inv/766FQSTXFS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.1.2/average-velocity, average velocity (concept). In 907G4C4EJ1, index, section 1.1.2
History
- 2026-11-01: add by m2/v0.6.13
Examples 766N82CZKV
| URI | m2://inv/766N82CZKV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive relation#6BFQ, Examples (example)
History
- 2026-11-02: add by m2/dev
766NGHF2FV 766NGHF2FV
| URI | m2://inv/766NGHF2FV |
|---|---|
| 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 2609.19882#LE5J (statement)
History
- 2026-11-02: add by m2/v0.6.18
766T3WE7BB 766T3WE7BB
| URI | m2://inv/766T3WE7BB |
|---|---|
| Kind | definition |
| 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.34311#QT4U (definition). In YYV9SHAPCZ/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Self-referential formula 766TDVPGFP
| URI | m2://inv/766TDVPGFP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof sketch for Gödel's first incompleteness theorem#79K0, Self-referential formula (statement)
History
- 2026-11-02: add by m2/dev
Unique finite partition and quantitative complementarity 766TYXTXW1
| URI | m2://inv/766TYXTXW1 |
|---|---|
| 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.38228#T86F, Unique finite partition and quantitative complementarity (statement). In 9YAE8FNQST/e1, theorem 19.11
History
- 2026-10-30: add by m2/v0.4.12
766XWY24E8 766XWY24E8
| URI | m2://inv/766XWY24E8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.13817#SF8V (statement). In BMSAXTDV47/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
Gromov density model 7676C5CBGQ
| URI | m2://inv/7676C5CBGQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 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.21255#1QP4, Gromov density model (definition)
History
- 2026-11-02: add by m2/v0.6.18
767GYT2546 767GYT2546
| URI | m2://inv/767GYT2546 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-154 (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
767JHKVMM2 767JHKVMM2
| URI | m2://inv/767JHKVMM2 |
|---|---|
| Kind | example |
| 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.23871#XM74 (example)
History
- 2026-11-02: add by m2/v0.6.17
767K8XBH2K 767K8XBH2K
| URI | m2://inv/767K8XBH2K |
|---|---|
| Kind | definition |
| 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.15313#KLRA (definition). In KWKY1CWG1Z/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
$(\infty,1)$-topos 767KPAFYKH
| URI | m2://inv/767KPAFYKH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/infty-1-topos, $(\infty,1)$-topos (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Bouncy Castle 767N2DQ1J3
| URI | m2://inv/767N2DQ1J3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bouncy Castle (cryptography), Bouncy Castle (definition). Also Wikidata Q2090083
History
- 2026-11-02: add by m2/dev
Applications 76888N8KWK
| URI | m2://inv/76888N8KWK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pursuit–evasion#AZ2K, Applications (example)
History
- 2026-11-02: add by m2/dev
Hidden shift problem 768AEK2Y3V
| URI | m2://inv/768AEK2Y3V |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden shift problem, Hidden shift problem (problem). Also Wikidata Q96381001
History
- 2026-11-02: add by m2/dev
Examples 768AQT3K3A
| URI | m2://inv/768AQT3K3A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Module homomorphism#NPBK, Examples (example)
History
- 2026-11-02: add by m2/dev
Langlands dual 768BW656PN
| URI | m2://inv/768BW656PN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6486188, Langlands dual (concept). Also nLab Langlands dual group
- wikipedia: Wikipedia Langlands dual group, Langlands dual group (definition). Also Wikidata Q6486188
History
- 2026-10-26: add by m2/dev
768DXKKG7W 768DXKKG7W
| URI | m2://inv/768DXKKG7W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2609.30310#15ZC (statement). In 31XSBAFMEQ/e1, lemma 7
History
- 2026-10-31: add by m2/v0.5.6
Internal consistency 768SYQQ7S6
| URI | m2://inv/768SYQQ7S6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Internal consistency, Internal consistency (definition). Also Wikidata Q2693233
History
- 2026-11-02: add by m2/dev
768TMP6SRD 768TMP6SRD
| URI | m2://inv/768TMP6SRD |
|---|---|
| Kind | example |
| 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 2405.14678#ODP0 (example). In 9ZSNSJRJ5N/e1, example 36
History
- 2026-10-27: add by m2/v0.4.2
768XDMWSB9 768XDMWSB9
| URI | m2://inv/768XDMWSB9 |
|---|---|
| Kind | example |
| Layer | research |
| 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. |
History
- 2026-10-27: add by m2/v0.3.5
Clifford's theorem on special divisors 7690E1W2X7
| URI | m2://inv/7690E1W2X7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5132840, Clifford's theorem on special divisors (statement). Also Wikidata Q5132840
- thousand_plus: thousand_plus Q5132840, Clifford's theorem on special divisors (statement). Also Wikidata Q5132840, Wikipedia Clifford's theorem on special divisors
- wikipedia: Wikipedia Clifford's theorem on special divisors, Clifford's theorem on special divisors (conjecture). Also Wikidata Q5132840
History
- 2026-10-26: add by m2/dev
7695TA9QAS 7695TA9QAS
| URI | m2://inv/7695TA9QAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#definition-2 (definition). In RZP28ERRZV, definition, section 20.2
History
- 2026-11-01: add by m2/v0.6.13
Ray Turner 769908ZM6A
| URI | m2://inv/769908ZM6A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ray Turner (computer scientist), Ray Turner (topic). Also Wikidata Q7298221
History
- 2026-11-02: add by m2/dev
769K64F44D 769K64F44D
| URI | m2://inv/769K64F44D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#prop:ext-formulas (statement). In PKGMM3P5QY, prop, section 19.6
History
- 2026-11-01: add by m2/v0.6.13
769VNZGJ02 769VNZGJ02
| URI | m2://inv/769VNZGJ02 |
|---|---|
| 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 2507.13548#X92L (definition). In 4NVVK50D1P/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Coralia Cartis 769YH2XCFJ
| URI | m2://inv/769YH2XCFJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coralia Cartis, Coralia Cartis (topic). Also Wikidata Q86857283
History
- 2026-11-02: add by m2/dev
Nigel de Grey 769YPGR4VK
| URI | m2://inv/769YPGR4VK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#PGU0, Nigel de Grey (unknown)
History
- 2026-11-02: add by m2/dev
76A6C02TC4 76A6C02TC4
| URI | m2://inv/76A6C02TC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-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 2610.04694#CMB1 (statement). In W9A0Z2NBMA/e1, lemma 31
History
- 2026-10-29: add by m2/v0.4.12
Ravenel's conjectures 76A7EZA9DZ
| URI | m2://inv/76A7EZA9DZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ravenel's conjectures, Ravenel's conjectures (statement). Also Wikidata Q7296445
History
- 2026-11-02: add by m2/dev
Loewner order 76A9NREDF5
| URI | m2://inv/76A9NREDF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loewner order, Loewner order (definition). Also Wikidata Q25303887
History
- 2026-11-02: add by m2/dev
76ADQM4VXA 76ADQM4VXA
| URI | m2://inv/76ADQM4VXA |
|---|---|
| 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.22040#LWDK (statement). In 2QP93JHYNB/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.4.2
76AE4N75QB 76AE4N75QB
| URI | m2://inv/76AE4N75QB |
|---|---|
| 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.24569#23HX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Muchnik's Theorem 76AGFZ28JT
| URI | m2://inv/76AGFZ28JT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presburger arithmetic#X6QZ, Muchnik's Theorem (statement)
History
- 2026-11-02: add by m2/dev
Alexandr Mishchenko 76AHXQJR2M
| URI | m2://inv/76AHXQJR2M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandr Mishchenko, Alexandr Mishchenko (topic). Also Wikidata Q18559579
History
- 2026-11-02: add by m2/dev
76AQB4J25P 76AQB4J25P
| URI | m2://inv/76AQB4J25P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-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 2610.05146#PRC0 (statement). In 63MJS935N4/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
Sacks property 76B0E1T6B8
| URI | m2://inv/76B0E1T6B8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sacks property, Sacks property (definition). Also Wikidata Q25303736
History
- 2026-11-02: add by m2/dev
76B0FCXPHR 76B0FCXPHR
| URI | m2://inv/76B0FCXPHR |
|---|---|
| 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.28323#8KZF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Constructions 76B2Q180YQ
| URI | m2://inv/76B2Q180YQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffeology#HDNO, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Dodo 76B3KFKTC4
| URI | m2://inv/76B3KFKTC4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#V4LN, Dodo (unknown)
History
- 2026-11-02: add by m2/dev
Xiuxioung Chen 76BF8ZGRGY
| URI | m2://inv/76BF8ZGRGY |
|---|---|
| Kind | unknown |
| 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#AFKI, Xiuxioung Chen (unknown)
History
- 2026-11-02: add by m2/dev
Casimir 76BGYCAAB9
| URI | m2://inv/76BGYCAAB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#I34Z, Casimir (definition)
History
- 2026-11-02: add by m2/dev
76BHGENCV8 76BHGENCV8
| URI | m2://inv/76BHGENCV8 |
|---|---|
| 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#Z3Q5 (statement). In MF0H78XZXC/e1, theorem
History
- 2026-10-28: add by m2/v0.4.3
76BJ185V4D 76BJ185V4D
| URI | m2://inv/76BJ185V4D |
|---|---|
| Kind | definition |
| 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 2609.32174#O0FZ (definition). In GHKR740SG3/e1, definition 12.1
History
- 2026-10-31: add by m2/v0.5.6
List of NP-complete problems 76BJ26VHHF
| URI | m2://inv/76BJ26VHHF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems, List of NP-complete problems (topic). Also Wikidata Q3244933
History
- 2026-11-02: add by m2/dev
Riemannian gradient 76BPMNVSP5
| URI | m2://inv/76BPMNVSP5 |
|---|---|
| Kind | definition |
| 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.32997#LCNK, Riemannian gradient (definition). In N380GY9A9N/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
76BY6NFGWG 76BY6NFGWG
| URI | m2://inv/76BY6NFGWG |
|---|---|
| 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.12683#6NXB (statement). In N5ZFFWV3RX/e1, corollary 5.6
History
- 2026-10-28: add by m2/v0.4.2
Paired difference test 76C2YV3W4G
| URI | m2://inv/76C2YV3W4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paired difference test, Paired difference test (definition). Also Wikidata Q7125133
History
- 2026-11-02: add by m2/dev
Formulation 76C4N0MJNZ
| URI | m2://inv/76C4N0MJNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alspach's conjecture#LHHK, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Upper band 76CJ5677KP
| URI | m2://inv/76CJ5677KP |
|---|---|
| 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.06490#4LRX, Upper band (statement). In NKXTXH59P1/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
\bf Constraints 76CJ66VXV5
| URI | m2://inv/76CJ66VXV5 |
|---|---|
| Kind | problem |
| 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#B005, \bf Constraints (problem). In TT9BA4VMTW/e1, problem 4
History
- 2026-10-29: add by m2/v0.4.12
Limits of the weights 76CMJ5CG9W
| URI | m2://inv/76CMJ5CG9W |
|---|---|
| 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.02531#TIXK, Limits of the weights (statement). In 44EQ0MZE8G/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Seven Bungalows 76CTE8B8ZS
| URI | m2://inv/76CTE8B8ZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#SZBJ, Seven Bungalows (unknown)
History
- 2026-11-02: add by m2/dev
76CVE63PPE 76CVE63PPE
| URI | m2://inv/76CVE63PPE |
|---|---|
| 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.39700#PIH8 (statement). In E7W2HDNEKJ/e1, theorem 9.36
History
- 2026-10-30: add by m2/v0.4.12
Gaussian sample covariance concentration 76CW0DBWT4
| URI | m2://inv/76CW0DBWT4 |
|---|---|
| Kind | statement |
| 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 2610.10640#1TYW, Gaussian sample covariance concentration (statement). In BAQVK6N0RD/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.10
Prewellordering 76CWJD54R7
| URI | m2://inv/76CWJD54R7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prewellordering, Prewellordering (definition). Also Wikidata Q7242444
History
- 2026-11-02: add by m2/dev
Hopcroft–Karp algorithm 76DBHVH57K
| URI | m2://inv/76DBHVH57K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#F96Z, Hopcroft–Karp algorithm (definition)
History
- 2026-11-02: add by m2/dev
Gaussian overlap estimates 76DDHKEK9E
| URI | m2://inv/76DDHKEK9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.14085#B3XF, Gaussian overlap estimates (statement). In T8F19ZGHF3/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Statistical parametric mapping 76DHQ5F732
| URI | m2://inv/76DHQ5F732 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#R386, Statistical parametric mapping (definition)
History
- 2026-11-02: add by m2/dev
76DMBHKEHZ 76DMBHKEHZ
| URI | m2://inv/76DMBHKEHZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-165 (exercise). In VNMV985MXX, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Isosceles triangle theorem 76DTQ6ETWM
| URI | m2://inv/76DTQ6ETWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#0USC, Isosceles triangle theorem (definition)
History
- 2026-11-02: add by m2/dev
Dulmage–Mendelsohn decomposition 76DV9ZYVVQ
| URI | m2://inv/76DV9ZYVVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dulmage–Mendelsohn decomposition, Dulmage–Mendelsohn decomposition (definition). Also Wikidata Q5313464
History
- 2026-11-02: add by m2/dev
Double connections and pivotal elements 76E1TKEA8H
| URI | m2://inv/76E1TKEA8H |
|---|---|
| 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 1905.02785#70G4, Double connections and pivotal elements (definition). In PF9KV74Q02/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
76ECR6SCDM 76ECR6SCDM
| URI | m2://inv/76ECR6SCDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.18016#HAPV (statement). In V5PVKDKGGG/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
76EDXK6215 76EDXK6215
| URI | m2://inv/76EDXK6215 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.03208#FWM3 (statement). In A3CMP0TJK2/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Elias Koutsoupias 76EE31SVP0
| URI | m2://inv/76EE31SVP0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elias Koutsoupias, Elias Koutsoupias (topic). Also Wikidata Q15807802
History
- 2026-11-02: add by m2/dev
Richard K. Guy 76EF29Y10P
| URI | m2://inv/76EF29Y10P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard K. Guy, Richard K. Guy (topic). Also Wikidata Q1356792
History
- 2026-11-02: add by m2/dev
76EZ5VHRR0 76EZ5VHRR0
| URI | m2://inv/76EZ5VHRR0 |
|---|---|
| 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#NKZQ (statement). In 7CK21JGM5A/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.4.2
complete eigenvalue 76F2MR7HH9
| URI | m2://inv/76F2MR7HH9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.7.1/complete-eigenvalue, complete eigenvalue (concept). In E9HS8K3A52, index, section 10.7.1
History
- 2026-11-01: add by m2/v0.6.13
Dual nonnegativity at $\kappa_c$ 76FA7ST6CA
| URI | m2://inv/76FA7ST6CA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 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.09912#VKXL, Dual nonnegativity at $\kappa_c$ (statement). In 65TJENWK7X/e1, proposition 51
History
- 2026-10-29: add by m2/v0.4.10
Robert Ferber 76FCFPCWC2
| URI | m2://inv/76FCFPCWC2 |
|---|---|
| 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#IT92, Robert Ferber (unknown)
History
- 2026-11-02: add by m2/dev
Cf.\ *{Sec.\ 3 76FE6ECD5Q
| URI | m2://inv/76FE6ECD5Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 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.20306#UC5N, Cf.\ *{Sec.\ 3 (definition). In YG5EX49042/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Formal definition 76FJPDJ9R3
| URI | m2://inv/76FJPDJ9R3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bisimulation#IHUH, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
76FZBSNG9K 76FZBSNG9K
| URI | m2://inv/76FZBSNG9K |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang–Mills theory#1C3M (problem)
History
- 2026-11-02: add by m2/dev
De Morgan's Law 76G5PCENYZ
| URI | m2://inv/76G5PCENYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#thm:De Morgan, De Morgan's Law (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
76G5Q2YS2V 76G5Q2YS2V
| URI | m2://inv/76G5Q2YS2V |
|---|---|
| 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 2609.37265#YCRC (statement). In BKYAWEC5XH/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
76GC5AMFBX 76GC5AMFBX
| URI | m2://inv/76GC5AMFBX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/examples.tex#prop-3 (statement). In PKGMM3P5QY, prop, section 3.20
History
- 2026-11-01: add by m2/v0.6.13
Zero sum game 76GP1MQ8RQ
| URI | m2://inv/76GP1MQ8RQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#T2ZT, Zero sum game (definition)
History
- 2026-11-02: add by m2/dev
Higman–Sims group 76GQRYGDCZ
| URI | m2://inv/76GQRYGDCZ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#8CKF, Higman–Sims group (object)
History
- 2026-11-02: add by m2/dev
76GR1SXCZJ 76GR1SXCZJ
| URI | m2://inv/76GR1SXCZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.14267#W7US (statement). In 9YTGFNA004/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Grothendieck's theorem 76GSW17FD1
| URI | m2://inv/76GSW17FD1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schlessinger's theorem#9NIU, Grothendieck's theorem (statement)
History
- 2026-11-02: add by m2/dev
Township 4, Harper County, Kansas 76H0KXV94X
| URI | m2://inv/76H0KXV94X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#7EPY, Township 4, Harper County, Kansas (unknown)
History
- 2026-11-02: add by m2/dev
Dedekind 76H3DRKPFS
| URI | m2://inv/76H3DRKPFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#IUJF, Dedekind (definition)
History
- 2026-11-02: add by m2/dev
76HCCNSYC7 76HCCNSYC7
| URI | m2://inv/76HCCNSYC7 |
|---|---|
| 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.10796#CJ2Q (statement). In 9YDW0QJZ6K/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
76HG59GAKM 76HG59GAKM
| URI | m2://inv/76HG59GAKM |
|---|---|
| Kind | example |
| 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.20190#98IA (example)
History
- 2026-11-02: add by m2/v0.6.18
Approximate free-transport reparametrization 76HPZFZ19K
| URI | m2://inv/76HPZFZ19K |
|---|---|
| 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.28251#BF3C, Approximate free-transport reparametrization (statement)
History
- 2026-11-01: add by m2/v0.6.15
76HR4JG2MB 76HR4JG2MB
| URI | m2://inv/76HR4JG2MB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:hleveln-of-hlevelSn (statement). In N54F33XE07, thm, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
76HW51206J 76HW51206J
| URI | m2://inv/76HW51206J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#prop-1 (statement). In E59CDZA4DP, prop, section 9.1.2
History
- 2026-11-01: add by m2/v0.6.13
76J0FXQNG7 76J0FXQNG7
| URI | m2://inv/76J0FXQNG7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.30067#JKCH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 76J2R362NR
| URI | m2://inv/76J2R362NR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex connectivity#VLIW, Properties (statement)
History
- 2026-11-02: add by m2/dev
A finite sample cannot bound an unknown variance uniformly 76J8NZ7TJ8
| URI | m2://inv/76J8NZ7TJ8 |
|---|---|
| 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#CVLI, A finite sample cannot bound an unknown variance uniformly (statement). In X1FPG0KYBM/e1, proposition H.1
History
- 2026-10-28: add by m2/v0.4.2
ultrapower 76J9Y0E0DB
| URI | m2://inv/76J9Y0E0DB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124222093, ultrapower (unknown). Also MathWorld Ultrapower
History
- 2026-10-26: add by m2/dev
Substitution Operations 76JG2V7810
| URI | m2://inv/76JG2V7810 |
|---|---|
| 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 2610.21131#6VWC, Substitution Operations (definition). In CPYWHRTPKC/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.4.2
Mitchell Landsberg 76JPT3WBCX
| URI | m2://inv/76JPT3WBCX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#I6YH, Mitchell Landsberg (unknown)
History
- 2026-11-02: add by m2/dev
Definition 76JS4EMTZP
| URI | m2://inv/76JS4EMTZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rost invariant#X7AD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Common failure at all nonprincipal boundaries 76JTRHKVBK
| URI | m2://inv/76JTRHKVBK |
|---|---|
| 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#KHPP, Common failure at all nonprincipal boundaries (statement). In 5E9G06XJKC/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
Knuth's up-arrow notation 76JVV7HMGP
| URI | m2://inv/76JVV7HMGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#EG8Z, Knuth's up-arrow notation (definition)
History
- 2026-11-02: add by m2/dev
Proof of $(\exists x)P(x)$ by Contradiction 76JVZ08VQK
| URI | m2://inv/76JVZ08VQK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#skeleton-2, Proof of $(\exists x)P(x)$ by Contradiction (proof). In P1C114YBXG, skeleton, section F
History
- 2026-11-01: add by m2/v0.6.13
pointwise convergence 76JVZ5TXXV
| URI | m2://inv/76JVZ5TXXV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > pointwise convergence, pointwise convergence (unknown). Also Mathlib tendsto_pi_nhds
History
- 2026-10-26: add by m2/dev
group, free 76JYW5Z0N1
| URI | m2://inv/76JYW5Z0N1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/group-free, group, free (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
76K0YF6QYS 76K0YF6QYS
| URI | m2://inv/76K0YF6QYS |
|---|---|
| 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.17518#MCLP (statement). In YA4JEWTVS4/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
Jean Lannes 76K1CJVAR8
| URI | m2://inv/76K1CJVAR8 |
|---|---|
| Kind | unknown |
| 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#94VK, Jean Lannes (unknown)
History
- 2026-11-02: add by m2/dev
76K5WANWT1 76K5WANWT1
| URI | m2://inv/76K5WANWT1 |
|---|---|
| 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.14692#2999 (statement). In NE5EH5FXRV/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.3.5
76K8JNQ9RT 76K8JNQ9RT
| URI | m2://inv/76K8JNQ9RT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.15444#BHUK (statement). In M2X9TEYRPC/e1, corollary 2.13
History
- 2026-10-28: add by m2/v0.4.2
Romanian Mathematical Society 76KCTNYQPE
| URI | m2://inv/76KCTNYQPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Romanian Mathematical Society, Romanian Mathematical Society (definition). Also Wikidata Q127273257
History
- 2026-11-02: add by m2/dev
76KEX5MXHE 76KEX5MXHE
| URI | m2://inv/76KEX5MXHE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#example-2 (example). In E59CDZA4DP, example, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
ex falso quodlibet 76KMK28HK0
| URI | m2://inv/76KMK28HK0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.7/ex-falso-quodlibet, ex falso quodlibet (concept). In N54F33XE07, index, section A.7
History
- 2026-11-01: add by m2/v0.6.13
Two-atom measures 76KNENP9PW
| URI | m2://inv/76KNENP9PW |
|---|---|
| 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.06480#7LIE, Two-atom measures (statement). In 2Y47E704Z9/e1, lemma F.2
History
- 2026-10-29: add by m2/v0.4.10
76KVXZS85B 76KVXZS85B
| URI | m2://inv/76KVXZS85B |
|---|---|
| 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#8WOI (statement). In NSP90G5XCQ/e1, lemma 2.17
History
- 2026-10-29: add by m2/v0.4.12
Algorithms 76METMJM2F
| URI | m2://inv/76METMJM2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L1-norm principal component analysis#HTHF, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
76MQDVVNQW 76MQDVVNQW
| URI | m2://inv/76MQDVVNQW |
|---|---|
| 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.28507#UTGI (statement)
History
- 2026-11-01: add by m2/v0.6.15
predecessor, function, truncated 76MQNXVED5
| URI | m2://inv/76MQNXVED5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.2/predecessor-function-truncated, predecessor, function, truncated (concept). In N54F33XE07, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Ruth Rice Puffer 76MSM0FNEJ
| URI | m2://inv/76MSM0FNEJ |
|---|---|
| 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#A3UQ, Ruth Rice Puffer (unknown)
History
- 2026-11-02: add by m2/dev
Radiation dominated era 76N8J3KKV0
| URI | m2://inv/76N8J3KKV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale factor (cosmology)#8UKI, Radiation dominated era (unknown)
History
- 2026-11-02: add by m2/dev
76N9Y84XWN 76N9Y84XWN
| URI | m2://inv/76N9Y84XWN |
|---|---|
| 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.18803#GZ24 (statement). In VG8AF124T3/e1, theorem 8.2
History
- 2026-10-28: add by m2/v0.4.2
76NBBNM3W6 76NBBNM3W6
| URI | m2://inv/76NBBNM3W6 |
|---|---|
| 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.20097#KURI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mesokurtic 76NF46XEFX
| URI | m2://inv/76NF46XEFX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurtosis#S910, Mesokurtic (unknown)
History
- 2026-11-02: add by m2/dev
Algorithm 76NG4MRXCF
| URI | m2://inv/76NG4MRXCF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ore's theorem#0QJ1, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Peter van Nieuwenhuizen 76NWGDB6D1
| URI | m2://inv/76NWGDB6D1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q364608, Peter van Nieuwenhuizen (unknown). Also nLab Peter van Nieuwenhuizen
History
- 2026-10-26: add by m2/dev
Quantum fingerprinting 76NYRS3SC2
| URI | m2://inv/76NYRS3SC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#TDIS, Quantum fingerprinting (definition)
History
- 2026-11-02: add by m2/dev
proper superset 76NYXS9D64
| URI | m2://inv/76NYXS9D64 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q59489401, proper superset (unknown). Also MathWorld ProperSuperset
History
- 2026-10-26: add by m2/dev
Focal subgroup 76P0X96HHV
| URI | m2://inv/76P0X96HHV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Focal subgroup theorem#LVZP, Focal subgroup (unknown)
History
- 2026-11-02: add by m2/dev
Examples 76P3SVYEPP
| URI | m2://inv/76P3SVYEPP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect ring#K6LZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Forward kinematics 76P4Y9V969
| URI | m2://inv/76P4Y9V969 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forward kinematics, Forward kinematics (definition). Also Wikidata Q1423222
History
- 2026-11-02: add by m2/dev
Properties 76P5XX26ND
| URI | m2://inv/76P5XX26ND |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered algebra#BAFR, Properties (statement)
History
- 2026-11-02: add by m2/dev
Integral of secant cubed 76P6K8EJ4M
| URI | m2://inv/76P6K8EJ4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral of secant cubed, Integral of secant cubed (definition). Also Wikidata Q987236
History
- 2026-11-02: add by m2/dev
Implicit curve 76P8JKPBG6
| URI | m2://inv/76P8JKPBG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicit curve, Implicit curve (definition). Also Wikidata Q19286089
History
- 2026-11-02: add by m2/dev
76P9A02WG1 76P9A02WG1
| URI | m2://inv/76P9A02WG1 |
|---|---|
| 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.36181#X3L3 (statement). In 1KSE33PVS6/e1, lemma 84
History
- 2026-10-30: add by m2/v0.4.12
Entrust 76PE26RFNW
| URI | m2://inv/76PE26RFNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entrust, Entrust (definition). Also Wikidata Q5380812
History
- 2026-11-02: add by m2/dev
76PEQQDQEY 76PEQQDQEY
| URI | m2://inv/76PEQQDQEY |
|---|---|
| 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 2609.29759#SPYW (statement)
History
- 2026-11-01: add by m2/v0.6.15
76PRHSN83J 76PRHSN83J
| URI | m2://inv/76PRHSN83J |
|---|---|
| Kind | problem |
| 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 2609.25289#UN7L (problem)
History
- 2026-11-01: add by m2/v0.6.15
Linear convergence of inexact PMD under LFA 76QA6BT1NV
| URI | m2://inv/76QA6BT1NV |
|---|---|
| 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.04117#XDH4, Linear convergence of inexact PMD under LFA (statement). In 65E9N3DFYP/e1, theorem D.1
History
- 2026-10-29: add by m2/v0.4.12
Direct-sum criterion 76QF5K28RM
| URI | m2://inv/76QF5K28RM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-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 2610.06739#HMBR, Direct-sum criterion (statement). In HA9B7PD0YV/e1, corollary 21
History
- 2026-10-29: add by m2/v0.4.10
Interpolation error: Lagrange remainder formula 76QF8D6PJA
| URI | m2://inv/76QF8D6PJA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial interpolation#FFYK, Interpolation error: Lagrange remainder formula (statement)
History
- 2026-11-02: add by m2/dev
76QPYV93XZ 76QPYV93XZ
| URI | m2://inv/76QPYV93XZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-8 (proof). In E59CDZA4DP, proof, section 1.3.5
History
- 2026-11-01: add by m2/v0.6.13
76QX2Z1FPZ 76QX2Z1FPZ
| URI | m2://inv/76QX2Z1FPZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21892#T592 (statement)
History
- 2026-11-02: add by m2/v0.6.17
topological 76QZKT5FRK
| URI | m2://inv/76QZKT5FRK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#A5KC, topological (definition)
History
- 2026-11-02: add by m2/dev
Leila Bram 76R6AB8A4M
| URI | m2://inv/76R6AB8A4M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leila Bram, Leila Bram (topic). Also Wikidata Q94772839
History
- 2026-11-02: add by m2/dev
James Gimzewski 76RBE6H1CJ
| URI | m2://inv/76RBE6H1CJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#D90X, James Gimzewski (unknown)
History
- 2026-11-02: add by m2/dev
76RFVBZ49N 76RFVBZ49N
| URI | m2://inv/76RFVBZ49N |
|---|---|
| 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.15352#NOY7 (statement). In R39P7AFXM8/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
76S3TJ0FHX 76S3TJ0FHX
| URI | m2://inv/76S3TJ0FHX |
|---|---|
| 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 1002.0879#FPO0 (statement). In M0SQY5EZN5/e1, theorem 5.2.1
History
- 2026-10-27: add by m2/v0.3.5
nonlinear functional analysis 76SB6HP45P
| URI | m2://inv/76SB6HP45P |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 46Txx, 47J05 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7049475, nonlinear functional analysis (topic)
- wikipedia: Wikipedia Nonlinear functional analysis, Nonlinear functional analysis (definition). Also Wikidata Q7049475
History
- 2026-10-26: add by m2/dev
Goldbach's weak conjecture 76SQQW3KX3
| URI | m2://inv/76SQQW3KX3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldbach's weak conjecture#N28G, Goldbach's weak conjecture (statement)
History
- 2026-11-02: add by m2/dev
Results 76SS0MTV6G
| URI | m2://inv/76SS0MTV6G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah conjecture#A5JL, Results (statement)
History
- 2026-11-02: add by m2/dev
76T5G9M12T 76T5G9M12T
| URI | m2://inv/76T5G9M12T |
|---|---|
| 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 2610.11336#I5FH (statement). In X1R1GDAJ0Y/e1, corollary 2.17
History
- 2026-10-28: add by m2/v0.4.3
conditional logic 76TCKDM9BF
| URI | m2://inv/76TCKDM9BF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#WM8C, conditional logic (definition)
History
- 2026-11-02: add by m2/dev
Stress majorization 76TQ76BXDZ
| URI | m2://inv/76TQ76BXDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7240, Stress majorization (definition)
- wikipedia: Wikipedia List of numerical analysis topics#33QG, Stress majorization (definition)
History
- 2026-11-02: add by m2/dev
rectangle vertices to the entire rectangle 76TS11VC3J
| URI | m2://inv/76TS11VC3J |
|---|---|
| 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.35325#5JKS, rectangle vertices to the entire rectangle (statement). In GHT5WXFA4E/e1, lemma 5.9
History
- 2026-10-30: add by m2/v0.4.12
c.f. 76TVDHFM6K
| URI | m2://inv/76TVDHFM6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 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 2609.28514#7KQC, c.f. (statement)
History
- 2026-11-01: add by m2/v0.6.15
76V3CEEA8P 76V3CEEA8P
| URI | m2://inv/76V3CEEA8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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.14044#0ZX7 (statement). In 5452SJRWDT/e1, corollary 1.5
History
- 2026-10-28: add by m2/v0.4.2
76V6E67W8K 76V6E67W8K
| URI | m2://inv/76V6E67W8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-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.07695#QXO9 (statement). In 8Z47D12KSX/e1, proposition 10.9
History
- 2026-10-29: add by m2/v0.4.10
Numerical analysis 76V9SZDZ3V
| URI | m2://inv/76V9SZDZ3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#TC0Z, Numerical analysis (definition)
History
- 2026-11-02: add by m2/dev
Structural and trace equivalence 76VD97NSZC
| URI | m2://inv/76VD97NSZC |
|---|---|
| Kind | definition |
| 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 2609.20478#VOVC, Structural and trace equivalence (definition)
History
- 2026-11-02: add by m2/v0.6.18
Giuseppe Veronese 76VEK3NB7S
| URI | m2://inv/76VEK3NB7S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#CWV5, Giuseppe Veronese (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0T2X, Giuseppe Veronese (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S0NR, Giuseppe Veronese (topic)
History
- 2026-11-02: add by m2/dev
coarse structure 76VKJZ1VE5
| URI | m2://inv/76VKJZ1VE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4502433, coarse structure (unknown). Also nLab coarse structure
- wikipedia: Wikipedia Coarse structure, Coarse structure (definition). Also Wikidata Q4502433
History
- 2026-10-26: add by m2/dev
76VM2SV3NZ 76VM2SV3NZ
| URI | m2://inv/76VM2SV3NZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-6-2-volume.xml#Ex-6-2-Washers (example). In 907G4C4EJ1, example, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
76VS2QCBKQ 76VS2QCBKQ
| URI | m2://inv/76VS2QCBKQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10828#2YNR (statement). In 8PTDFHV8SQ/e1, lemma 14.7
History
- 2026-10-28: add by m2/v0.4.3
Sufficient Conditions for Global Minimizer of $\varphi(n)$ 76VV554C3H
| URI | m2://inv/76VV554C3H |
|---|---|
| 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.37489#NF19, Sufficient Conditions for Global Minimizer of $\varphi(n)$ (statement). In 5ZC91T5PHQ/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
76W4RHA6ZM 76W4RHA6ZM
| URI | m2://inv/76W4RHA6ZM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-38 (exercise). In VNMV985MXX, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Application 76WBBJ5VYY
| URI | m2://inv/76WBBJ5VYY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Low basis theorem#VSDY, Application (example)
History
- 2026-11-02: add by m2/dev
Complex fractions 76WQ2YA3MT
| URI | m2://inv/76WQ2YA3MT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fraction#AFY9, Complex fractions (unknown)
History
- 2026-11-02: add by m2/dev
76WZZ469YZ 76WZZ469YZ
| URI | m2://inv/76WZZ469YZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.24593#ER60 (statement)
History
- 2026-11-01: add by m2/v0.6.15
76X0MW4M48 76X0MW4M48
| URI | m2://inv/76X0MW4M48 |
|---|---|
| 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.19251#4IGV (statement). In CSW6NG0FRN/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
76X4R6R7E2 76X4R6R7E2
| URI | m2://inv/76X4R6R7E2 |
|---|---|
| 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.35460#067L (statement). In R515NECVME/e1, corollary 5.3
History
- 2026-10-30: add by m2/v0.4.12
76X4ZHJD8V 76X4ZHJD8V
| URI | m2://inv/76X4ZHJD8V |
|---|---|
| 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.02166#0N0I (statement). In R6RF3P6D5A/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
A certified estimator 76X6CW0JZ6
| URI | m2://inv/76X6CW0JZ6 |
|---|---|
| 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 2609.34918#FLFE, A certified estimator (statement). In B3MNVE9149/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Apolarity Lemma 76XCG0ABDB
| URI | m2://inv/76XCG0ABDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.21544#3JXE, Apolarity Lemma (statement). In 5FMMWKNYWW/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
76XHK93H3K 76XHK93H3K
| URI | m2://inv/76XHK93H3K |
|---|---|
| Kind | definition |
| 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 2110.08714#5E0H (definition). In A3RAXBSWA5/e1, definition 3.13
History
- 2026-10-27: add by m2/v0.3.5
quiver 76XNY8A29F
| URI | m2://inv/76XNY8A29F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Quiver RE9YFFS3TS |
Mentions
- wikidata: Wikidata Q493980, quiver (unknown). Also EoM Quiver, nLab quiver
- wikipedia: Wikipedia Quiver (mathematics), Quiver (definition). Also Wikidata Q493980
History
- 2026-10-26: add by m2/dev
Radical of an ideal 76XRPX3ZEE
| URI | m2://inv/76XRPX3ZEE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#IANE, Radical of an ideal (definition)
History
- 2026-11-02: add by m2/dev
Modern statement of the law 76XZYMEMYM
| URI | m2://inv/76XZYMEMYM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of mass action#M6AJ, Modern statement of the law (statement)
History
- 2026-11-02: add by m2/dev
76Y3CFJCXS 76Y3CFJCXS
| URI | m2://inv/76Y3CFJCXS |
|---|---|
| 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.16746#U65X (statement). In M00TA3JJM6/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
76YC18BNSV 76YC18BNSV
| URI | m2://inv/76YC18BNSV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#prop:formed (statement). In PKGMM3P5QY, prop, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
Waleed Al-Salam 76YGGER45H
| URI | m2://inv/76YGGER45H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Waleed Al-Salam, Waleed Al-Salam (topic). Also Wikidata Q7961680
History
- 2026-11-02: add by m2/dev
Analogy with the Seifert–van Kampen theorem 76YGPA271V
| URI | m2://inv/76YGPA271V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mayer–Vietoris sequence#KHMM, Analogy with the Seifert–van Kampen theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples 76YHJENN6Z
| URI | m2://inv/76YHJENN6Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to emotion#PWIP, Examples (example)
History
- 2026-11-02: add by m2/dev
76YJ43H4VM 76YJ43H4VM
| URI | m2://inv/76YJ43H4VM |
|---|---|
| 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#SCI6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
76YK5S0CCN 76YK5S0CCN
| URI | m2://inv/76YK5S0CCN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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.35605#BP30 (statement). In X1KWTAA3M2/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Definition 76YP6925A7
| URI | m2://inv/76YP6925A7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurable space#BV5C, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples 76YSXCN8GV
| URI | m2://inv/76YSXCN8GV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Info-metrics#0EVG, Examples (example)
History
- 2026-11-02: add by m2/dev
Approximate formulas for thresholds of Archimedean lattices 76YTF7BP8M
| URI | m2://inv/76YTF7BP8M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Percolation threshold#GULL, Approximate formulas for thresholds of Archimedean lattices (statement)
History
- 2026-11-02: add by m2/dev
Bernstein's constant 76YY18D5MZ
| URI | m2://inv/76YY18D5MZ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2782386, Bernstein's constant (object). Also MathWorld BernsteinsConstant, OEIS A073001
- wikipedia: Wikipedia Bernstein's constant, Bernstein's constant (object). Also Wikidata Q2782386
History
- 2026-10-26: add by m2/dev
Σ2-formulas and concepts 76Z3X0T973
| URI | m2://inv/76Z3X0T973 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy hierarchy#PAVN, Σ2-formulas and concepts (statement)
History
- 2026-11-02: add by m2/dev
76Z6PBZ3P0 76Z6PBZ3P0
| URI | m2://inv/76Z6PBZ3P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 2308.05066#PRC7 (statement). In 1QSCT53ZED/e1, corollary 7.13
History
- 2026-10-27: add by m2/v0.4.0
robust statistics 76Z7AD7XHQ
| URI | m2://inv/76Z7AD7XHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#OW0X, robust statistics (definition)
History
- 2026-11-02: add by m2/dev
Aravind Asok 76Z9DQ635T
| URI | m2://inv/76Z9DQ635T |
|---|---|
| Kind | unknown |
| 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#Z7XL, Aravind Asok (unknown)
History
- 2026-11-02: add by m2/dev
Rajeev Alur 76ZB1FS8R5
| URI | m2://inv/76ZB1FS8R5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2MN7, Rajeev Alur (unknown)
History
- 2026-11-02: add by m2/dev
76ZC0XTCVC 76ZC0XTCVC
| URI | m2://inv/76ZC0XTCVC |
|---|---|
| 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.17240#03K1 (statement). In 59BZ4V9RQW/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Second College Grant, New Hampshire 76ZCH1VRXK
| URI | m2://inv/76ZCH1VRXK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WF3O, Second College Grant, New Hampshire (unknown)
History
- 2026-11-02: add by m2/dev
Decimal exponential notation 76ZE67JCV4
| URI | m2://inv/76ZE67JCV4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific notation#M3EZ, Decimal exponential notation (unknown)
History
- 2026-11-02: add by m2/dev
76ZHYBNJYT 76ZHYBNJYT
| URI | m2://inv/76ZHYBNJYT |
|---|---|
| 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.32977#RPGT (statement). In 4KT9TK3MG4/e1, lemma D.5
History
- 2026-10-31: add by m2/v0.5.6
Cylindrical definable cell decomposition 76ZKK32TN7
| URI | m2://inv/76ZKK32TN7 |
|---|---|
| Kind | definition |
| 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.03126#QIZQ, Cylindrical definable cell decomposition (definition). In ZJ6VQCRDVR/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
76ZMH6BZ0V 76ZMH6BZ0V
| URI | m2://inv/76ZMH6BZ0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2411.16022#8838 (statement). In QG9ATXTKJ6/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Canonical dyadic decomposition of a prefix 76ZQ3MFYY3
| URI | m2://inv/76ZQ3MFYY3 |
|---|---|
| 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.21033#8OU6, Canonical dyadic decomposition of a prefix (statement). In A8C1M9BSWH/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
Tanaka's formula 76ZQPA3C9V
| URI | m2://inv/76ZQPA3C9V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local time (mathematics)#788F, Tanaka's formula (statement)
History
- 2026-11-02: add by m2/dev
Constraint-basis implementation 76ZTGMJEVM
| URI | m2://inv/76ZTGMJEVM |
|---|---|
| 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 2609.25987#KDQC, Constraint-basis implementation (statement)
History
- 2026-11-01: add by m2/v0.6.15