Πιο Λογισμικό Λιανικής και Αποδείξεων δουλεύετε ?

Ψάχνω κάποιο Λογισμικό πρόγραμμα που να μπορεί να εκδώσει αποδείξεις καθώς και να χρησιμοποιηθεί στην εντατική λιανική. γνωρίζετε κάποιο   ?