發送短信 : A lattice-based approach for mathematical search using Formal Concept Analysis

 __   __   _    _      _____   _    _     _____   
 \ \\/ // | || | ||   / ___// | || | ||  /  ___|| 
  \   //  | || | ||   \___ \\ | || | || | // __   
  / . \\  | \\_/ ||   /    // | \\_/ || | \\_\ || 
 /_//\_\\  \____//   /____//   \____//   \____//  
 `-`  --`   `---`   `-----`     `---`     `---`