Available
Finds integer linear relations among real numbers using LLL.
All 6300 functions · Use this from an MCP client