កម្មវិធីពិនិត្យស្ថានភាព
មើលអ្វីដែលវាកំពុងធ្វើការនៅពេលនេះ →
សាធារណៈសម្រាប់គោលបំណង ។ តំបន់បណ្ដាញដែលបានអះអាងទាំងមូលគឺ "ម៉ាស៊ីនបម្រើពិនិត្យវា" គួរតែនិយាយយ៉ាងច្បាស់ថាអ្នកពិនិត្យណាដែលរស់ ដូច្នេះអ្នកអាចប្រាប់ភាពខុសគ្នារវាង មិនបានបញ្ជាក់ និង យើងមិនអាចរត់កម្មវិធីពិនិត្យនៅថ្ងៃនេះបានទេ.
| ការបិទភ្ជាប់ (ត្រូវការមុនពេលរត់ការដាក់ស្នើណាមួយ) | អាចប្រើបាន |
| Lean 4 + Mathlib (ឧបករណ៍តែមួយគត់ដែលអាចកំណត់ ∎) | អាចប្រើបាន |
| SageMath | អាចប្រើបាន |
| PARI/GP | អាចប្រើបាន |
| Z3 / SMT | អាចប្រើបាន |
| Python (ប្រអប់ខ្សាច់) | អាចប្រើបាន |
| គ្រោង (matplotlib) | អាចប្រើបាន |
| ស្វែងរក OEIS (ម៉ាស៊ីនបម្រើរបស់នរណាម្នាក់ផ្សេងទៀត ដូច្នេះការខិតខំដ៏ល្អបំផុត) | អាចប្រើបាន |