Math 2.0

Inventory rows MY

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

Miller–Rabin primality test MY267GG931

URIm2://inv/MY267GG931
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeMiller–Rabin primality test 0SZCSYHW60

Mentions

History

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

Carl Friedrich Gauss Prize MY68T0EAK3

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

Mentions

History

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

reducible matrix MY7EZGA74B

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

Mentions

History

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

gauged supergravity MY8AMGZ48K

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

Mentions

History

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

Teichmüller–Tukey lemma MY8Z7S31V5

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

Mentions

History

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

Galois theory MYB1R4M78D

URIm2://inv/MYB1R4M78D
Kindtopic
Layertextbook
MSC11R32, 12F10
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

contravariant vector MYD6ZHTAK3

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

Mentions

History

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

Mahābhāskarīya MYJ4CS522F

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

Mentions

History

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

Euler's totient function MYJF8BKNXK

URIm2://inv/MYJF8BKNXK
Kindstatement
Layertextbook
MSC11-XX
Sources3
Outcomeopen
NodeEuler's totient function 0DAMHCT17R

Mentions

History

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

disdyakis dodecahedron MYKFV3DBCC

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

Mentions

History

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

Moss Sweedler MYN5Q5FBBP

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

Regular extension MYNCCX971J

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

Mentions

History

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

cobordism MYNTC3GBCN

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

Mentions

History

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

Poincaré–Birkhoff–Witt theorem MYPKFPQXKJ

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

Mentions

History

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

volume element MYPM7KEQVD

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

Mentions

History

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

flat principal connection MYQZJMDCGB

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

Mentions

History

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

ω-meson MYSKG2JEW4

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

Mentions

History

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

monodromy MYX6J02R6B

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

Mentions

History

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

normal convergence MYXXM7YZCX

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > normal convergence, normal convergence (unknown)

History

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