Math 2.0

Inventory rows C4

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

magnitude of a complex number C40WGQNA99

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

Mentions

History

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

Exeter point C40YP20WT6

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

Mentions

History

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

Zermelo set theory C433DH6BR8

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

Mentions

History

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

Cochran's theorem C43MWATBCF

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

Mentions

History

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

Yiannis N. Moschovakis C46QR5WWA2

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

Ehrenfeucht–Mycielski sequence C4C7S3ZKX2

URIm2://inv/C4C7S3ZKX2
Kindobject
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

complex multiplication C4CB103EEF

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

Mentions

History

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

quotient stack C4CB75JG1Q

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

Mentions

History

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

Lawrence Sklar C4FV8XGKVK

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

suspension C4FVT41XMA

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

Mentions

History

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

Robert Rosebrugh C4GP5R3Q70

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

C4JCC7CT3W C4JCC7CT3W

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

icosahedral graph C4MW0W9BRN

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

Mentions

History

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

Wirtinger inequality C4NEXYXV9A

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

Mentions

History

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

pursuit curve C4PEQA5XG8

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

Mentions

History

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

truncated octahedral graph C4QYZD5W3Z

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

Mentions

History

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

Anthony Greville Shannon C4RM2M5KAP

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

Yuri Manin C4RYFV254B

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

Horn clause C4S1M5F94K

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

Mentions

History

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

Chebyshev function C4V1Z6QJJ1

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

Mentions

History

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

law of total probability C4VSKNP6Y8

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Probability Theory > Definitions of a probability space > law of total probability, law of total probability (unknown)

History

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

ordinal arithmetic C4X3CDJ1HR

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

Mentions

History

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