Math 2.0

Inventory rows WN

The cards of the rows of the inventory whose ids start with WN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.

Cantor set WN0DFESZPT

URIm2://inv/WN0DFESZPT
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeCantor set 0BXNDZFQME

Mentions

History

  • 2026-10-26: add by m2/dev

Decomposition theorem of Beilinson, Bernstein and Deligne WN0KAC2KRQ

URIm2://inv/WN0KAC2KRQ
Kindstatement
Layertextbook
MSC14-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

David Ben-Zvi WN5FYREQ1F

URIm2://inv/WN5FYREQ1F
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

existence of an eigenvalue WN5WGF44K9

URIm2://inv/WN5WGF44K9
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

  • mathlib_overview: mathlib_overview Linear algebra > Structure theory of endomorphisms > existence of an eigenvalue, existence of an eigenvalue (unknown). Also Mathlib Module.End.exists_eigenvalue

History

  • 2026-10-26: add by m2/dev

Kuno Lorenz WN60HV39DZ

URIm2://inv/WN60HV39DZ
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

cusp catastrophe WN9W1HFN8E

URIm2://inv/WN9W1HFN8E
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

particle physics WNBAWV60FM

URIm2://inv/WNBAWV60FM
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

infinite set WNE0TMHGD0

URIm2://inv/WNE0TMHGD0
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeInfinite set 0PWE3BCHVJ

Mentions

History

  • 2026-10-26: add by m2/dev

Mojtaba Alipour WNFF2FW61H

URIm2://inv/WNFF2FW61H
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

dispersion relation WNJSS6FZZZ

URIm2://inv/WNJSS6FZZZ
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

spherical excess WNM9P5TR5Q

URIm2://inv/WNM9P5TR5Q
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

tangent line WNP0T8ZSK9

URIm2://inv/WNP0T8ZSK9
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

direct product of groups WNS7JJAYEK

URIm2://inv/WNS7JJAYEK
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeDirect product of groups 00HF4RJ5QN

Mentions

History

  • 2026-10-26: add by m2/dev

cosmic censorship hypothesis WNSQXV657K

URIm2://inv/WNSQXV657K
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Robert Ghrist WNVBJ5JBJH

URIm2://inv/WNVBJ5JBJH
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev