Similar to 計算機援用証明

多凸函数
Polyconvex function
チューリング・パターン
The Chemical Basis of Morphogenesis
テクノロジー
Technology
伝達問題

統計学
Statistics
内生性
Endogeneity (econometrics)
日本応用数理学会
Japan Society for Industrial and Applied Mathematics
パネルデータ分析
Panel data
不完備契約
Incomplete contracts
符号付き距離関数
Signed distance function
変分法 (解析力学)
Variational method (quantum mechanics)
ホアン・トゥイ (数学者)
Hoàng Tụy
エドマンド・テイラー・ホイッテーカー
E. T. Whittaker
良設定問題
Well-posed problem
理論生物学
Theoretical Biology
Split Up (エキスパートシステム)
Split Up (expert system)
対話型法律人工知能
Lawbot
Chord
Chord (peer-to-peer)
DSSP (水素結合推定アルゴリズム)
DSSP (algorithm)
HCPチャート

Heapのアルゴリズム
Heap's algorithmIn-placeアルゴリズム
In-place algorithmLeast Recently Used
Page replacement algorithm#Least recently used
Lempel–Ziv–Storer–Szymanski
Lempel–Ziv–Storer–SzymanskiLZ77
LZ77
Multiple signal classification
MUSIC (algorithm)/GettyImages-96684903-a70712b5c94a4548af6cb2ec9728c5a6.jpg)
Okapi BM25
Okapi BM25
Prediction by Partial Matching
Prediction by partial matching