Math 2.0

Inventory rows WA

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

Cauchy's theorem (geometry) WA0HC8ERDY

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

Mentions

History

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

category theory WA0W7496WY

URIm2://inv/WA0W7496WY
Kindtopic
Layertextbook
MSC18-XX
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Bertfried Fauser WA1TEPG6G7

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

Lamé parameters WA1TTH5V6A

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

Mentions

History

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

multilinear form WAAX5D428V

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

Mentions

History

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

sphenic number WAD0X67KQJ

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

Mentions

History

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

depth-first search WADFYFC6YD

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

Mentions

History

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

electromagnetic radiation WAE0ECNBG2

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

Mentions

History

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

Tomasz Maszczyk WAEBV22MVE

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

Berge's theorem WAH9PN6ZTF

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

Mentions

History

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

year WAPQFPW6MX

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

Mentions

History

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

context-free grammar WAQB51Z9Q1

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

Mentions

  • mathlib_overview: mathlib_overview Logic and computation > Formal languages > context-free grammar, context-free grammar (unknown). Also Mathlib ContextFreeGrammar

History

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

megabyte WAVHEZ935V

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

Mentions

History

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

WAVQX2Q50Y WAVQX2Q50Y

URIm2://inv/WAVQX2Q50Y
Kindtopic
Layertextbook
MSC58C35
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Oleg V Zaboronski WAZPQ0MF4S

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