Similar to 計算機援用証明

• 

  DPLLアルゴリズム

  DPLL algorithm
  
• 

  INTLAB

  INTLAB
  
• 

  Kd木

  K-d tree
  
• 

  K平均法

  K-means clustering
  ▲1 trends

  
• 

  リュング・ボックス検定

  Ljung–Box test
  
• 

  Remezのアルゴリズム

  Remez algorithm
  
• 

  SIAM (学会)

  Society for Industrial and Applied Mathematics
  
• 

  SOR法

  Successive over-relaxation
  
• 

  Abramowitz and Stegun

  Abramowitz and Stegun
  
• 

  アルゴリズム

  Algorithm
  ▲3 trends

  
• 

  アルゴリズム解析

  Analysis of algorithms
  
• 

  数値解析ソフトの比較

  Comparison of numerical-analysis software
  
• 

  SCAN (国際研究集会)

  
• 

  FFTPACK

  FFTPACK
  
• 

  高速フーリエ変換

  Fast Fourier transform
  ▲2 trends

  
• 

  数値解析シンポジウム

  
• 

  デュラン＝カーナー法

  Durand–Kerner method
  
• 

  ドルマン＝プリンス法

  Dormand–Prince method
  
• 

  反復法 (数値計算)

  Iterative method
  
• 

  ヤコビ法 (固有値問題)

  Jacobi eigenvalue algorithm
  
• 

  離散化

  Discretization
  
• 

  粒子フィルタ

  Particle filter
  
• 

  ルンゲ＝クッタ＝フェールベルグ法

  Runge–Kutta–Fehlberg method
  
• 

  0

  0
  
• 

  1

  1
  ▲1 trends

  
• 

  2

  2
  ▲1 trends

  
• 

  3

  3
  ▲1 trends

  
• 

  4

  4
  ▲1 trends