Inventory rows 23

2306N5PMKV 2306N5PMKV

URI	`m2://inv/2306N5PMKV`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_scv: lebl_scv scv.tex#defn-32 (definition). In VNMV985MXX, defn, section C

History

2026-11-01: add by m2/v0.6.13

2307XZJJ6N 2307XZJJ6N

URI	`m2://inv/2307XZJJ6N`
Kind	statement
Layer	research
MSC	17-XX, 57-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10262#2MFX (statement). In MVSGDTN2PB/e1, theorem 3.6

History

2026-10-29: add by m2/v0.4.10

Politically-motivated pseudoscience 230CVTDVPT

URI	`m2://inv/230CVTDVPT`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Pseudoscience#MH5M, Politically-motivated pseudoscience (unknown)

History

2026-11-02: add by m2/dev

Marie-Claude Arnaud 230D7K47ZX

URI	`m2://inv/230D7K47ZX`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A94U, Marie-Claude Arnaud (topic)

History

2026-11-02: add by m2/dev

230RZ5A0CH 230RZ5A0CH

URI	`m2://inv/230RZ5A0CH`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/rep-theory/rep-alg.tex#claim-1 (statement). In RZP28ERRZV, claim, section 80.6

History

2026-11-01: add by m2/v0.6.13

Nowhere commutative semigroup 230T19RJ1F

URI	`m2://inv/230T19RJ1F`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Nowhere commutative semigroup, Nowhere commutative semigroup (definition). Also Wikidata Q7066678

History

2026-11-02: add by m2/dev

230TD4S8Z7 230TD4S8Z7

URI	`m2://inv/230TD4S8Z7`
Kind	statement
Layer	research
MSC	05-XX, 51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06300#QEOD (statement). In 751KSRS7WT/e1, lemma 5.8

History

2026-10-29: add by m2/v0.4.10

230V4C40F4 230V4C40F4

URI	`m2://inv/230V4C40F4`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.05602#C5HL (statement). In W88890HB4Z/e1, theorem 4.4

History

2026-10-29: add by m2/v0.4.10

Distinguished space 230X46R9JF

URI	`m2://inv/230X46R9JF`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Distinguished space, Distinguished space (definition). Also Wikidata Q96376454

History

2026-11-02: add by m2/dev

Cayley transform 2312R7DJHE

URI	`m2://inv/2312R7DJHE`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06653#2HMD, Cayley transform (statement). In 9D2N76AJAT/e1, lemma D.8

History

2026-10-29: add by m2/v0.4.10

Five-term decomposition 231B14M786

URI	`m2://inv/231B14M786`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.39837#V6SR, Five-term decomposition (statement). In MDQXTBEK0F/e1, lemma B.2

History

2026-10-30: add by m2/v0.4.12

The group $\muthree$ 231FVTB36J

URI	`m2://inv/231FVTB36J`
Kind	statement
Layer	research
MSC	05-XX, 11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.07905#CX0O, The group $\muthree$ (statement). In 88GEN3Z5VG/e1, lemma 7.4

History

2026-10-29: add by m2/v0.4.10

Nissan Deliatitz 231GYDZGK7

URI	`m2://inv/231GYDZGK7`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#MJWB, Nissan Deliatitz (definition)

History

2026-11-02: add by m2/dev

Geometric analysis 231JFPRZW8

URI	`m2://inv/231JFPRZW8`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Geometric analysis, Geometric analysis (topic). Also Wikidata Q5535474

History

2026-11-02: add by m2/dev

231M09321G 231M09321G

URI	`m2://inv/231M09321G`
Kind	definition
Layer	research
MSC	19-XX, 46-XX, 47-XX, 55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17060#LEDS (definition). In 5KR3MHYVV6/e1, definition 3.0

History

2026-10-28: add by m2/v0.4.2

23217P12J7 23217P12J7

URI	`m2://inv/23217P12J7`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2207.07461#0VVB (statement). In GAG532VMPF/e1, proposition 3.2.7

History

2026-10-27: add by m2/v0.3.5

Algorithms 23240JHDAV

URI	`m2://inv/23240JHDAV`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Spanning tree#PJZB, Algorithms (definition)

History

2026-11-02: add by m2/dev

2324S118WT 2324S118WT

URI	`m2://inv/2324S118WT`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 3.5

History

2026-11-01: add by m2/v0.6.13

ALOPEX 2324XZ9NJB

URI	`m2://inv/2324XZ9NJB`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of algorithms#XVSV, ALOPEX (unknown)

History

2026-11-02: add by m2/dev

planar 232KE0GS28

URI	`m2://inv/232KE0GS28`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

levin_dmoi: levin_dmoi index/5.1/planar, planar (concept). In Y91XFCEVHQ, index, section 5.1

History

2026-11-01: add by m2/v0.6.13

Cubic-triangular tiling honeycomb 232P969VB4

URI	`m2://inv/232P969VB4`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Cubic-triangular tiling honeycomb, Cubic-triangular tiling honeycomb (definition). Also Wikidata Q17077824

History

2026-11-02: add by m2/dev

Projection to the Gauss--Chebyshev formula 232SZ3AE5E

URI	`m2://inv/232SZ3AE5E`
Kind	statement
Layer	research
MSC	51-XX, 52-XX, 65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11814#ZR1S, Projection to the Gauss--Chebyshev formula (statement). In MXG9FV78NP/e1, theorem 3.1

History

2026-10-28: add by m2/v0.4.3

Elements 232T9ZXKZX

URI	`m2://inv/232T9ZXKZX`
Kind	definition
Layer	textbook
Sources	2
Outcome	out_of_scope (a book, not an item of mathematics)
Node	Euclid's Elements 83WHDAV68J

Mentions

wikidata: Wikidata Q172891, Elements (unknown). Also EoM Elements-of-Euclid, MathWorld Elements, nLab Elements, ProofWiki Book:Euclid/The_Elements
wikipedia: Wikipedia Euclid's Elements, Euclid's Elements (definition). Also Wikidata Q172891

History

2026-10-26: add by m2/dev

Weierstrass point 232ZBQ9P5Q

URI	`m2://inv/232ZBQ9P5Q`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical properties of points#C9OF, Weierstrass point (definition)

History

2026-11-02: add by m2/dev

Definition 2332JE8GSB

URI	`m2://inv/2332JE8GSB`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Integration by parts operator#T2TD, Definition (definition)

History

2026-11-02: add by m2/dev

Factorial moment 2337GWEXET

URI	`m2://inv/2337GWEXET`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Factorial moment, Factorial moment (definition). Also Wikidata Q716168

History

2026-11-02: add by m2/dev

List of regular polytopes 233M7DKFAT

URI	`m2://inv/233M7DKFAT`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical examples#T6WT, List of regular polytopes (topic)
wikipedia: Wikipedia Lists of mathematics topics#D0GM, List of regular polytopes (topic)

History

2026-11-02: add by m2/dev

233P90N71Q 233P90N71Q

URI	`m2://inv/233P90N71Q`
Kind	definition
Layer	research
MSC	18-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 1002.0879#R0M0 (definition). In M0SQY5EZN5/e1, definition 2.8.8

History

2026-10-27: add by m2/v0.3.5

transcendence degree 233V1EH1RK

URI	`m2://inv/233V1EH1RK`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1387602, transcendence degree (unknown). Also MathWorld TranscendenceDegree, nLab transcendence degree

History

2026-10-26: add by m2/dev

$n$th derivative 233VBK2H98

URI	`m2://inv/233VBK2H98`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra index/3.3.1/n-th-derivative, $n$th derivative (concept). In E59CDZA4DP, index, section 3.3.1

History

2026-11-01: add by m2/v0.6.13

Measurable projection theorem 2344WYJP3N

URI	`m2://inv/2344WYJP3N`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Projection (measure theory)#G7JY, Measurable projection theorem (statement)

History

2026-11-02: add by m2/dev

Definition 2345EQTDR6

URI	`m2://inv/2345EQTDR6`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Einstein tensor#DS9V, Definition (definition)

History

2026-11-02: add by m2/dev

Exceptional isomorphisms of classical groups 2347DY4V1D

URI	`m2://inv/2347DY4V1D`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Exceptional isomorphisms of classical groups, Exceptional isomorphisms of classical groups (definition). Also Wikidata Q139258889

History

2026-11-02: add by m2/dev

234ABVENJ0 234ABVENJ0

URI	`m2://inv/234ABVENJ0`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2410.22607#9FY4 (statement). In 6GT33A43SY/e1, lemma 2.4

History

2026-10-27: add by m2/v0.3.5

234M4GG6Y1 234M4GG6Y1

URI	`m2://inv/234M4GG6Y1`
Kind	statement
Layer	research
MSC	49-XX, 62-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11869#28Y7 (statement). In B5GGGWNJA6/e1, corollary 3

History

2026-10-28: add by m2/v0.4.3

Examples 234RAVF0TQ

URI	`m2://inv/234RAVF0TQ`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Numerical continuation#2W4Y, Examples (example)

History

2026-11-02: add by m2/dev

János Bolyai Mathematical Society 2353TDE0HB

URI	`m2://inv/2353TDE0HB`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical societies#1BNW, János Bolyai Mathematical Society (definition)

History

2026-11-02: add by m2/dev

Judgment sample 2356VYB0T9

URI	`m2://inv/2356VYB0T9`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Judgment sample, Judgment sample (definition). Also Wikidata Q6302782

History

2026-11-02: add by m2/dev

235D8TCCVX 235D8TCCVX

URI	`m2://inv/235D8TCCVX`
Kind	definition
Layer	research
MSC	60-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2503.08488#VIBT (definition). In QH5MZXMXQH/e1, definition 6.7

History

2026-10-27: add by m2/v0.3.5

Hadamard matrix 235JEMD7BP

URI	`m2://inv/235JEMD7BP`
Kind	conjecture
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of things named after Jacques Hadamard#OVPK, Hadamard matrix (conjecture)

History

2026-11-02: add by m2/dev

Laurent Fargues 235NFN6VF2

URI	`m2://inv/235NFN6VF2`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#M6DC, Laurent Fargues (unknown)

History

2026-11-02: add by m2/dev

Harvey P. Greenspan 2364C17ZG2

URI	`m2://inv/2364C17ZG2`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Harvey P. Greenspan, Harvey P. Greenspan (topic). Also Wikidata Q23883576

History

2026-11-02: add by m2/dev

236805HQCE 236805HQCE

URI	`m2://inv/236805HQCE`
Kind	statement
Layer	research
MSC	14-XX, 49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24542#L0PH (statement)

History

2026-11-01: add by m2/v0.6.15

Zermelo 236936BS17

URI	`m2://inv/236936BS17`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of set theory#M63I, Zermelo (definition)

History

2026-11-02: add by m2/dev

Benjamin Gompertz 2369Y77TXX

URI	`m2://inv/2369Y77TXX`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of actuaries#K2WW, Benjamin Gompertz (topic)

History

2026-11-02: add by m2/dev

Collusion 236D8KRJ4J

URI	`m2://inv/236D8KRJ4J`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Collusion, Collusion (definition). Also Wikidata Q701521

History

2026-11-02: add by m2/dev

Definitions 236NTAC09F

URI	`m2://inv/236NTAC09F`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Toda's theorem#JWO0, Definitions (definition)

History

2026-11-02: add by m2/dev

Far-field range and the 2D2 / λ criterion 2370SJ7JEA

URI	`m2://inv/2370SJ7JEA`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Fourier optics#V43F, Far-field range and the 2D2 / λ criterion (statement)

History

2026-11-02: add by m2/dev

One-way wave equation 23724Z4E28

URI	`m2://inv/23724Z4E28`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia One-way wave equation, One-way wave equation (definition). Also Wikidata Q97359230

History

2026-11-02: add by m2/dev

lens space 237DANM028

URI	`m2://inv/237DANM028`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#GYMW, lens space (definition)

History

2026-11-02: add by m2/dev

237DGXPN6J 237DGXPN6J

URI	`m2://inv/237DGXPN6J`
Kind	statement
Layer	research
MSC	11-XX, 37-XX, 51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24623#UJ85 (statement)

History

2026-11-01: add by m2/v0.6.15

Tomography 237GNGV69H

URI	`m2://inv/237GNGV69H`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Tomography, Tomography (definition). Also Wikidata Q841267

History

2026-11-02: add by m2/dev

Algorithm 237KEPTN3P

URI	`m2://inv/237KEPTN3P`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia CDMF#89VK, Algorithm (definition)

History

2026-11-02: add by m2/dev

Properties 238DCVQ3PA

URI	`m2://inv/238DCVQ3PA`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Euclidean random matrix#12FY, Properties (statement)

History

2026-11-02: add by m2/dev

$\kappa$-comparison angle 238KZAC6AV

URI	`m2://inv/238KZAC6AV`
Kind	definition
Layer	research
MSC	51-XX, 52-XX, 62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17909#95IR, $\kappa$-comparison angle (definition). In YXZX6Z8S6A/e1, definition 2.5

History

2026-10-28: add by m2/v0.4.2

238NJW00FN 238NJW00FN

URI	`m2://inv/238NJW00FN`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2404.06445#BGAY (statement). In 12JKZ8EN52/e1, corollary 7.1

History

2026-10-27: add by m2/v0.3.5

238PPXHJFP 238PPXHJFP

URI	`m2://inv/238PPXHJFP`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/measure/measure-space.tex#example-3 (example). In RZP28ERRZV, example, section 67.6

History

2026-11-01: add by m2/v0.6.13

Method 238R1XP0SJ

URI	`m2://inv/238R1XP0SJ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Approximate Bayesian computation#FG9K, Method (definition)

History

2026-11-02: add by m2/dev

2399594QTQ 2399594QTQ

URI	`m2://inv/2399594QTQ`
Kind	statement
Layer	research
MSC	20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.14914#JACD (statement). In CHC3T113Y4/e1, theorem 4.8

History

2026-10-28: add by m2/v0.4.2

Alternative definition 239DAEKZCT

URI	`m2://inv/239DAEKZCT`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Observed information#5W9K, Alternative definition (definition)

History

2026-11-02: add by m2/dev

Pointwise consistency of the convex $K$-NN pre-image map 239M9PHS39

URI	`m2://inv/239M9PHS39`
Kind	statement
Layer	research
MSC	65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24332#91KS, Pointwise consistency of the convex $K$-NN pre-image map (statement)

History

2026-11-01: add by m2/v0.6.15

Compactness of the admissible laws 239MJYRXNQ

URI	`m2://inv/239MJYRXNQ`
Kind	statement
Layer	research
MSC	00-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38228#W0QJ, Compactness of the admissible laws (statement). In 9YAE8FNQST/e1, lemma 19.4

History

2026-10-30: add by m2/v0.4.12

Angle bisector theorem 239P9Q6Z3Q

URI	`m2://inv/239P9Q6Z3Q`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bisection#OIXY, Angle bisector theorem (statement)

History

2026-11-02: add by m2/dev

$p$-adic inhomogeneous Littlewood 239T6N74HQ

URI	`m2://inv/239T6N74HQ`
Kind	conjecture
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.15809#NITU, $p$-adic inhomogeneous Littlewood (conjecture). In 6GBT11XKAF/e1, conjecture 1.6

History

2026-10-28: add by m2/v0.4.2

239ZRBGJ5F 239ZRBGJ5F

URI	`m2://inv/239ZRBGJ5F`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25896#65NB (statement)

History

2026-11-01: add by m2/v0.6.15

23A8M6C3N8 23A8M6C3N8

URI	`m2://inv/23A8M6C3N8`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/lambda-calculus/church-rosser/definitions-and-properties.tex#thm:str (statement). In PKGMM3P5QY, thm, section 36.1

History

2026-11-01: add by m2/v0.6.13

23AD6W8PTN 23AD6W8PTN

URI	`m2://inv/23AD6W8PTN`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.23593#2KXO (statement)

History

2026-11-02: add by m2/v0.6.17

Computably Presented Compact Metric Spaces 23AQS756H1

URI	`m2://inv/23AQS756H1`
Kind	definition
Layer	research
MSC	03-XX, 51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31352#Q7NH, Computably Presented Compact Metric Spaces (definition). In SQZGKRDVBX/e1, definition 3.2

History

2026-10-31: add by m2/v0.5.6

23AVXZF529 23AVXZF529

URI	`m2://inv/23AVXZF529`
Kind	statement
Layer	research
MSC	51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2208.04502#BC17 (statement). In BT6E9BXXF3/e1, theorem 1.2

History

2026-10-27: add by m2/v0.3.5

Approximation property 23B7H5VKG9

URI	`m2://inv/23B7H5VKG9`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Approximation property (ring theory), Approximation property (definition). Also Wikidata Q55604106

History

2026-11-02: add by m2/dev

Enthymeme 23B8KHPVV4

URI	`m2://inv/23B8KHPVV4`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Enthymeme, Enthymeme (definition). Also Wikidata Q422913

History

2026-11-02: add by m2/dev

Two mutual fund theorem 23BJJ036QH

URI	`m2://inv/23BJJ036QH`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Modern portfolio theory#LL64, Two mutual fund theorem (statement)

History

2026-11-02: add by m2/dev

23BQFFECYT 23BQFFECYT

URI	`m2://inv/23BQFFECYT`
Kind	statement
Layer	research
MSC	14-XX, 30-XX, 32-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.28411#MDYO (statement)

History

2026-11-01: add by m2/v0.6.15

Malgrange–Zerner theorem 23BQK3YS60

URI	`m2://inv/23BQK3YS60`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#OGA0, Malgrange–Zerner theorem (statement)

History

2026-11-02: add by m2/dev

23BQQ7GXS5 23BQQ7GXS5

URI	`m2://inv/23BQQ7GXS5`
Kind	statement
Layer	research
MSC	49-XX, 65-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02983#65PO (statement). In HMNKENER22/e1, proposition A.3

History

2026-10-29: add by m2/v0.4.12

$n=127$: a moment criterion, uniform in $p$ 23BTB4B8AX

URI	`m2://inv/23BTB4B8AX`
Kind	statement
Layer	research
MSC	11-XX, 14-XX, 20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.04099#FD0I, $n=127$: a moment criterion, uniform in $p$ (statement). In QPJ6FWG5HD/e1, theorem 2.58

History

2026-10-29: add by m2/v0.4.12

OV certificate 23BVHS0408

URI	`m2://inv/23BVHS0408`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Public key certificate#Q0R3, OV certificate (unknown)

History

2026-11-02: add by m2/dev

Carl-Erik Särndal 23BVPZ36M7

URI	`m2://inv/23BVPZ36M7`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Carl-Erik Särndal, Carl-Erik Särndal (topic). Also Wikidata Q113272739

History

2026-11-02: add by m2/dev

23BW8MFF94 23BW8MFF94

URI	`m2://inv/23BW8MFF94`
Kind	statement
Layer	research
MSC	62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.15111#4L4F (statement). In 6RE6JYE4GP/e1, corollary B.4

History

2026-10-28: add by m2/v0.4.2

23BXM3T4E5 23BXM3T4E5

URI	`m2://inv/23BXM3T4E5`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11517#7ACD (statement). In 87NF85QAKT/e1, lemma 5.5

History

2026-10-28: add by m2/v0.4.3

Common constant spaces 23BZCAVGFX

URI	`m2://inv/23BZCAVGFX`
Kind	statement
Layer	research
MSC	05-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02407#JJ3C, Common constant spaces (statement). In ZZER8ZBSCR/e1, lemma 5.3

History

2026-10-29: add by m2/v0.4.12

Definition of a wavelet 23C4ZND7G7

URI	`m2://inv/23C4ZND7G7`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Wavelet#8HTV, Definition of a wavelet (definition)

History

2026-11-02: add by m2/dev

partition, antichain 23C5ADDCCX

URI	`m2://inv/23C5ADDCCX`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

applied_combinatorics: applied_combinatorics index/16.1.1/partition-antichain, partition, antichain (concept). In QKM9DD2H56, index, section 16.1.1

History

2026-11-01: add by m2/v0.6.13

23C5E1WAT7 23C5E1WAT7

URI	`m2://inv/23C5E1WAT7`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 51.4

History

2026-11-01: add by m2/v0.6.13

23CA80G9T8 23CA80G9T8

URI	`m2://inv/23CA80G9T8`
Kind	statement
Layer	research
MSC	51-XX, 52-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.03373#77SY (statement). In ZA7DBT3NWR/e1, theorem 1

History

2026-10-29: add by m2/v0.4.12

Modal fallacy 23CBWJB374

URI	`m2://inv/23CBWJB374`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Modal fallacy, Modal fallacy (definition). Also Wikidata Q42417337

History

2026-11-02: add by m2/dev

23CCSXGHP6 23CCSXGHP6

URI	`m2://inv/23CCSXGHP6`
Kind	statement
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.19449#1TBG (statement). In 8ZKPJ3CBDF/e1, proposition 3.6

History

2026-10-28: add by m2/v0.4.2

Religion, Language and Identity 23CET3Q68P

URI	`m2://inv/23CET3Q68P`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Demographics of Tees Valley#0MC3, Religion, Language and Identity (statement)

History

2026-11-02: add by m2/dev

23CFMKCSXA 23CFMKCSXA

URI	`m2://inv/23CFMKCSXA`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

austin_ula: austin_ula src/exercises/exercises3-3.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 3.3

History

2026-11-01: add by m2/v0.6.13

23CJT488JS 23CJT488JS

URI	`m2://inv/23CJT488JS`
Kind	conjecture
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.21036#2DGG (conjecture). In G0M4N3E0CG/e1, conjecture 4.1

History

2026-10-27: add by m2/v0.4.2

23CM4D053D 23CM4D053D

URI	`m2://inv/23CM4D053D`
Kind	statement
Layer	research
MSC	49-XX, 62-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.22642#JPWN (statement)

History

2026-11-02: add by m2/v0.6.17

Inhomogeneous Littlewood 23CVDBA037

URI	`m2://inv/23CVDBA037`
Kind	conjecture
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.15809#USHQ, Inhomogeneous Littlewood (conjecture). In 6GBT11XKAF/e1, conjecture 1.3

History

2026-10-28: add by m2/v0.4.2

Essential non-satiation 23D5ZT5F08

URI	`m2://inv/23D5ZT5F08`
Kind	definition
Layer	research
MSC	46-XX, 49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20542#JR8K, Essential non-satiation (definition). In 8PZXZ8Y9FK/e1, definition 4.3

History

2026-10-27: add by m2/v0.4.2

23D8F6851W 23D8F6851W

URI	`m2://inv/23D8F6851W`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/calculus/p-adic.tex#proof-1 (proof). In RZP28ERRZV, proof, section 33.2.3

History

2026-11-01: add by m2/v0.6.13

\probname{CliqueCover 23DBNHKCWC

URI	`m2://inv/23DBNHKCWC`
Kind	problem
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38436#IUWB, \probname{CliqueCover (problem). In 702AF3E4AF/e1, problem 4.11

History

2026-10-30: add by m2/v0.4.12

Gower's distance 23DGVAN6RC

URI	`m2://inv/23DGVAN6RC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Gower's distance, Gower's distance (definition). Also Wikidata Q126708917

History

2026-11-02: add by m2/dev

International Mathematical Modeling Challenge 23DKHTGR94

URI	`m2://inv/23DKHTGR94`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematics competitions#XJOJ, International Mathematical Modeling Challenge (definition)

History

2026-11-02: add by m2/dev

Matrix determinant lemma 23DQM2K8CP

URI	`m2://inv/23DQM2K8CP`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Matrix determinant lemma, Matrix determinant lemma (statement). Also Wikidata Q6787868

History

2026-11-02: add by m2/dev

23DQM7CWY7 23DQM7CWY7

URI	`m2://inv/23DQM7CWY7`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_scv: lebl_scv scv.tex#exercise-15 (exercise). In VNMV985MXX, exercise, section 1.2

History

2026-11-01: add by m2/v0.6.13

23DWP3TKK4 23DWP3TKK4

URI	`m2://inv/23DWP3TKK4`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33697#O6NK (statement). In Q6GGQ29TRC/e1, corollary

History

2026-10-30: add by m2/v0.4.12

23E0RF7BCC 23E0RF7BCC

URI	`m2://inv/23E0RF7BCC`
Kind	problem
Layer	research
MSC	00-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10581#PXUA (problem). In 6V42A71SPC/e1, problem 1

History

2026-10-29: add by m2/v0.4.10

Definitions 23E1D4YCKE

URI	`m2://inv/23E1D4YCKE`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Average#LGLU, Definitions (definition)

History

2026-11-02: add by m2/dev

Enumerator polynomial 23E4EC6YH4

URI	`m2://inv/23E4EC6YH4`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#OZUK, Enumerator polynomial (definition)

History

2026-11-02: add by m2/dev

Leo Perutz 23E6AR7WHY

URI	`m2://inv/23E6AR7WHY`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Leo Perutz, Leo Perutz (topic). Also Wikidata Q93450

History

2026-11-02: add by m2/dev

Alex James 23EDP7RD5M

URI	`m2://inv/23EDP7RD5M`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Alex James (mathematician), Alex James (topic). Also Wikidata Q61796280

History

2026-11-02: add by m2/dev

Arthur Stanley Ramsey 23EGQW02TB

URI	`m2://inv/23EGQW02TB`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Arthur Stanley Ramsey, Arthur Stanley Ramsey (topic). Also Wikidata Q11108446

History

2026-11-02: add by m2/dev

23EHCN05A6 23EHCN05A6

URI	`m2://inv/23EHCN05A6`
Kind	statement
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.36714#5ZZJ (statement). In Z2BKQBEMTQ/e1, theorem 1.1

History

2026-10-30: add by m2/v0.4.12

23EPDBG35M 23EPDBG35M

URI	`m2://inv/23EPDBG35M`
Kind	example
Layer	research
MSC	16-XX, 20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25539#A55Y (example)

History

2026-11-01: add by m2/v0.6.15

Kepler's third law of planetary motion 23ETJ3JFDD

URI	`m2://inv/23ETJ3JFDD`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of formulae involving π#EJM5, Kepler's third law of planetary motion (statement)

History

2026-11-02: add by m2/dev

23EYWYXFF0 23EYWYXFF0

URI	`m2://inv/23EYWYXFF0`
Kind	statement
Layer	research
MSC	60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10525#8UEK (statement). In N3K26VPX0R/e1, corollary 2.3

History

2026-10-29: add by m2/v0.4.10

23F2P7CHRB 23F2P7CHRB

URI	`m2://inv/23F2P7CHRB`
Kind	statement
Layer	research
MSC	26-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2309.01359#9PZ9 (statement). In BFV19FC2G7/e1, proposition 2.9

History

2026-10-27: add by m2/v0.3.5

23F7A3Z38B 23F7A3Z38B

URI	`m2://inv/23F7A3Z38B`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.30819#Z8CH (statement). In TE6082EE1K/e1, theorem 2

History

2026-10-31: add by m2/v0.5.6

23FD9ZZNZA 23FD9ZZNZA

URI	`m2://inv/23FD9ZZNZA`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.40207#MVZT (statement). In JXTG8KP95P/e1, lemma 6.5

History

2026-10-30: add by m2/v0.4.12

De Boor's algorithm 23FDMVM0TC

URI	`m2://inv/23FDMVM0TC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia De Boor's algorithm, De Boor's algorithm (definition). Also Wikidata Q5244271

History

2026-11-02: add by m2/dev

uniqueness implies piecewise linear 23FDP2JW8E

URI	`m2://inv/23FDP2JW8E`
Kind	statement
Layer	research
MSC	49-XX, 62-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2409.03461#TODR, uniqueness implies piecewise linear (statement). In XJVZSGCX5V/e1, lemma 8

History

2026-10-27: add by m2/v0.3.5

Kaliman's theorem 23FRNPECC2

URI	`m2://inv/23FRNPECC2`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Locally nilpotent derivation#U366, Kaliman's theorem (statement)

History

2026-11-02: add by m2/dev

Birkhoff–Kakutani theorem 23FZF169DE

URI	`m2://inv/23FZF169DE`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Metrizable topological vector space#LA3Q, Birkhoff–Kakutani theorem (statement)

History

2026-11-02: add by m2/dev

Vector potential 23GFFM5M5F

URI	`m2://inv/23GFFM5M5F`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of multivariable calculus topics#ISN6, Vector potential (definition)

History

2026-11-02: add by m2/dev

Human–robot interaction 23GJQ8SH8V

URI	`m2://inv/23GJQ8SH8V`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of cognitive biases#IWY2, Human–robot interaction (unknown)

History

2026-11-02: add by m2/dev

23GQQVXR9J 23GQQVXR9J

URI	`m2://inv/23GQQVXR9J`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise:mssubspace (exercise). In E59CDZA4DP, exercise, section 4.2.4

History

2026-11-01: add by m2/v0.6.13

completely randomized design 23H2YT7CWA

URI	`m2://inv/23H2YT7CWA`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#S75F, completely randomized design (definition)

History

2026-11-02: add by m2/dev

Hermann Bondi 23H3B1VY23

URI	`m2://inv/23H3B1VY23`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of contributors to general relativity#NDYR, Hermann Bondi (unknown)

History

2026-11-02: add by m2/dev

23HACPR5SN 23HACPR5SN

URI	`m2://inv/23HACPR5SN`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.32374#LV8K (statement). In 96D6N9AXQM/e1, corollary 2.4

History

2026-10-31: add by m2/v0.5.6

23HJ1WWGC5 23HJ1WWGC5

URI	`m2://inv/23HJ1WWGC5`
Kind	statement
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.00934#VYH9 (statement). In SHCQDPCF2J/e1, theorem 5.5

History

2026-10-29: add by m2/v0.4.12

23HJK1GPMW 23HJK1GPMW

URI	`m2://inv/23HJK1GPMW`
Kind	statement
Layer	research
MSC	20-XX, 22-XX, 46-XX, 47-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25275#0S7K (statement)

History

2026-11-01: add by m2/v0.6.15

Permutation test 23HRNN2379

URI	`m2://inv/23HRNN2379`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Permutation test, Permutation test (definition). Also Wikidata Q108839445

History

2026-11-02: add by m2/dev

23HS4S0YC6 23HS4S0YC6

URI	`m2://inv/23HS4S0YC6`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24931#7VSC (statement)

History

2026-11-01: add by m2/v0.6.15

Leonhard Euler 23HYTP723Q

URI	`m2://inv/23HYTP723Q`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of logicians#RIR2, Leonhard Euler (topic)

History

2026-11-02: add by m2/dev

23J2Y42M7B 23J2Y42M7B

URI	`m2://inv/23J2Y42M7B`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

austin_ula: austin_ula src/exercises/exercises5-1.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 5.1

History

2026-11-01: add by m2/v0.6.13

Properties. 23J4WTAG97

URI	`m2://inv/23J4WTAG97`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Strictly singular operator#73RX, Properties. (statement)

History

2026-11-02: add by m2/dev

23JB2CAD3J 23JB2CAD3J

URI	`m2://inv/23JB2CAD3J`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08424#E46T (statement). In BVD2HAAKD5/e1, lemma 4.1

History

2026-10-29: add by m2/v0.4.10

Lions–Lax–Milgram theorem 23JE0Z5HWK

URI	`m2://inv/23JE0Z5HWK`
Kind	statement
Layer	textbook
MSC	35-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q1103054, Lions–Lax–Milgram theorem (statement). Also Wikidata Q1103054
thousand_plus: thousand_plus Q1103054, Lions–Lax–Milgram theorem (statement). Also Wikidata Q1103054, Wikipedia Lions–Lax–Milgram theorem
wikidata: Wikidata Q1103054, Lions–Lax–Milgram theorem (statement). Also EoM Lax-Milgram_lemma
wikipedia: Wikipedia Lions–Lax–Milgram theorem, Lions–Lax–Milgram theorem (statement). Also Wikidata Q1103054

History

2026-10-26: add by m2/dev

4f system 23JQCTYR0P

URI	`m2://inv/23JQCTYR0P`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Fourier optics#3L6L, 4f system (unknown)

History

2026-11-02: add by m2/dev

Eigenoperator 23JSWM2YH9

URI	`m2://inv/23JSWM2YH9`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Eigenoperator, Eigenoperator (definition). Also Wikidata Q25111446

History

2026-11-02: add by m2/dev

Bin packing problem 23K1G2Y9VH

URI	`m2://inv/23K1G2Y9VH`
Kind	problem
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bin packing problem, Bin packing problem (problem). Also Wikidata Q814581

History

2026-11-02: add by m2/dev

23K4BEPMJ4 23K4BEPMJ4

URI	`m2://inv/23K4BEPMJ4`
Kind	statement
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2108.03672#RROY (statement). In EZZSZ1F071/e1, lemma 3.26

History

2026-10-27: add by m2/v0.4.0

Hermann–Mauguin notation 23K4F3R23M

URI	`m2://inv/23K4F3R23M`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q903232, Hermann–Mauguin notation (concept). Also MathWorld Hermann-MauguinSymbol

History

2026-10-26: add by m2/dev

type, circle 23KA4KABCP

URI	`m2://inv/23KA4KABCP`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book index/4.3.2/type-circle, type, circle (concept). In N54F33XE07, index, section 4.3.2

History

2026-11-01: add by m2/v0.6.13

23KJZXG2W8 23KJZXG2W8

URI	`m2://inv/23KJZXG2W8`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01855#0VXU (statement). In MM8P5CJR18/e1, proposition 4.5

History

2026-10-29: add by m2/v0.4.12

Applications 23KKJVGZD5

URI	`m2://inv/23KKJVGZD5`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dynamical friction#SLXP, Applications (example)

History

2026-11-02: add by m2/dev

23KN3ZP6F7 23KN3ZP6F7

URI	`m2://inv/23KN3ZP6F7`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.09042#5V0U (statement). In 7CS3N5K9FJ/e1, lemma 20

History

2026-10-29: add by m2/v0.4.10

23KQ5VJ78T 23KQ5VJ78T

URI	`m2://inv/23KQ5VJ78T`
Kind	definition
Layer	research
MSC	17-XX, 57-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 1001.0174#G9LC (definition). In 4P97F3GPJC/e1, definition 2.2

History

2026-10-27: add by m2/v0.3.5

Lemma 23KWEDAXYZ

URI	`m2://inv/23KWEDAXYZ`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Zorn's lemma#HQWT, Lemma (statement)

History

2026-11-02: add by m2/dev

Construction 23KZKZQRDC

URI	`m2://inv/23KZKZQRDC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Rectified 7-orthoplexes#F52C, Construction (definition)

History

2026-11-02: add by m2/dev

Asymptotic homogenization 23M4JBT304

URI	`m2://inv/23M4JBT304`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Asymptotic homogenization, Asymptotic homogenization (definition). Also Wikidata Q4812185

History

2026-11-02: add by m2/dev

Garden of Eden 23M9H71HG9

URI	`m2://inv/23M9H71HG9`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Garden of Eden (cellular automaton), Garden of Eden (definition). Also Wikidata Q1974793

History

2026-11-02: add by m2/dev

Homological mirror symmetry 23MBF7FFQ4

URI	`m2://inv/23MBF7FFQ4`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Homological mirror symmetry, Homological mirror symmetry (definition). Also Wikidata Q11338004

History

2026-11-02: add by m2/dev

Asymptotically Exponential and Independent 23MD595YTK

URI	`m2://inv/23MD595YTK`
Kind	definition
Layer	research
MSC	60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12716#T6OE, Asymptotically Exponential and Independent (definition). In M6BCSQSM3R/e1, definition 5

History

2026-10-28: add by m2/v0.4.2

Duggan–Schwartz theorem 23MEDNB1X1

URI	`m2://inv/23MEDNB1X1`
Kind	statement
Layer	textbook
MSC	91-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q3984011, Duggan–Schwartz theorem (statement). Also Wikidata Q3984011
thousand_plus: thousand_plus Q3984011, Duggan–Schwartz theorem (statement). Also Wikidata Q3984011, Wikipedia Duggan–Schwartz theorem
wikipedia: Wikipedia Duggan–Schwartz theorem, Duggan–Schwartz theorem (statement). Also Wikidata Q3984011

History

2026-10-26: add by m2/dev

23MS6M4WEQ 23MS6M4WEQ

URI	`m2://inv/23MS6M4WEQ`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/computability/recursive-functions/examples.tex#proof-7 (proof). In PKGMM3P5QY, proof, section 3.20

History

2026-11-01: add by m2/v0.6.13

Sparse extraction 23MTZVRWZG

URI	`m2://inv/23MTZVRWZG`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17371#4NK0, Sparse extraction (statement). In FF92TNYHQR/e1, proposition 4

History

2026-10-28: add by m2/v0.4.2

Jacopo Zabarella 23MVE4ABHK

URI	`m2://inv/23MVE4ABHK`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of logicians#4Z7S, Jacopo Zabarella (topic)

History

2026-11-02: add by m2/dev

May stability 23MXY43PT1

URI	`m2://inv/23MXY43PT1`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ecological stability#S25A, May stability (unknown)

History

2026-11-02: add by m2/dev

23MZ4MK5H6 23MZ4MK5H6

URI	`m2://inv/23MZ4MK5H6`
Kind	statement
Layer	research
MSC	16-XX, 26-XX, 30-XX, 32-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13532#G8YY (statement). In 9B0X8YPF3P/e1, proposition 9.3

History

2026-10-28: add by m2/v0.4.2

Heap (mathematics) 23N6M21KCG

URI	`m2://inv/23N6M21KCG`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of abstract algebra topics#LQ1V, Heap (mathematics) (definition)

History

2026-11-02: add by m2/dev

Examples 23NFGD841V

URI	`m2://inv/23NFGD841V`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Pascal's pyramid#KQO9, Examples (example)

History

2026-11-02: add by m2/dev

Half angle formula 23NKJNPYNB

URI	`m2://inv/23NKJNPYNB`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Jacobi elliptic functions#LKRB, Half angle formula (statement)

History

2026-11-02: add by m2/dev

23P2TT2W99 23P2TT2W99

URI	`m2://inv/23P2TT2W99`
Kind	definition
Layer	research
MSC	46-XX, 47-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24023#3YX6 (definition)

History

2026-11-02: add by m2/v0.6.17

23PC4TA6F6 23PC4TA6F6

URI	`m2://inv/23PC4TA6F6`
Kind	statement
Layer	research
MSC	65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.26675#EA9F (statement)

History

2026-11-01: add by m2/v0.6.15

23PDYZ0Z6R 23PDYZ0Z6R

URI	`m2://inv/23PDYZ0Z6R`
Kind	statement
Layer	research
MSC	03-XX, 11-XX, 26-XX, 46-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.21725#57S0 (statement). In BQDZN6GRGF/e1, corollary 4.6

History

2026-10-27: add by m2/v0.4.2

Algebraic laws 23PVH9E0VJ

URI	`m2://inv/23PVH9E0VJ`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Law (mathematics)#NCYG, Algebraic laws (statement)

History

2026-11-02: add by m2/dev

Hidden boundary 23Q0A4SA85

URI	`m2://inv/23Q0A4SA85`
Kind	definition
Layer	research
MSC	65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.05064#6S37, Hidden boundary (definition). In 11SW7NAN7M/e1, definition 2.8

History

2026-10-29: add by m2/v0.4.12

23Q0JFPCY0 23Q0JFPCY0

URI	`m2://inv/23Q0JFPCY0`
Kind	statement
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.40054#EN8L (statement). In CA4C9PFM1E/e1, proposition 6.3.3

History

2026-10-30: add by m2/v0.4.12

Example 23Q1YV7YH2

URI	`m2://inv/23Q1YV7YH2`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Stirling number#URC6, Example (example)

History

2026-11-02: add by m2/dev

Gödel numbering 23QD392X0D

URI	`m2://inv/23QD392X0D`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of logic#UXB1, Gödel numbering (definition)

History

2026-11-02: add by m2/dev

Properties 23QEP73F4B

URI	`m2://inv/23QEP73F4B`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Approximately continuous function#MYPA, Properties (statement)

History

2026-11-02: add by m2/dev

23QFZ828WF 23QFZ828WF

URI	`m2://inv/23QFZ828WF`
Kind	conjecture
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24463#D5KS (conjecture)

History

2026-11-01: add by m2/v0.6.15

23QJT0A8SM 23QJT0A8SM

URI	`m2://inv/23QJT0A8SM`
Kind	statement
Layer	research
MSC	16-XX, 18-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.18302#0YN9 (statement). In VJTRH1S4JA/e1, theorem 2.2

History

2026-10-28: add by m2/v0.4.2

Harris Insights & Analytics 23QNAJX58Z

URI	`m2://inv/23QNAJX58Z`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of polling organizations#0K3S, Harris Insights & Analytics (unknown)
wikipedia: Wikipedia List of polling organizations#PR9E, Harris Insights & Analytics (unknown)

History

2026-11-02: add by m2/dev

Hausdorff paradox 23R2TSJ2EN

URI	`m2://inv/23R2TSJ2EN`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Hausdorff paradox 9G9G8ED97D

Mentions

wikidata: Wikidata Q1959890, Hausdorff paradox (statement). Also ProofWiki Hausdorff_Paradox
wikipedia: Wikipedia Hausdorff paradox, Hausdorff paradox (statement). Also Wikidata Q1959890

History

2026-10-26: add by m2/dev

Complete next-to-top strand 23R3D3X0K6

URI	`m2://inv/23R3D3X0K6`
Kind	statement
Layer	research
MSC	05-XX, 13-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20649#FYBC, Complete next-to-top strand (statement). In XDTM624YPE/e1, corollary 7.2

History

2026-10-27: add by m2/v0.4.2

Mazur–Ulam theorem 23R3MSZEHK

URI	`m2://inv/23R3MSZEHK`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#G483, Mazur–Ulam theorem (statement)

History

2026-11-02: add by m2/dev

Bounds for $\mathrm{EPG}$ 23R5WA0VY8

URI	`m2://inv/23R5WA0VY8`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17677#ZI3F, Bounds for $\mathrm{EPG}$ (statement). In 5E9G06XJKC/e1, lemma D.3

History

2026-10-28: add by m2/v0.4.2

Christian Genest 23RD89GP51

URI	`m2://inv/23RD89GP51`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#X8WH, Christian Genest (topic)

History

2026-11-02: add by m2/dev

23REWG6CEX 23REWG6CEX

URI	`m2://inv/23REWG6CEX`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2110.12380#OHGB (statement). In M6MQPEDQ8N/e1, corollary 4.9

History

2026-10-27: add by m2/v0.3.5

23RF2JA6VJ 23RF2JA6VJ

URI	`m2://inv/23RF2JA6VJ`
Kind	definition
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.00934#4BG2 (definition). In SHCQDPCF2J/e1, definition 5.1

History

2026-10-29: add by m2/v0.4.12

Examples 23RKF78FBV

URI	`m2://inv/23RKF78FBV`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Generalized symmetric group#AQ95, Examples (example)

History

2026-11-02: add by m2/dev

Applications 23RNNGMW91

URI	`m2://inv/23RNNGMW91`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Common knowledge (logic)#6Y9B, Applications (example)

History

2026-11-02: add by m2/dev

Euler's formula 23RVM0H20Z

URI	`m2://inv/23RVM0H20Z`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#eulersformula, Euler's formula (statement). In E9HS8K3A52, theorem, section 6.2.2

History

2026-11-01: add by m2/v0.6.13

Pedro Teotónio Pereira 23RVY3Z0RX

URI	`m2://inv/23RVY3Z0RX`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of actuaries#49XX, Pedro Teotónio Pereira (unknown)

History

2026-11-02: add by m2/dev

Leonard Eugene Dickson 23RXX5F2DH

URI	`m2://inv/23RXX5F2DH`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AYT9, Leonard Eugene Dickson (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DPN4, Leonard Eugene Dickson (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#E3C2, Leonard Eugene Dickson (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZPTN, Leonard Eugene Dickson (topic)

History

2026-11-02: add by m2/dev

Definition 23S7BDZKXF

URI	`m2://inv/23S7BDZKXF`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Collapse (topology)#P9W5, Definition (definition)

History

2026-11-02: add by m2/dev

23SBZXG696 23SBZXG696

URI	`m2://inv/23SBZXG696`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/proof-theory/normalization/normalization-thm.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 58.7

History

2026-11-01: add by m2/v0.6.13

23SD9KZBDG 23SD9KZBDG

URI	`m2://inv/23SD9KZBDG`
Kind	statement
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2510.12502#BSQ4 (statement). In 3A4K47Y9F2/e1, lemma 4.38

History

2026-10-27: add by m2/v0.4.0

Amédée Mannheim 23SDQH5DBC

URI	`m2://inv/23SDQH5DBC`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#9MXL, Amédée Mannheim (unknown)

History

2026-11-02: add by m2/dev

T1 process 23SE34N0F5

URI	`m2://inv/23SE34N0F5`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia T1 process, T1 process (definition). Also Wikidata Q7669004

History

2026-11-02: add by m2/dev

Generalization 23SES1VR69

URI	`m2://inv/23SES1VR69`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Dobiński's formula#8G5Y, Generalization (statement)

History

2026-11-02: add by m2/dev

kernel of a linear map 23SSF4JKJE

URI	`m2://inv/23SSF4JKJE`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Kernel of a linear map 02YFME3RGW

Mentions

mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > kernel of a linear map, kernel of a linear map (unknown). Also Mathlib LinearMap.ker

History

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

23SWC22CPK 23SWC22CPK

URI	`m2://inv/23SWC22CPK`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16518#E818 (statement). In SAQBDG4FK1/e1, lemma F.1

History

2026-10-28: add by m2/v0.4.2

Examples 23T4E6CXK2

URI	`m2://inv/23T4E6CXK2`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Lie algebra#EWCT, Examples (example)

History

2026-11-02: add by m2/dev

Proposition A.11. 23T5FM8EFH

URI	`m2://inv/23T5FM8EFH`
Kind	statement
Layer	research
MSC	62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.21017#XRRJ, Proposition A.11. (statement)

History

2026-11-02: add by m2/v0.6.18

23TASTFE8H 23TASTFE8H

URI	`m2://inv/23TASTFE8H`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/proof-theory/cut-elimination/ce-topmost.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 56.2

History

2026-11-01: add by m2/v0.6.13

23TH614S8N 23TH614S8N

URI	`m2://inv/23TH614S8N`
Kind	conjecture
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12169#U1YZ (conjecture). In 645GF9SFWM/e1, conjecture 7

History

2026-10-28: add by m2/v0.4.2

23THK92CS0 23THK92CS0

URI	`m2://inv/23THK92CS0`
Kind	unknown
Layer	research
Sources	1
Outcome	open
Node	None yet. Write the node.

History

2026-10-29: add by m2/v0.4.10

23TVW2AQ8K 23TVW2AQ8K

URI	`m2://inv/23TVW2AQ8K`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.22296#WNF1 (statement)

History

2026-11-02: add by m2/v0.6.17

Antonio Maria Lorgna 23TVZ5GDXW

URI	`m2://inv/23TVZ5GDXW`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Antonio Maria Lorgna, Antonio Maria Lorgna (topic). Also Wikidata Q3619836

History

2026-11-02: add by m2/dev

Independence of irrelevant alternatives 23V2ZQAMD8

URI	`m2://inv/23V2ZQAMD8`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Independence of irrelevant alternatives, Independence of irrelevant alternatives (definition). Also Wikidata Q3150644

History

2026-11-02: add by m2/dev

23V3AKE3C1 23V3AKE3C1

URI	`m2://inv/23V3AKE3C1`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.17240#NFMZ (statement). In 59BZ4V9RQW/e1, corollary 3.11

History

2026-10-28: add by m2/v0.4.2

Polynomial kernels and the cofactor identity 23V4SFHFRS

URI	`m2://inv/23V4SFHFRS`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25762#VXES, Polynomial kernels and the cofactor identity (statement)

History

2026-11-01: add by m2/v0.6.15

23V6K8WW0R 23V6K8WW0R

URI	`m2://inv/23V6K8WW0R`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2304.02722#9QZM (statement). In AH7D55D3WV/e1, proposition 19.3

History

2026-10-27: add by m2/v0.3.5

Xiangjie jiuzhang suanfa 23VBW5B19G

URI	`m2://inv/23VBW5B19G`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a book, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q30945536, Xiangjie jiuzhang suanfa (unknown). Also ProofWiki Book:Yang_Hui/Xiangjie_Jiuzhang_Suanfa

History

2026-10-26: add by m2/dev

Niven's constant 23VE32P05N

URI	`m2://inv/23VE32P05N`
Kind	object
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1113025, Niven's constant (object). Also MathWorld NivensConstant, OEIS A033150
wikipedia: Wikipedia Niven's constant, Niven's constant (object). Also Wikidata Q1113025

History

2026-10-26: add by m2/dev

23VQN6BX4Z 23VQN6BX4Z

URI	`m2://inv/23VQN6BX4Z`
Kind	statement
Layer	research
MSC	60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.26600#O33S (statement)

History

2026-11-01: add by m2/v0.6.15

23VR3G66NQ 23VR3G66NQ

URI	`m2://inv/23VR3G66NQ`
Kind	statement
Layer	research
MSC	60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31102#OSTI (statement). In 7CADATJMAA/e1, lemma 5.2

History

2026-10-31: add by m2/v0.5.6

Non-singular point 23VRAS40CX

URI	`m2://inv/23VRAS40CX`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematical properties of points#IX39, Non-singular point (definition)

History

2026-11-02: add by m2/dev

23VWT7YBQK 23VWT7YBQK

URI	`m2://inv/23VWT7YBQK`
Kind	statement
Layer	research
MSC	65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.30049#BH8X (statement)

History

2026-11-01: add by m2/v0.6.15

23VX9T2XWZ 23VX9T2XWZ

URI	`m2://inv/23VX9T2XWZ`
Kind	statement
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.14240#W7EC (statement). In HGQCBDDMQJ/e1, proposition 3.7

History

2026-10-28: add by m2/v0.4.2

Example 23VYP0VQXE

URI	`m2://inv/23VYP0VQXE`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Begriffsschrift#YEJA, Example (example)

History

2026-11-02: add by m2/dev

23W2QCV630 23W2QCV630

URI	`m2://inv/23W2QCV630`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35950#27OL (statement). In BZN1G5W5FX/e1, theorem 14.1

History

2026-10-30: add by m2/v0.4.12

23W3AG3HW9 23W3AG3HW9

URI	`m2://inv/23W3AG3HW9`
Kind	statement
Layer	research
MSC	62-XX, 94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10600#3W1F (statement). In V7WT21EDPM/e1, lemma 6.1

History

2026-10-29: add by m2/v0.4.10

23W4SH2GTF 23W4SH2GTF

URI	`m2://inv/23W4SH2GTF`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#question-5 (exercise). In P1C114YBXG, question, section 1

History

2026-11-01: add by m2/v0.6.13

Example 23W8RAXMXK

URI	`m2://inv/23W8RAXMXK`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Certificate authority#AAJ9, Example (example)

History

2026-11-02: add by m2/dev

23W8YHBHNR 23W8YHBHNR

URI	`m2://inv/23W8YHBHNR`
Kind	statement
Layer	research
MSC	55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.03126#RVIM (statement). In ZJ6VQCRDVR/e1, proposition 4

History

2026-10-29: add by m2/v0.4.12

23W9YFW4FG 23W9YFW4FG

URI	`m2://inv/23W9YFW4FG`
Kind	definition
Layer	research
MSC	53-XX, 57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2603.29838#3CAE (definition). In KP0X1RKKKB/e1, definition 2.1

History

2026-10-27: add by m2/v0.4.0

Open problems 23WMF54EGJ

URI	`m2://inv/23WMF54EGJ`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Moufang loop#ZM0W, Open problems (statement)

History

2026-11-02: add by m2/dev

23WZXKHP6E 23WZXKHP6E

URI	`m2://inv/23WZXKHP6E`
Kind	statement
Layer	research
MSC	54-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.40191#RWU8 (statement). In F0D8VSM4Z4/e1, theorem 3.7

History

2026-10-30: add by m2/v0.4.12

Phase-type distribution 23X2F96RWR

URI	`m2://inv/23X2F96RWR`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Phase-type distribution, Phase-type distribution (definition). Also Wikidata Q7180911

History

2026-11-02: add by m2/dev

23XDTRXBC6 23XDTRXBC6

URI	`m2://inv/23XDTRXBC6`
Kind	statement
Layer	research
MSC	11-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.40123#C1GA (statement). In WK2YHYEDZ9/e1, proposition 6.1

History

2026-10-30: add by m2/v0.4.12

23XEY391MM 23XEY391MM

URI	`m2://inv/23XEY391MM`
Kind	definition
Layer	research
MSC	17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13213#GFRM (definition). In V97F4YZ8B0/e1, definition 1.6

History

2026-10-28: add by m2/v0.4.2

Alfred Kempe 23XRD5Z66P

URI	`m2://inv/23XRD5Z66P`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Alfred Kempe, Alfred Kempe (topic). Also Wikidata Q370037

History

2026-11-02: add by m2/dev

23XRYWQ56D 23XRYWQ56D

URI	`m2://inv/23XRYWQ56D`
Kind	statement
Layer	research
MSC	05-XX, 14-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.05179#55AV (statement). In 9EMCPF1F2T/e1, proposition 21

History

2026-10-29: add by m2/v0.4.10

kernels lemma 23Y0CPRM9Q

URI	`m2://inv/23Y0CPRM9Q`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_undergrad: mathlib_undergrad Linear algebra > Structure theory of endomorphisms > kernels lemma, kernels lemma (unknown)

History

2026-10-26: add by m2/dev

23Y0QXD8K7 23Y0QXD8K7

URI	`m2://inv/23Y0QXD8K7`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33365#0XM9 (statement). In MCXCMR7V0T/e1, theorem 1

History

2026-10-30: add by m2/v0.4.12

23Y7JSJ363 23Y7JSJ363

URI	`m2://inv/23Y7JSJ363`
Kind	statement
Layer	research
MSC	60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.09019#WTT6 (statement). In 8V6YECFCC1/e1, lemma 3.13

History

2026-10-29: add by m2/v0.4.10

23Y7PRC096 23Y7PRC096

URI	`m2://inv/23Y7PRC096`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 51-XX, 52-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24610#Y4PQ (statement)

History

2026-11-01: add by m2/v0.6.15

Examples 23YP5CG7CG

URI	`m2://inv/23YP5CG7CG`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Local boundedness#DE7S, Examples (example)

History

2026-11-02: add by m2/dev

23YWP215RS 23YWP215RS

URI	`m2://inv/23YWP215RS`
Kind	statement
Layer	research
MSC	49-XX, 62-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.22642#WU04 (statement)

History

2026-11-02: add by m2/v0.6.17

Turing degrees 23Z8DCS89Z

URI	`m2://inv/23Z8DCS89Z`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_overview: mathlib_overview Logic and computation > Computability > Turing degrees, Turing degrees (unknown). Also Mathlib TuringDegree

History

2026-10-26: add by m2/dev

23ZAJ4XNKG 23ZAJ4XNKG

URI	`m2://inv/23ZAJ4XNKG`
Kind	statement
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.32078#TQMH (statement). In 5PN85N6EJF/e1, lemma F.2

History

2026-10-31: add by m2/v0.5.6

23ZJC2D7TR 23ZJC2D7TR

URI	`m2://inv/23ZJC2D7TR`
Kind	problem
Layer	research
MSC	26-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33557#FC8G (problem). In 95YZVAPGJA/e1, problem 1.1

History

2026-10-30: add by m2/v0.4.12

23ZKWZG18X 23ZKWZG18X

URI	`m2://inv/23ZKWZG18X`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/sets-functions-relations/relations/equivalence-relations.tex#ex-1 (example). In PKGMM3P5QY, ex, section 80.1

History

2026-11-01: add by m2/v0.6.13

Abreu et al.\ 23ZQ4DD51D

URI	`m2://inv/23ZQ4DD51D`
Kind	statement
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.21682#Y7VP, Abreu et al.\ (statement)

History

2026-11-02: add by m2/v0.6.18

Concepts of Modern Mathematics 23ZR27DG61

URI	`m2://inv/23ZR27DG61`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematics books#GI6X, Concepts of Modern Mathematics (unknown)

History

2026-11-02: add by m2/dev