Inventory rows NC
The cards of the rows of the inventory whose ids start with NC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Displacement estimates NC0369Q4HV
| URI | m2://inv/NC0369Q4HV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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 2610.06308#AVNA, Displacement estimates (statement). In HTWSDDAWGS/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
NC085KQTNG NC085KQTNG
| URI | m2://inv/NC085KQTNG |
|---|---|
| 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.22374#012G (statement)
History
- 2026-11-02: add by m2/v0.6.17
NC0AAB280M NC0AAB280M
| URI | m2://inv/NC0AAB280M |
|---|---|
| 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.26896#N5MQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Simultaneous norm-character coefficients NC122B935Q
| URI | m2://inv/NC122B935Q |
|---|---|
| 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#H1IR, Simultaneous norm-character coefficients (statement). In 7NS75J7HAM/e1, lemma 9.23
History
- 2026-10-31: add by m2/v0.5.6
NC12SNJB0D NC12SNJB0D
| URI | m2://inv/NC12SNJB0D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#example-3 (example). In P1C114YBXG, example, section F
History
- 2026-11-01: add by m2/v0.6.13
Discrete logarithm NC14YY9XR8
| URI | m2://inv/NC14YY9XR8 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#OF1Q, Discrete logarithm (conjecture)
History
- 2026-11-02: add by m2/dev
NC19K1Q6KT NC19K1Q6KT
| URI | m2://inv/NC19K1Q6KT |
|---|---|
| Kind | definition |
| 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.16731#TRYN (definition). In D68KBZQ4Q6/e1, definition 3.6
History
- 2026-10-28: add by m2/v0.4.2
NC1FHCRP9G NC1FHCRP9G
| URI | m2://inv/NC1FHCRP9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2602.15812#4QO7 (statement). In GAAZD3SGPN/e1, proposition
History
- 2026-10-27: add by m2/v0.3.5
Uniqueness under noise NC1KF17114
| URI | m2://inv/NC1KF17114 |
|---|---|
| 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.00571#JU4U, Uniqueness under noise (statement). In W50NNC2MJS/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
NC1N6QCWFX NC1N6QCWFX
| URI | m2://inv/NC1N6QCWFX |
|---|---|
| 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.31173#GWJI (statement). In ZZSJGJXPXY/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
NC1Q83HN3Z NC1Q83HN3Z
| URI | m2://inv/NC1Q83HN3Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-4 (exercise). In E9HS8K3A52, exercise, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
Applications NC1QA56WSW
| URI | m2://inv/NC1QA56WSW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy fiber#IGQZ, Applications (example)
History
- 2026-11-02: add by m2/dev
List of video game publishers NC1WCGQ0TZ
| URI | m2://inv/NC1WCGQ0TZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of video game publishers, List of video game publishers (topic). Also Wikidata Q1053990
History
- 2026-11-02: add by m2/dev
NC1WWTM75Y NC1WWTM75Y
| URI | m2://inv/NC1WWTM75Y |
|---|---|
| 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.39455#IL1N (statement). In HW4Y4TMEZ3/e1, theorem 6.8
History
- 2026-10-30: add by m2/v0.4.12
Median follow-up NC23ES5SYD
| URI | m2://inv/NC23ES5SYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median follow-up, Median follow-up (definition). Also Wikidata Q17093208
History
- 2026-11-02: add by m2/dev
NC26H78H2G NC26H78H2G
| URI | m2://inv/NC26H78H2G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-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.26058#9XRA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ulam's packing conjecture NC2AB15CEJ
| URI | m2://inv/NC2AB15CEJ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulam's packing conjecture, Ulam's packing conjecture (conjecture). Also Wikidata Q18356153
History
- 2026-11-02: add by m2/dev
IP set NC2AEYB38R
| URI | m2://inv/NC2AEYB38R |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1566341, Hindman's theorem (statement). Also Mathlib Hindman.FP_partition_regular, Wikidata Q1566341
- thousand_plus: thousand_plus Q1566341, Hindman's theorem (statement). Also Mathlib Hindman.FP_partition_regular, Wikidata Q1566341, Wikipedia Hindman's theorem
- wikipedia: Wikipedia IP set, IP set (definition). Also Wikidata Q1566341
History
- 2026-10-26: add by m2/dev
domain theory NC2E3FZP9V
| URI | m2://inv/NC2E3FZP9V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Domain theory Q2P5D74Q1V |
Mentions
- wikidata: Wikidata Q1079166, domain theory (unknown). Also nLab domain theory
- wikipedia: Wikipedia Domain theory, Domain theory (topic). Also Wikidata Q1079166
History
- 2026-10-26: add by m2/dev
Kumiko Nishioka NC2E3R32N6
| URI | m2://inv/NC2E3R32N6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kumiko Nishioka, Kumiko Nishioka (topic). Also Wikidata Q22119836
History
- 2026-11-02: add by m2/dev
NC2E9FFGYB NC2E9FFGYB
| URI | m2://inv/NC2E9FFGYB |
|---|---|
| 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 math/0003117#MI1J (statement). In WD2NCBV9F0/e1, proposition 7.11
History
- 2026-10-27: add by m2/v0.3.5
NC2ZF388TR NC2ZF388TR
| URI | m2://inv/NC2ZF388TR |
|---|---|
| Kind | definition |
| 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.14217#196O (definition). In K0DHYQC5B7/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Diener-West, Marie NC37K8079M
| URI | m2://inv/NC37K8079M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#RYFU, Diener-West, Marie (unknown)
History
- 2026-11-02: add by m2/dev
Denmark NC39F9WJYB
| URI | m2://inv/NC39F9WJYB |
|---|---|
| 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 Q35, Denmark (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Denmark
History
- 2026-10-26: add by m2/dev
automorphism NC3A3MRTHH
| URI | m2://inv/NC3A3MRTHH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#16R6, automorphism (definition)
History
- 2026-11-02: add by m2/dev
basis vector NC3A4VBQ8S
| URI | m2://inv/NC3A4VBQ8S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56320001, basis vector (unknown). Also MathWorld BasisVector
History
- 2026-10-26: add by m2/dev
Complete graphs NC3ABJRG64
| URI | m2://inv/NC3ABJRG64 |
|---|---|
| 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.31535#C9JS, Complete graphs (statement). In BAWCMJQGVA/e1, proposition 7.1
History
- 2026-10-31: add by m2/v0.5.6
NC3BJ1YQHV NC3BJ1YQHV
| URI | m2://inv/NC3BJ1YQHV |
|---|---|
| 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.10795#1GIX (statement). In RXPSC74YPT/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.3
Hampshire College Summer Studies in Mathematics NC3CR4EB6F
| URI | m2://inv/NC3CR4EB6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hampshire College Summer Studies in Mathematics, Hampshire College Summer Studies in Mathematics (definition). Also Wikidata Q5646037
History
- 2026-11-02: add by m2/dev
NC3FGJZCNB NC3FGJZCNB
| URI | m2://inv/NC3FGJZCNB |
|---|---|
| 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 2403.01959#7ATM (statement). In 5YMNGJRC6Y/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
NC3FR48TBZ NC3FR48TBZ
| URI | m2://inv/NC3FR48TBZ |
|---|---|
| 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 2609.33469#Q03D (statement). In TC5QA4AB4Z/e1, proposition 3.7
History
- 2026-10-30: add by m2/v0.4.12
Example of Petrick's method NC3K06JG3F
| URI | m2://inv/NC3K06JG3F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petrick's method#0B90, Example of Petrick's method (example)
History
- 2026-11-02: add by m2/dev
NC3P4F4BD9 NC3P4F4BD9
| URI | m2://inv/NC3P4F4BD9 |
|---|---|
| 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 2403.16840#BG3J (statement). In K4CZQDD0G7/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Jarrow–Turnbull model NC3SSKP079
| URI | m2://inv/NC3SSKP079 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jarrow–Turnbull model, Jarrow–Turnbull model (definition). Also Wikidata Q6161129
History
- 2026-11-02: add by m2/dev
Example NC3XC3FTBX
| URI | m2://inv/NC3XC3FTBX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparability#N6RR, Example (example)
History
- 2026-11-02: add by m2/dev
Construction NC407W3VS3
| URI | m2://inv/NC407W3VS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter graph#I3H8, Construction (definition)
History
- 2026-11-02: add by m2/dev
Closed Graph Theorem NC42MRPVKF
| URI | m2://inv/NC42MRPVKF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem (functional analysis)#SPTV, Closed Graph Theorem (statement)
History
- 2026-11-02: add by m2/dev
NC43GZJ5XS NC43GZJ5XS
| URI | m2://inv/NC43GZJ5XS |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28893#BCWK (unknown)
History
- 2026-11-01: add by m2/v0.6.15
The arithmetical hierarchy of formulas NC46MJEYMX
| URI | m2://inv/NC46MJEYMX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetical hierarchy#RB5U, The arithmetical hierarchy of formulas (statement)
History
- 2026-11-02: add by m2/dev
NC47PR495T NC47PR495T
| URI | m2://inv/NC47PR495T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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 2610.11545#NB19 (statement). In VN084GGZGK/e1, lemma 4.17
History
- 2026-10-28: add by m2/v0.4.3
NC4J2M9Y07 NC4J2M9Y07
| URI | m2://inv/NC4J2M9Y07 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#example-6 (example). In RZP28ERRZV, example, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
NC4SAA19HW NC4SAA19HW
| URI | m2://inv/NC4SAA19HW |
|---|---|
| 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.36877#G59M (statement). In FYS6VV5M99/e1, corollary 1.8
History
- 2026-10-30: add by m2/v0.4.12
Normal form theorem NC4SGKS1V9
| URI | m2://inv/NC4SGKS1V9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General recursive function#MVSN, Normal form theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition NC4T0PMC1T
| URI | m2://inv/NC4T0PMC1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergent matrix#4XH6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Gerd Faltings NC4Z9V00HJ
| URI | m2://inv/NC4Z9V00HJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EXNW, Gerd Faltings (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6MYA, Gerd Faltings (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H101, Gerd Faltings (topic)
History
- 2026-11-02: add by m2/dev
Frucht's theorem NC53Z4JNMP
| URI | m2://inv/NC53Z4JNMP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1424481, Frucht's theorem (statement). Also Wikidata Q1424481
- thousand_plus: thousand_plus Q1424481, Frucht's theorem (statement). Also Wikidata Q1424481, Wikipedia Frucht's theorem
- wikidata: Wikidata Q1424481, Frucht's theorem (statement). Also MathWorld FruchtsTheorem
- wikipedia: Wikipedia Frucht's theorem, Frucht's theorem (statement). Also Wikidata Q1424481
History
- 2026-10-26: add by m2/dev
NC5A6PWKAK NC5A6PWKAK
| URI | m2://inv/NC5A6PWKAK |
|---|---|
| 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.12165#7V9M (statement). In 3JSE8A9CFH/e1, corollary C
History
- 2026-10-28: add by m2/v0.4.2
NC5H8B1GQJ NC5H8B1GQJ
| URI | m2://inv/NC5H8B1GQJ |
|---|---|
| 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 2507.17002#AU0H (statement). In 2EEBP88T16/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Regularization NC5R443CFB
| URI | m2://inv/NC5R443CFB |
|---|---|
| Kind | definition |
| 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.32710#V72M, Regularization (definition). In KVYG6R7CGJ/e1, definition 5.2
History
- 2026-10-31: add by m2/v0.5.6
trivial equivalence NC62QD60VW
| URI | m2://inv/NC62QD60VW |
|---|---|
| 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.12484#581Y, trivial equivalence (definition). In GW23NX78SB/e1, definition 3.6
History
- 2026-10-28: add by m2/v0.4.2
Kripke weakening NC6C249PBB
| URI | m2://inv/NC6C249PBB |
|---|---|
| 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#MJGG, Kripke weakening (definition). In CPYWHRTPKC/e1, definition 7.1
History
- 2026-10-27: add by m2/v0.4.2
definiendum NC6C9FVKXB
| URI | m2://inv/NC6C9FVKXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#58KJ, definiendum (definition)
History
- 2026-11-02: add by m2/dev
Construction NC6P2DX55C
| URI | m2://inv/NC6P2DX55C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra extension#46F3, Construction (definition)
History
- 2026-11-02: add by m2/dev
Sanford C. Sigoloff NC6Y22J8VN
| URI | m2://inv/NC6Y22J8VN |
|---|---|
| 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#Y64M, Sanford C. Sigoloff (unknown)
History
- 2026-11-02: add by m2/dev
NC6ZWVE3QW NC6ZWVE3QW
| URI | m2://inv/NC6ZWVE3QW |
|---|---|
| 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.32599#Y13S (statement). In E1Y93JNBJA/e1, proposition 4.14
History
- 2026-10-31: add by m2/v0.5.6
path, $n$- NC72H3TX7K
| URI | m2://inv/NC72H3TX7K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.13/path-n, path, $n$- (concept). In N54F33XE07, index, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
Weyl eigenvalue stability NC76G5JYFE
| URI | m2://inv/NC76G5JYFE |
|---|---|
| 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#7J7H, Weyl eigenvalue stability (statement). In BAQVK6N0RD/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.10
NC79PZJW4X NC79PZJW4X
| URI | m2://inv/NC79PZJW4X |
|---|---|
| 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 2208.14274#SPTJ (statement). In 2FKE7JPQ76/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
Christof Paar NC7AAD4WSS
| URI | m2://inv/NC7AAD4WSS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christof Paar, Christof Paar (topic). Also Wikidata Q61990356
History
- 2026-11-02: add by m2/dev
cissoid NC7EXC7YEY
| URI | m2://inv/NC7EXC7YEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#2ZDU, cissoid (definition)
History
- 2026-11-02: add by m2/dev
Pointwise reciprocal-Gamma limit, Dominici NC7QYTKAE0
| URI | m2://inv/NC7QYTKAE0 |
|---|---|
| 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.25060#JPF3, Pointwise reciprocal-Gamma limit, Dominici (statement)
History
- 2026-11-01: add by m2/v0.6.15
Katrin Tent NC7SN21SPD
| URI | m2://inv/NC7SN21SPD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Katrin Tent, Katrin Tent (topic). Also Wikidata Q21264209
History
- 2026-11-02: add by m2/dev
Inconsistent mathematics NC7SW9A57S
| URI | m2://inv/NC7SW9A57S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#I58W, Inconsistent mathematics (definition)
History
- 2026-11-02: add by m2/dev
a posteriori estimate for nonconformity error NC7T6SWRWJ
| URI | m2://inv/NC7T6SWRWJ |
|---|---|
| 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 2602.14912#QM07, a posteriori estimate for nonconformity error (statement). In A87BVH5DCM/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Properties NC7VP418Z6
| URI | m2://inv/NC7VP418Z6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetrization methods#UMTY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Alison Etheridge NC7ZZS8MNN
| URI | m2://inv/NC7ZZS8MNN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#8TY6, Alison Etheridge (topic)
History
- 2026-11-02: add by m2/dev
Trinity Mirror NC80APZS3H
| URI | m2://inv/NC80APZS3H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#JD74, Trinity Mirror (unknown)
History
- 2026-11-02: add by m2/dev
No wrap-around NC83GVVV24
| URI | m2://inv/NC83GVVV24 |
|---|---|
| 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.32140#EURT, No wrap-around (statement). In 96Z8GEEFH4/e1, lemma 8.4
History
- 2026-10-31: add by m2/v0.5.6
NC885VKHGK NC885VKHGK
| URI | m2://inv/NC885VKHGK |
|---|---|
| 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#Y0DY (statement). In Q5Z178SAHP/e1, lemma 8.2
History
- 2026-10-30: add by m2/v0.4.12
Applications NC88YATY3H
| URI | m2://inv/NC88YATY3H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable imaging#7R7P, Applications (example)
History
- 2026-11-02: add by m2/dev
NC8EDN57M2 NC8EDN57M2
| URI | m2://inv/NC8EDN57M2 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 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.03730#4C4W (conjecture). In 5YE2W9BE0M/e1, conjecture 1
History
- 2026-10-29: add by m2/v0.4.12
NC8EPZWHQ6 NC8EPZWHQ6
| URI | m2://inv/NC8EPZWHQ6 |
|---|---|
| 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.22764#DWP8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
NC8JKJ9ZX2 NC8JKJ9ZX2
| URI | m2://inv/NC8JKJ9ZX2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-67 (exercise). In E9HS8K3A52, exercise, section 4.4.1
History
- 2026-11-01: add by m2/v0.6.13
NC8Q31GAP3 NC8Q31GAP3
| URI | m2://inv/NC8Q31GAP3 |
|---|---|
| Kind | definition |
| 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.05193#7N75 (definition). In XDMM0KNNZ9/e1, definition 48
History
- 2026-10-29: add by m2/v0.4.10
NC8X8F160N NC8X8F160N
| URI | m2://inv/NC8X8F160N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#BYLZ (statement). In PA6JQDSKQT/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
NC90D0AHKH NC90D0AHKH
| URI | m2://inv/NC90D0AHKH |
|---|---|
| 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.01267#34HW (statement). In GWWHP6R0BZ/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
NC911CS7ZF NC911CS7ZF
| URI | m2://inv/NC911CS7ZF |
|---|---|
| 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.25457#5U2S (statement)
History
- 2026-11-01: add by m2/v0.6.15
NC9449HRK0 NC9449HRK0
| URI | m2://inv/NC9449HRK0 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Woodall number#WSME (problem)
History
- 2026-11-02: add by m2/dev
NC9BZZ5X6V NC9BZZ5X6V
| URI | m2://inv/NC9BZZ5X6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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 2204.00813#9AEE (statement). In ADKTJTBR9Z/e1, theorem 10
History
- 2026-10-27: add by m2/v0.3.5
Haynes Miller NC9EQ67CW1
| URI | m2://inv/NC9EQ67CW1 |
|---|---|
| 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 Q1591972, Haynes Miller (unknown). Also nLab Haynes Miller
History
- 2026-10-26: add by m2/dev
NC9J12XE7A NC9J12XE7A
| URI | m2://inv/NC9J12XE7A |
|---|---|
| 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 2411.00060#67G3 (statement). In REPP96MPBH/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Lift NC9MY9ZXX6
| URI | m2://inv/NC9MY9ZXX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lift (mathematics), Lift (definition). Also Wikidata Q3964359
History
- 2026-11-02: add by m2/dev
triskaidekaphobia NC9NQC7TC7
| URI | m2://inv/NC9NQC7TC7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13, triskaidekaphobia (unknown). Also MathWorld Triskaidekaphobia
History
- 2026-10-26: add by m2/dev
NC9RVSCT5K NC9RVSCT5K
| URI | m2://inv/NC9RVSCT5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.17736#ROQQ (statement). In 2F182H14AM/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Inverse-Wishart trace concentration NC9Y6AYNR0
| URI | m2://inv/NC9Y6AYNR0 |
|---|---|
| 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.28198#IFCQ, Inverse-Wishart trace concentration (statement)
History
- 2026-11-01: add by m2/v0.6.15
Transition rate matrix NCABNZAV2D
| URI | m2://inv/NCABNZAV2D |
|---|---|
| Kind | definition |
| 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 math/0003117#N82Q, Transition rate matrix (definition). In WD2NCBV9F0/e1, definition 2.16
History
- 2026-10-27: add by m2/v0.3.5
ordered group NCAF2NZ731
| URI | m2://inv/NCAF2NZ731 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ordered group KRDR04RQ7N |
Mentions
- wikidata: Wikidata Q2715875, ordered group (definition). Also EoM Ordered_group, EoM Partially_ordered_group, nLab ordered group, ProofWiki Definition:Ordered_Group
- wikipedia: Wikipedia Partially ordered group, Partially ordered group (definition). Also Wikidata Q2715875
History
- 2026-10-26: add by m2/dev
Planar Jacobian conjecture NCAVVCJ03C
| URI | m2://inv/NCAVVCJ03C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobian conjecture#NARD, Planar Jacobian conjecture (statement)
History
- 2026-11-02: add by m2/dev
Extension of , Lemma 5.5 NCAXVHQDER
| URI | m2://inv/NCAXVHQDER |
|---|---|
| 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.06372#0VGQ, Extension of , Lemma 5.5 (statement). In G3E1P350Z6/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.10
Definition NCB0CMJZ5S
| URI | m2://inv/NCB0CMJZ5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal radix choice#LI2U, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ewald NCB5DFV9E9
| URI | m2://inv/NCB5DFV9E9 |
|---|---|
| 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.06419#Q4CI, Ewald (statement). In JSZRXT3W3E/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Ronald Aarts NCB89A22AN
| URI | m2://inv/NCB89A22AN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2ITA, Ronald Aarts (unknown)
History
- 2026-11-02: add by m2/dev
NCBA882K4J NCBA882K4J
| URI | m2://inv/NCBA882K4J |
|---|---|
| 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.37471#4GA7 (statement). In KDF1GTQV08/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
Gaussian lower bound for Heun NCBDQSFRTK
| URI | m2://inv/NCBDQSFRTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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 2610.06308#2LN8, Gaussian lower bound for Heun (statement). In HTWSDDAWGS/e1, proposition C.2
History
- 2026-10-29: add by m2/v0.4.10
NCBH50M8YA NCBH50M8YA
| URI | m2://inv/NCBH50M8YA |
|---|---|
| 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.16505#UAKE (statement). In P9V43TXCJ3/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
Trimmed mean test NCBPFPCQ3M
| URI | m2://inv/NCBPFPCQ3M |
|---|---|
| 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 2610.10840#H0D5, Trimmed mean test (definition). In JSJQEPY71E/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.3
NCC0AJVRD2 NCC0AJVRD2
| URI | m2://inv/NCC0AJVRD2 |
|---|---|
| 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 2605.30679#XZV3 (definition). In Z31GMHMG7B/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
West Wendover NCC2PHPZAH
| URI | m2://inv/NCC2PHPZAH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#BUVM, West Wendover (unknown)
History
- 2026-11-02: add by m2/dev
LOGCFL NCC2YZB1FY
| URI | m2://inv/NCC2YZB1FY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LOGCFL, LOGCFL (definition). Also Wikidata Q448600
History
- 2026-11-02: add by m2/dev
NCC3Y13YN1 NCC3Y13YN1
| URI | m2://inv/NCC3Y13YN1 |
|---|---|
| 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#F24Y (statement). In CFJH0Q39FZ/e1, proposition 2.11
History
- 2026-10-28: add by m2/v0.4.2
horn NCC9Z18575
| URI | m2://inv/NCC9Z18575 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Z428, horn (definition)
History
- 2026-11-02: add by m2/dev
butterfly graph NCCN4BY2YD
| URI | m2://inv/NCCN4BY2YD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3035340, butterfly graph (unknown). Also House of Graphs 776, MathWorld ButterflyGraph
- wikipedia: Wikipedia Butterfly graph, Butterfly graph (definition). Also Wikidata Q3035340
History
- 2026-10-26: add by m2/dev
NCCQH2WVF3 NCCQH2WVF3
| URI | m2://inv/NCCQH2WVF3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-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 2610.11478#SHTP (statement). In R81S9R1XNR/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.3
Alan S. Thompson NCCR19ESJM
| URI | m2://inv/NCCR19ESJM |
|---|---|
| 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#LKSC, Alan S. Thompson (unknown)
History
- 2026-11-02: add by m2/dev
Concave closure of OSW NCCRJ4F01G
| URI | m2://inv/NCCRJ4F01G |
|---|---|
| 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 2610.16060#AOXD, Concave closure of OSW (definition). In X0BTF9HPGM/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
NCCS7X42RJ NCCS7X42RJ
| URI | m2://inv/NCCS7X42RJ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#WC5A (unknown). In 4YJH4FPWDA/e1, unknown 3.15
History
- 2026-10-30: add by m2/v0.4.12
NCCZ0N5TZT NCCZ0N5TZT
| URI | m2://inv/NCCZ0N5TZT |
|---|---|
| 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.38475#0E4J (statement). In X2AAB9KZ4R/e1, proposition 1.2
History
- 2026-10-30: add by m2/v0.4.12
Depth-limited search NCD38MFQWT
| URI | m2://inv/NCD38MFQWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#910T, Depth-limited search (definition)
History
- 2026-11-02: add by m2/dev
NCD5D72A7D NCD5D72A7D
| URI | m2://inv/NCD5D72A7D |
|---|---|
| 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.34856#A66L (statement). In MRR92GQNZE/e1, theorem 5.19
History
- 2026-10-30: add by m2/v0.4.12
Gan–Gross–Prasad conjecture NCDB68EF21
| URI | m2://inv/NCDB68EF21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gan–Gross–Prasad conjecture#26V3, Gan–Gross–Prasad conjecture (statement)
History
- 2026-11-02: add by m2/dev
Known finiteness theorem NCDCM9VXB7
| URI | m2://inv/NCDCM9VXB7 |
|---|---|
| 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.15369#KWLH, Known finiteness theorem (statement). In JESNVAZEYT/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
NCDMXDJY9Y NCDMXDJY9Y
| URI | m2://inv/NCDMXDJY9Y |
|---|---|
| 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 2609.33300#JTZ8 (statement). In AWF7ZHK4EM/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
NCE1NQ4VBH NCE1NQ4VBH
| URI | m2://inv/NCE1NQ4VBH |
|---|---|
| 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.02219#FYZB (statement). In 8XMASJX0GZ/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
NCE4YQA43Q NCE4YQA43Q
| URI | m2://inv/NCE4YQA43Q |
|---|---|
| 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 2309.01359#PMP2 (statement). In BFV19FC2G7/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
Geometric probability NCE9D1979Y
| URI | m2://inv/NCE9D1979Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric probability, Geometric probability (definition). Also Wikidata Q327164
History
- 2026-11-02: add by m2/dev
NCECW8JAEN NCECW8JAEN
| URI | m2://inv/NCECW8JAEN |
|---|---|
| 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 2610.18078#N95Z (statement). In YVK8EFSYNJ/e1, lemma C.3
History
- 2026-10-28: add by m2/v0.4.2
Tullio Regge NCEKZETGBJ
| URI | m2://inv/NCEKZETGBJ |
|---|---|
| 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 Q1394712, Tullio Regge (unknown). Also nLab Tullio Regge
History
- 2026-10-26: add by m2/dev
NCESV563VJ NCESV563VJ
| URI | m2://inv/NCESV563VJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
Properties NCESYSGZY1
| URI | m2://inv/NCESYSGZY1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krull ring#10WB, Properties (statement)
History
- 2026-11-02: add by m2/dev
NCEVA2X4KP NCEVA2X4KP
| URI | m2://inv/NCEVA2X4KP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX, 57-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.06747#LCYP (example). In AB2WPR2FRR/e1, example 2.6
History
- 2026-10-29: add by m2/v0.4.10
NCEY18A3YH NCEY18A3YH
| URI | m2://inv/NCEY18A3YH |
|---|---|
| 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 2006.12475#AHTT (statement). In 8YWBGQQGA3/e1, proposition 8
History
- 2026-10-27: add by m2/v0.3.5
Trimorphic number NCF0SFK8W1
| URI | m2://inv/NCF0SFK8W1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automorphic number#8UE3, Trimorphic number (unknown)
History
- 2026-11-02: add by m2/dev
Koornwinder polynomials NCF52V5HYF
| URI | m2://inv/NCF52V5HYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koornwinder polynomials, Koornwinder polynomials (definition). Also Wikidata Q6430769
History
- 2026-11-02: add by m2/dev
NCFAPRWCT2 NCFAPRWCT2
| URI | m2://inv/NCFAPRWCT2 |
|---|---|
| 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 0904.0817#4S7I (definition). In 569FZDANV3/e1, definition 0.1
History
- 2026-10-27: add by m2/v0.3.5
Drexel Heights NCFB6BV0FM
| URI | m2://inv/NCFB6BV0FM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#WS4C, Drexel Heights (unknown)
History
- 2026-11-02: add by m2/dev
Exact orthogonality of the trace channel NCFF0V72VT
| URI | m2://inv/NCFF0V72VT |
|---|---|
| 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 2609.27200#TW5F, Exact orthogonality of the trace channel (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement NCFMY0EYQH
| URI | m2://inv/NCFMY0EYQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Lagrange equation#GFM8, Statement (statement)
History
- 2026-11-02: add by m2/dev
List of symbols NCFNPP3CG0
| URI | m2://inv/NCFNPP3CG0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of shapes#ATDM, List of symbols (unknown)
History
- 2026-11-02: add by m2/dev
Empirical likelihood NCFV0EJ2EZ
| URI | m2://inv/NCFV0EJ2EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7M48, Empirical likelihood (definition)
History
- 2026-11-02: add by m2/dev
NCGDVPJ26V NCGDVPJ26V
| URI | m2://inv/NCGDVPJ26V |
|---|---|
| Kind | example |
| 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.20568#A1NE (example). In BCD0ATARNZ/e1, example A.1
History
- 2026-10-27: add by m2/v0.4.2
NCGEP96T7G NCGEP96T7G
| URI | m2://inv/NCGEP96T7G |
|---|---|
| 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.31274#XR8P (statement). In RK0ZMDJ23T/e1, lemma 3.3.2
History
- 2026-10-31: add by m2/v0.5.6
\coqident{rep_map NCGG9QTM8P
| URI | m2://inv/NCGG9QTM8P |
|---|---|
| Kind | definition |
| 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#8N79, \coqident{rep_map (definition). In MG51GG0QZN/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
NCGKCEPC86 NCGKCEPC86
| URI | m2://inv/NCGKCEPC86 |
|---|---|
| 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 2409.03423#QIZU (statement). In 8C5YCMN81V/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
NCGNVG9K7S NCGNVG9K7S
| URI | m2://inv/NCGNVG9K7S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-2.xml#example-9 (example). In 649HGZKE96, example, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
0-coskeleton NCH6T5AN5K
| URI | m2://inv/NCH6T5AN5K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-skeleton#TRI0, 0-coskeleton (unknown)
History
- 2026-11-02: add by m2/dev
Bunch–Nielsen–Sorensen formula NCHF569JWA
| URI | m2://inv/NCHF569JWA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bunch–Nielsen–Sorensen formula, Bunch–Nielsen–Sorensen formula (statement). Also Wikidata Q17097804
History
- 2026-11-02: add by m2/dev
NCHKYABB51 NCHKYABB51
| URI | m2://inv/NCHKYABB51 |
|---|---|
| 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.38548#F771 (statement). In Z7ZFV3HM1S/e1, theorem 3.10
History
- 2026-10-30: add by m2/v0.4.12
Bohr–Mollerup theorem NCHXANZQJ5
| URI | m2://inv/NCHXANZQJ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4RZ6, Bohr–Mollerup theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties NCHYVB43D1
| URI | m2://inv/NCHYVB43D1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dodecahedral number#MCQ3, Properties (statement)
History
- 2026-11-02: add by m2/dev
NCJ352EQAE NCJ352EQAE
| URI | m2://inv/NCJ352EQAE |
|---|---|
| Kind | statement |
| 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#54AG (statement). In APK7X4MFAX/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Herman te Riele NCJ51PA7WK
| URI | m2://inv/NCJ51PA7WK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OMXB, Herman te Riele (topic)
History
- 2026-11-02: add by m2/dev
Random surfing model NCJ8MTFNJ1
| URI | m2://inv/NCJ8MTFNJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random surfing model, Random surfing model (definition). Also Wikidata Q96401220
History
- 2026-11-02: add by m2/dev
David Drasin NCJ9EH5K0H
| URI | m2://inv/NCJ9EH5K0H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Drasin, David Drasin (topic). Also Wikidata Q1174258
History
- 2026-11-02: add by m2/dev
Properties NCJAFQMHEF
| URI | m2://inv/NCJAFQMHEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schrödinger picture#KHLJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Gauss directions and quadratic cones NCJAT6WPFJ
| URI | m2://inv/NCJAT6WPFJ |
|---|---|
| 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.34675#E1AQ, Gauss directions and quadratic cones (statement). In C93BAXKJVD/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
NCJQV1KF1X NCJQV1KF1X
| URI | m2://inv/NCJQV1KF1X |
|---|---|
| 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.10452#H1RM (statement). In 2F4PNP1V3B/e1, theorem E
History
- 2026-10-29: add by m2/v0.4.10
NCJS6FJ1NZ NCJS6FJ1NZ
| URI | m2://inv/NCJS6FJ1NZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.19416#KAHJ (definition). In TJVWQ0ZSGY/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
NCK1ZRE830 NCK1ZRE830
| URI | m2://inv/NCK1ZRE830 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#mv:zerosiderectangle (exercise). In E59CDZA4DP, exercise, section 5.1.6
History
- 2026-11-01: add by m2/v0.6.13
NCK2102F35 NCK2102F35
| URI | m2://inv/NCK2102F35 |
|---|---|
| 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.20466#OWKR (statement). In M4ZVJWM8YA/e1, lemma 3.18
History
- 2026-10-27: add by m2/v0.4.2
NCK5VTKZ06 NCK5VTKZ06
| URI | m2://inv/NCK5VTKZ06 |
|---|---|
| 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.25307#YYIY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Confidence lower bounds NCK77WPCXX
| URI | m2://inv/NCK77WPCXX |
|---|---|
| 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.39855#TOBW, Confidence lower bounds (statement). In E1KFX0NW51/e1, proposition A.3
History
- 2026-10-30: add by m2/v0.4.12
Paley digraph NCK7DPJ0RN
| URI | m2://inv/NCK7DPJ0RN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paley graph#FGUL, Paley digraph (unknown)
History
- 2026-11-02: add by m2/dev
Georgia Benkart NCK7N2C12H
| URI | m2://inv/NCK7N2C12H |
|---|---|
| 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 Q16971463, Georgia Benkart (unknown). Also nLab Georgia Benkart
- wikipedia: Wikipedia Georgia Benkart, Georgia Benkart (topic). Also Wikidata Q16971463
History
- 2026-10-26: add by m2/dev
Fat Equator Effect NCK8F6AWH3
| URI | m2://inv/NCK8F6AWH3 |
|---|---|
| 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.05056#JG6I, Fat Equator Effect (statement). In 4PF04DW3YP/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
NCKBZN5SY3 NCKBZN5SY3
| URI | m2://inv/NCKBZN5SY3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-2.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Robert Lawson Vaught NCKM47M6AW
| URI | m2://inv/NCKM47M6AW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Lawson Vaught, Robert Lawson Vaught (topic). Also Wikidata Q451676
History
- 2026-11-02: add by m2/dev
Theorem (Deuring; 1933) NCKSP60JVD
| URI | m2://inv/NCKSP60JVD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann hypothesis#BSQT, Theorem (Deuring; 1933) (statement)
History
- 2026-11-02: add by m2/dev
Definitions NCKT78QB4G
| URI | m2://inv/NCKT78QB4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Responsive set extension#QY59, Definitions (definition)
History
- 2026-11-02: add by m2/dev
NCKYD80CB0 NCKYD80CB0
| URI | m2://inv/NCKYD80CB0 |
|---|---|
| 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.23847#ZG20 (statement)
History
- 2026-11-02: add by m2/v0.6.17
NCM45312YE NCM45312YE
| URI | m2://inv/NCM45312YE |
|---|---|
| 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.31274#A32E (statement). In RK0ZMDJ23T/e1, lemma 3.3.4
History
- 2026-10-31: add by m2/v0.5.6
Astrostatistics NCM6TZV5WH
| URI | m2://inv/NCM6TZV5WH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YY0L, Astrostatistics (topic)
History
- 2026-11-02: add by m2/dev
mathematics, constructive NCM7EHE8G7
| URI | m2://inv/NCM7EHE8G7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/mathematics-constructive, mathematics, constructive (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Example NCM7WH1DX5
| URI | m2://inv/NCM7WH1DX5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schreier's lemma#EFQG, Example (example)
History
- 2026-11-02: add by m2/dev
Ragnar Frisch NCM9N1QPEA
| URI | m2://inv/NCM9N1QPEA |
|---|---|
| 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#06AB, Ragnar Frisch (unknown)
History
- 2026-11-02: add by m2/dev
girth NCMMYTB0W6
| URI | m2://inv/NCMMYTB0W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Girth D13K9GJT0B |
Mentions
- wikidata: Wikidata Q959831, girth (definition). Also MathWorld Girth, ProofWiki Definition:Girth
- wikipedia: Wikipedia Girth (graph theory), Girth (definition). Also Wikidata Q959831
History
- 2026-10-26: add by m2/dev
NCMQ9TMKD7 NCMQ9TMKD7
| URI | m2://inv/NCMQ9TMKD7 |
|---|---|
| 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 2204.13401#MP2Q (statement). In B8MJT0GGW8/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.4.0
Applications NCMTTENH4Z
| URI | m2://inv/NCMTTENH4Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GraphCrunch#QJP3, Applications (example)
History
- 2026-11-02: add by m2/dev
NCMTY1MBTZ NCMTY1MBTZ
| URI | m2://inv/NCMTY1MBTZ |
|---|---|
| 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.12329#64HV (statement). In ZJQB9W60T6/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.2
NCN0NGQVNE NCN0NGQVNE
| URI | m2://inv/NCN0NGQVNE |
|---|---|
| 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 2609.36022#RJJE (statement). In ENH5XNBQWH/e1, lemma 3.12
History
- 2026-10-30: add by m2/v0.4.12
Residual bound for approximate monitors NCN11YPNEZ
| URI | m2://inv/NCN11YPNEZ |
|---|---|
| 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.20020#25VM, Residual bound for approximate monitors (statement). In TGYC3SE8XM/e1, corollary 5
History
- 2026-10-27: add by m2/v0.4.2
Wang's Theorem NCN31ZW6ZW
| URI | m2://inv/NCN31ZW6ZW |
|---|---|
| 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.13392#L88R, Wang's Theorem (statement). In 2FVND41HVS/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
NCNFT734VJ NCNFT734VJ
| URI | m2://inv/NCNFT734VJ |
|---|---|
| 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 2610.08480#3LUB (example). In R4EEE89C3S/e1, example 3.1
History
- 2026-10-29: add by m2/v0.4.10
Odd cycles NCNH6XP1T1
| URI | m2://inv/NCNH6XP1T1 |
|---|---|
| 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.13884#1T16, Odd cycles (statement). In N2NQ3QJYTW/e1, corollary 3.4
History
- 2026-10-28: add by m2/v0.4.2
NCNHPJ78T3 NCNHPJ78T3
| URI | m2://inv/NCNHPJ78T3 |
|---|---|
| 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.12691#FPXI (statement). In YVQKT91MYN/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
I. E. Segal NCNJHCBRM6
| URI | m2://inv/NCNJHCBRM6 |
|---|---|
| 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#V5QW, I. E. Segal (unknown)
History
- 2026-11-02: add by m2/dev
Definition NCNNXC5FNY
| URI | m2://inv/NCNNXC5FNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stabilizer code#Z613, Definition (definition)
History
- 2026-11-02: add by m2/dev
Joel Spencer NCNS062C71
| URI | m2://inv/NCNS062C71 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RO3B, Joel Spencer (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#J0TQ, Joel Spencer (topic)
History
- 2026-11-02: add by m2/dev
NCNV4Q4YY1 NCNV4Q4YY1
| URI | m2://inv/NCNV4Q4YY1 |
|---|---|
| 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.37093#09FH (statement). In GA6QH32CJQ/e1, theorem 29
History
- 2026-10-30: add by m2/v0.4.12
K-trivial set NCNXTFAYQW
| URI | m2://inv/NCNXTFAYQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-trivial set, K-trivial set (definition). Also Wikidata Q15958734
History
- 2026-11-02: add by m2/dev
NCNY4CMET0 NCNY4CMET0
| URI | m2://inv/NCNY4CMET0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2610.13260#RL33 (statement). In ZBQX9341RV/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
NCP4SKQ0TE NCP4SKQ0TE
| URI | m2://inv/NCP4SKQ0TE |
|---|---|
| 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 2609.37112#TWYU (statement). In 5B10HAY4C3/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Properties of the binary hidden choice NCPDGH8C4S
| URI | m2://inv/NCPDGH8C4S |
|---|---|
| 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 1803.10042#6FX5, Properties of the binary hidden choice (statement). In 718SP8YERQ/e1, proposition B.1
History
- 2026-10-27: add by m2/v0.3.5
Center for the Study of Home and Community Life NCPN6QWEMM
| URI | m2://inv/NCPN6QWEMM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#8H3C, Center for the Study of Home and Community Life (unknown)
History
- 2026-11-02: add by m2/dev
Extended Euclidean algorithm NCPQ6ADHPQ
| URI | m2://inv/NCPQ6ADHPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended Euclidean algorithm, Extended Euclidean algorithm (definition). Also Wikidata Q1362750
History
- 2026-11-02: add by m2/dev
Trivial Lyapunov functions NCPSNGCYJD
| URI | m2://inv/NCPSNGCYJD |
|---|---|
| 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.05626#5B3M, Trivial Lyapunov functions (statement). In PMZEF75W7S/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
Example NCPT91QZVA
| URI | m2://inv/NCPT91QZVA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pie chart#2ZIL, Example (example)
History
- 2026-11-02: add by m2/dev
NCQ0WSBQB5 NCQ0WSBQB5
| URI | m2://inv/NCQ0WSBQB5 |
|---|---|
| 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.18335#NJ7X (statement). In XKN1C8Y9SD/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Gaston Albert Gohierre de Longchamps NCQ2GS20HQ
| URI | m2://inv/NCQ2GS20HQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaston Albert Gohierre de Longchamps, Gaston Albert Gohierre de Longchamps (topic). Also Wikidata Q5526702
History
- 2026-11-02: add by m2/dev
Cell growth NCQ2HT0G19
| URI | m2://inv/NCQ2HT0G19 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#OS8Q, Cell growth (unknown)
History
- 2026-11-02: add by m2/dev
Cofactor matrix NCQ3313ES9
| URI | m2://inv/NCQ3313ES9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minor (linear algebra)#APAA, Cofactor matrix (unknown)
History
- 2026-11-02: add by m2/dev
Statement of the theorem NCQ4ZMW3G6
| URI | m2://inv/NCQ4ZMW3G6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ekeland's variational principle#KSA3, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
NCQCCQNGZ5 NCQCCQNGZ5
| URI | m2://inv/NCQCCQNGZ5 |
|---|---|
| Kind | example |
| 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#ZXN2 (example). In 1KSE33PVS6/e1, example 74
History
- 2026-10-30: add by m2/v0.4.12
Examples NCQJTFDMHK
| URI | m2://inv/NCQJTFDMHK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heronian tetrahedron#RU49, Examples (example)
History
- 2026-11-02: add by m2/dev
NCR1EAVQRJ NCR1EAVQRJ
| URI | m2://inv/NCR1EAVQRJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-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 2104.08176#IIWC (definition). In SYGR43673J/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
NCR25FECZP NCR25FECZP
| URI | m2://inv/NCR25FECZP |
|---|---|
| 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 0905.2248#M042 (definition). In 7EWB9ZRD9Z/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
NCR3A7301J NCR3A7301J
| URI | m2://inv/NCR3A7301J |
|---|---|
| Kind | definition |
| 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.20119#W00Y (definition)
History
- 2026-11-02: add by m2/v0.6.18
Perfect-matching test NCREK3ZD3E
| URI | m2://inv/NCREK3ZD3E |
|---|---|
| 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#ECQK, Perfect-matching test (statement). In T1GYQ6SCCZ/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
NCRPMD7E80 NCRPMD7E80
| URI | m2://inv/NCRPMD7E80 |
|---|---|
| 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.18335#S0W9 (statement). In XKN1C8Y9SD/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
Central limit theorem for the two-radius estimator NCRR9C1ZTC
| URI | m2://inv/NCRR9C1ZTC |
|---|---|
| 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.27961#5H7D, Central limit theorem for the two-radius estimator (statement)
History
- 2026-11-01: add by m2/v0.6.15
NCRZRXW917 NCRZRXW917
| URI | m2://inv/NCRZRXW917 |
|---|---|
| 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#HIWQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
NCS0EH30VC NCS0EH30VC
| URI | m2://inv/NCS0EH30VC |
|---|---|
| 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 2502.09442#IS6Z (statement). In DNT32YYDM4/e1, corollary 3
History
- 2026-10-27: add by m2/v0.4.0
On the Number of Primes Less Than a Given Magnitude NCS8CF2HQ3
| URI | m2://inv/NCS8CF2HQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia On the Number of Primes Less Than a Given Magnitude, On the Number of Primes Less Than a Given Magnitude (definition). Also Wikidata Q905091
History
- 2026-11-02: add by m2/dev
NCS9FYE0JG NCS9FYE0JG
| URI | m2://inv/NCS9FYE0JG |
|---|---|
| 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 2602.13510#9263 (statement). In Y75MQW7CFV/e1, lemma B.5
History
- 2026-10-27: add by m2/v0.3.5
NCSME8J1ND NCSME8J1ND
| URI | m2://inv/NCSME8J1ND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#AHB1 (statement). In CC6S1HVK0T/e1, lemma E.4
History
- 2026-10-28: add by m2/v0.4.2
Longest common substring problem NCSN4HECAC
| URI | m2://inv/NCSN4HECAC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#UJZY, Longest common substring problem (unknown)
History
- 2026-11-02: add by m2/dev
Terminology NCSYNVWVZZ
| URI | m2://inv/NCSYNVWVZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epimorphism#QLR9, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Black–Scholes equation NCT22KFCSY
| URI | m2://inv/NCT22KFCSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Black–Scholes equation ZFTNJ2YREG |
Mentions
- wikidata: Wikidata Q17005676, Black–Scholes equation (definition). Also ProofWiki Definition:Black-Scholes_Equation
- wikipedia: Wikipedia Black–Scholes equation, Black–Scholes equation (definition). Also Wikidata Q17005676
History
- 2026-10-26: add by m2/dev
Mazur's theorem NCT25QDJ05
| URI | m2://inv/NCT25QDJ05 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mazur's lemma#7RIK, Mazur's theorem (statement)
History
- 2026-11-02: add by m2/dev
Valuation NCT2Y33GQD
| URI | m2://inv/NCT2Y33GQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation (measure theory), Valuation (definition). Also Wikidata Q7912695
History
- 2026-11-02: add by m2/dev
Applications NCT928Y65J
| URI | m2://inv/NCT928Y65J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compton scattering#IW8K, Applications (example)
History
- 2026-11-02: add by m2/dev
LCF theorem prover NCTAR2G937
| URI | m2://inv/NCTAR2G937 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#WPUJ, LCF theorem prover (definition)
History
- 2026-11-02: add by m2/dev
Interaction terms NCTHKJB3FK
| URI | m2://inv/NCTHKJB3FK |
|---|---|
| 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.32829#8UIQ, Interaction terms (statement). In RYWAX33Z51/e1, lemma 6.2
History
- 2026-10-31: add by m2/v0.5.6
Representation via normalized linear transformations NCTJMBVFNX
| URI | m2://inv/NCTJMBVFNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.33541#DR51, Representation via normalized linear transformations (statement). In N3P196CEAJ/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Counting points on elliptic curves NCTXCHJMCX
| URI | m2://inv/NCTXCHJMCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counting points on elliptic curves, Counting points on elliptic curves (definition). Also Wikidata Q5177153
History
- 2026-11-02: add by m2/dev
NCTY696V2P NCTY696V2P
| URI | m2://inv/NCTY696V2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2609.25151#0CUA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alain-Sol Sznitman NCTYYEV5RY
| URI | m2://inv/NCTYYEV5RY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#V2S8, Alain-Sol Sznitman (topic)
History
- 2026-11-02: add by m2/dev
Arbitrage problem in the implied volatility formula NCV2S3RC0X
| URI | m2://inv/NCV2S3RC0X |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SABR volatility model#FWO4, Arbitrage problem in the implied volatility formula (problem)
History
- 2026-11-02: add by m2/dev
Brachistochrone curve NCV2SBF2Q3
| URI | m2://inv/NCV2SBF2Q3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of variational topics#C9KG, Brachistochrone curve (definition)
- wikipedia: Wikipedia List of mathematics history topics#M5RP, Brachistochrone curve (definition)
History
- 2026-11-02: add by m2/dev
Ming-Yen Cheng NCV55GWH9Q
| URI | m2://inv/NCV55GWH9Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ming-Yen Cheng, Ming-Yen Cheng (topic). Also Wikidata Q84829654
History
- 2026-11-02: add by m2/dev
NCV9Z36J17 NCV9Z36J17
| URI | m2://inv/NCV9Z36J17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-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.01208#9VCC (statement). In 317GZJ38HS/e1, proposition 5.10
History
- 2026-10-29: add by m2/v0.4.12
Slab method NCVEWY7CZM
| URI | m2://inv/NCVEWY7CZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#XARJ, Slab method (unknown)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#RAJS, Slab method (unknown)
History
- 2026-11-02: add by m2/dev
Proposition NCVGSPPS67
| URI | m2://inv/NCVGSPPS67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Productive matrix#NVGP, Proposition (statement)
History
- 2026-11-02: add by m2/dev
NCVMTYWZYP NCVMTYWZYP
| URI | m2://inv/NCVMTYWZYP |
|---|---|
| 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.03488#I7VC (statement). In 9GXR1WEYWT/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.12
Algorithm NCVR5S26VP
| URI | m2://inv/NCVR5S26VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microarray analysis techniques#VC9S, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
NCVTVFVERW NCVTVFVERW
| URI | m2://inv/NCVTVFVERW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-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 math/0512416#MGLL (definition). In WJD9YPGGYH/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.3.5
Segmentation NCW3D6588B
| URI | m2://inv/NCW3D6588B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#0ES4, Segmentation (unknown)
History
- 2026-11-02: add by m2/dev
Algorithm NCW7WQR6KV
| URI | m2://inv/NCW7WQR6KV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia In-crowd algorithm#L24P, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Angle comparison NCW9C7843E
| URI | m2://inv/NCW9C7843E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.17909#C2ZW, Angle comparison (statement). In YXZX6Z8S6A/e1, proposition 2.8
History
- 2026-10-28: add by m2/v0.4.2
Uniform agreement at a contact index NCWBQTKD5Y
| URI | m2://inv/NCWBQTKD5Y |
|---|---|
| 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#75LP, Uniform agreement at a contact index (statement). In 8BNPFYQDQX/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
Properties NCWEV7AW68
| URI | m2://inv/NCWEV7AW68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pincherle derivative#YJUH, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples NCWPBVJPQZ
| URI | m2://inv/NCWPBVJPQZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial SOS#EFO8, Examples (example)
History
- 2026-11-02: add by m2/dev
$(\mu^{|N},M_0)$-smooth functions NCX4YCT9Y6
| URI | m2://inv/NCX4YCT9Y6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 11-XX, 26-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.21725#RLIH, $(\mu^{|N},M_0)$-smooth functions (definition). In BQDZN6GRGF/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Hadamard rigidity NCX6NCB65B
| URI | m2://inv/NCX6NCB65B |
|---|---|
| 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 2609.37704#ZVMJ, Hadamard rigidity (statement). In HGTFJ325A4/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
NCXK7VG0WR NCXK7VG0WR
| URI | m2://inv/NCXK7VG0WR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-14 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
NCY01RGH8G NCY01RGH8G
| URI | m2://inv/NCY01RGH8G |
|---|---|
| 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 1707.06795#MF0O (statement). In 32MMSEVHYN/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
Linear decomposition NCY376DDSV
| URI | m2://inv/NCY376DDSV |
|---|---|
| Kind | definition |
| 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.12576#AENS, Linear decomposition (definition). In BVAWVRS3R9/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
NCY58AKANH NCY58AKANH
| URI | m2://inv/NCY58AKANH |
|---|---|
| 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.02689#8QOK (statement). In 7BWXR38MNE/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.12
Additivity along an affine ray NCY5WWJDAC
| URI | m2://inv/NCY5WWJDAC |
|---|---|
| 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#HUY3, Additivity along an affine ray (statement). In KP1THB2C09/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.10
NCYARFMHJ3 NCYARFMHJ3
| URI | m2://inv/NCYARFMHJ3 |
|---|---|
| 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.37197#83NE (definition). In 98ESNNP0CC/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
NCYFSSPFR4 NCYFSSPFR4
| URI | m2://inv/NCYFSSPFR4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-6 (example). In E59CDZA4DP, example, section 10.1.1
History
- 2026-11-01: add by m2/v0.6.13
Raphael Yuster NCYHNZ1GKR
| URI | m2://inv/NCYHNZ1GKR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raphael Yuster, Raphael Yuster (topic). Also Wikidata Q102254484
History
- 2026-11-02: add by m2/dev
Lagrangian NCYJDCEW0W
| URI | m2://inv/NCYJDCEW0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q505735, Lagrangian (definition). Also ProofWiki Definition:Lagrangian
- wikipedia: Wikipedia Lagrangian (field theory), Lagrangian (definition). Also Wikidata Q505735
History
- 2026-10-26: add by m2/dev
Alina Chertock NCYN4ZY174
| URI | m2://inv/NCYN4ZY174 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alina Chertock, Alina Chertock (topic). Also Wikidata Q102298678
History
- 2026-11-02: add by m2/dev
McAloon NCYTZGPMX7
| URI | m2://inv/NCYTZGPMX7 |
|---|---|
| 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 2608.24190#RXNQ, McAloon (statement). In DW7FVA587C/e1, fact 2.8
History
- 2026-10-27: add by m2/v0.3.5
Crystallographic restriction theorem NCZ0VM7VHK
| URI | m2://inv/NCZ0VM7VHK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4H5Z, Crystallographic restriction theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties NCZ16JYS3F
| URI | m2://inv/NCZ16JYS3F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hanner polytope#QVP5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Gregory S. Tseytin NCZE0ABXZ0
| URI | m2://inv/NCZE0ABXZ0 |
|---|---|
| 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#S9N0, Gregory S. Tseytin (topic)
History
- 2026-11-02: add by m2/dev
Chordal bipartite graph NCZEBMWFRS
| URI | m2://inv/NCZEBMWFRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chordal bipartite graph, Chordal bipartite graph (definition). Also Wikidata Q25303691
History
- 2026-11-02: add by m2/dev
Feliks Barański NCZF7JCGJE
| URI | m2://inv/NCZF7JCGJE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feliks Barański, Feliks Barański (topic). Also Wikidata Q327309
History
- 2026-11-02: add by m2/dev
Iskander Taimanov NCZFM5DAK2
| URI | m2://inv/NCZFM5DAK2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iskander Taimanov, Iskander Taimanov (topic). Also Wikidata Q4449881
History
- 2026-11-02: add by m2/dev
Doubly periodic function NCZGK78NPT
| URI | m2://inv/NCZGK78NPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doubly periodic function, Doubly periodic function (definition). Also Wikidata Q5300180
History
- 2026-11-02: add by m2/dev
Remark NCZJ7ENNX1
| URI | m2://inv/NCZJ7ENNX1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of modules#II91, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Examples NCZT1EYJQ2
| URI | m2://inv/NCZT1EYJQ2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strategyproofness#DQ7U, Examples (example)
History
- 2026-11-02: add by m2/dev