Math 2.0

Inventory rows 7J

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

lazy caterer's sequence 7J0NR9XDWG

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

Mentions

History

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

Witold Hurewicz 7J17FX7SDV

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

Daniel Huybrechts 7J4AHQ4J8A

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

completely metrizable space 7J4YNBCKXY

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

Mentions

History

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

cohomotopy set 7J6VMCHRBK

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

Mentions

History

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

polyhedral compound 7J7BE6TGHX

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

Mentions

History

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

self-avoiding polygon 7J9W98Z5XS

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

Mentions

History

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

Master theorem (analysis of algorithms) 7JBCJKF0G7

URIm2://inv/7JBCJKF0G7
Kindstatement
Layertextbook
MSC26-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Surreal Numbers 7JE92V6C7P

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

international mile 7JEP29AV1G

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

Mentions

History

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

discrete group 7JMEFT7RBN

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

Mentions

History

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

truncated cube 7JMXEECNSG

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

Mentions

History

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

trihedron 7JPNHSTBHZ

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

Mentions

History

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

cocontinuous functor 7JSD8QRMCW

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

Mentions

History

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

Lotka–Volterra equations 7JV6K0Z6JJ

URIm2://inv/7JV6K0Z6JJ
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeLotka–Volterra equations 00Y5QZ82AA

Mentions

History

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

Polyhedron Formula 7JWTQYRXYN

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

Mentions

  • mathlib_100: mathlib_100 13, Polyhedron Formula (statement)

History

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

right-handed coordinate system 7JYCGH652G

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

Mentions

History

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

independent set 7JZB5FFNBM

URIm2://inv/7JZB5FFNBM
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeIndependent set 08ANQHHG3P

Mentions

History

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