Similar to 計算機援用証明

• 

  ラグランジュ補間

  Lagrange polynomial
  
• 

  ランポートのパン屋のアルゴリズム

  Lamport's bakery algorithm
  
• 

  リーキーバケット

  Leaky bucket
  
• 

  レーベンシュタイン距離

  Levenshtein distance
  ▼-1 trends

  
• 

  ワーシャル–フロイド法

  Floyd–Warshall algorithm