vandermonde

Mathlib.LinearAlgebra.Vandermonde

URI: https://scilib.ai/kg/mathlib#Matrix.vandermonde

← MathLib Explorer

English

For any v, vandermonde v equals projVandermonde v 1.

Русский

Для любого v матрица Вандермонда совпадает с projVandermonde v при параметре 1.

LaTeX

$$$\\mathrm{vandermonde}(v) = \\mathrm{projVandermonde}(v,1)$$$

Lean4

/-- `vandermonde v` is the square matrix with `i`th row equal to `1, v i, v i ^ 2, v i ^ 3, ...`. -/
def vandermonde (v : Fin n → R) : Matrix (Fin n) (Fin n) R :=
  .of fun i j ↦ (v i) ^ j.1

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru