Similar to 計算機援用証明

分割統治法
Divide-and-conquer algorithm
分散ハッシュテーブル
Distributed hash table
ページ置換アルゴリズム
Page replacement algorithm
ページランク
PageRank
ベクトル空間モデル
Vector space model/cdn.vox-cdn.com/uploads/chorus_image/image/66300369/841436882.jpg.0.jpg)
PECOTA
PECOTA
ベルマン–フォード法
Bellman–Ford algorithm
ホタルアルゴリズム
Firefly algorithmマージ
Merge algorithm
マーチングキューブ法
Marching cubes
マチンの公式
Machin-like formula
マルチレベル・パターン・マッチング

マンハッタン住所算法
Manhattan address algorithm
メタヒューリスティクス
Metaheuristic
メトロポリス法

ライプニッツの公式
Leibniz formula for π
ラグランジュ補間
Lagrange polynomial
ランポートのパン屋のアルゴリズム
Lamport's bakery algorithm
リーキーバケット
Leaky bucket
レーベンシュタイン距離
Levenshtein distance
ワーシャル–フロイド法
Floyd–Warshall algorithm割る2
Division by two