Math 2.0

Inventory rows QK

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

infinity symbol QK166ETVK5

URIm2://inv/QK166ETVK5
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a notation: the notation register holds it (corpus spec K10.4))
NodeNone yet. Write the node.

Mentions

History

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

David Graham Wells QK1ZP806VB

URIm2://inv/QK1ZP806VB
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

Edwin Thompson Jaynes QK2ERW86VJ

URIm2://inv/QK2ERW86VJ
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

QK2KAH7BK2 QK2KAH7BK2

URIm2://inv/QK2KAH7BK2
Kindstatement
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

integer factorization QK538Q25F3

URIm2://inv/QK538Q25F3
Kindtopic
Layertextbook
MSC11A51
Sources1
Outcomeopen
NodePrime factorization 02EKEPPJ3R

Mentions

History

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

French railway metrics QK615D9MWV

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

Mentions

History

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

anomalous diffusion QK79S5TD61

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

Mentions

History

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

Grinberg graphs QK7HZ7C2F1

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

Mentions

History

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

James Munkres QK96HK3QFN

URIm2://inv/QK96HK3QFN
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

Yang–Mills theory QK9S8FPM67

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

Mentions

History

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

adjacency matrix QKA1B9EA20

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

Mentions

  • mathlib_overview: mathlib_overview Combinatorics > Graph theory > adjacency matrix, adjacency matrix (unknown). Also Mathlib SimpleGraph.adjMatrix

History

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

aperiodic tiling QKCV8SX6NP

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

Mentions

History

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

predual QKEC12C3R6

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

Mentions

History

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

New Foundations QKG1VJW71H

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

Mentions

History

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

Dirac spinor QKHK4EFZMC

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

Mentions

History

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

Lochs' theorem QKHN2CG8BQ

URIm2://inv/QKHN2CG8BQ
Kindstatement
Layertextbook
MSC11-XX
Sources3
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

centimetre QKP47KXXHH

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

Mentions

History

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

quasiperfect number QKS1R1CZ4S

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

Mentions

History

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

sheafed space QKX1J54FTC

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

Mentions

History

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

length QKY7PVABHG

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

Mentions

History

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