Mpizaha toe-draharaha
Jereo izay iasany amin'izao fotoana izao →
Ny tranonkala iray izay milaza fa "mijery ny mpizara" dia tokony hanambara mazava tsara izay mpijery miaina, mba ho azonao atao ny milaza ny fahasamihafana eo amin'ny tsy voamarina ary tsy afaka nandefa ny provar androany izahay.
| Fitokanana (ilaina alohan'ny handefasana ny fandefasana) | azo atao |
| Lean 4 + Mathlib (ilay fitaovana tokana afaka mamaritra ∎) | azo atao |
| SageMath | azo atao |
| PARI/GP | azo atao |
| Z3 / SMT | azo atao |
| Python (sandboxed) | azo atao |
| Plots (matplotlib) | azo atao |
| Karohy (mpizara an'olona hafa, ka ezaka tsara) | azo atao |