processing...
home
items
legendre polynomials
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Legendre Polynomials
(
n ≠ m
)
→
P
m
(
x
)
P
n
(
x
)
dx = 0
References