Math 2.0

Inventory rows HW

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

loopless multigraph HW15H3QBQB

URIm2://inv/HW15H3QBQB
Kinddefinition
Layertextbook
Sources1
Outcomenode (a node has the same Wikidata item as the row)
NodeMultigraph 0C62PZXX02

Mentions

History

  • 2026-10-26: add by m2/dev
  • 2026-10-27: outcome by agent

Abū Kāmil Shujāʿ ibn Aslam HW1H5K5JBZ

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

inverse trigonometric functions HW2JFKN047

URIm2://inv/HW2JFKN047
Kindunknown
Layertextbook
Sources2
Outcomenode (a node has the same name as the row)
NodeInverse trigonometric functions 02HTDK1FBD

Mentions

  • mathlib_overview: mathlib_overview Analysis > Special functions > inverse trigonometric functions, inverse trigonometric functions (unknown). Also Mathlib Real.arcsin
  • mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > inverse trigonometric functions, inverse trigonometric functions (unknown). Also Mathlib Real.arcsin

History

  • 2026-10-26: add by m2/dev
  • 2026-10-27: outcome by agent

De Morgan's laws HW5C0SEJTF

URIm2://inv/HW5C0SEJTF
Kindstatement
Layertextbook
Sources1
Outcomenode (a node has the same Wikidata item as the row)
NodeDe Morgan's laws 09PKJKA6J0

Mentions

History

  • 2026-10-26: add by m2/dev
  • 2026-10-27: outcome by agent

estimate HW65W6B71J

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

Mentions

History

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

geographic coordinate system HW9M13T9R7

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

Mentions

History

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

HWBPN8JNSN HWBPN8JNSN

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

Conway's Game of Life HWCE518T7R

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

Mentions

History

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

smooth scheme HWDWE9JX8M

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

Mentions

History

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

hyperbolic spiral HWE0WZRPAJ

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

Mentions

History

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

pentagonal triangular number HWK74E4ZNB

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

Mentions

History

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

triangle geometry HWMFVXR0G3

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

Mentions

History

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

Giordano Bruno HWQTJ3H5Z9

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

De Bruijn's theorem HWRK6032ZA

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

Mentions

History

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

enumerative combinatorics HWWYXNSB3P

URIm2://inv/HWWYXNSB3P
Kindtopic
Layertextbook
MSC05Axx
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Clifford module HWXCM7N1MN

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

Mentions

History

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

Prüfer sequence HWXJMM6M3H

URIm2://inv/HWXJMM6M3H
Kindconcept
Layertextbook
Sources1
Outcomenode (a node has the same name as the row)
NodePrüfer sequence 09PV9JSY6E

Mentions

History

  • 2026-10-26: add by m2/dev
  • 2026-10-27: outcome by agent