Το Mathematica, του οποίου η πρώτη έκδοση έγινε το 1988, είναι ένα υπολογιστικό σύστημα άλγεβρας γενικού σκοπού το οποίο υποστηρίζεται από ένα διαδραστικό περιβάλλον (δίνεις ερωτήσεις και παίρνεις πίσω απαντήσεις) που μας δίνει τη δυνατότητα αριθμητικών υπολογισμών, συμβολικού χειρισμού μαθηματικών συμβόλων και εκφράσεων, δημιουργίας δισδιάστατων αλλά και τρισδιάστατων γραφικών, αλλά και προγραμματισμού. Μάλιστα ένας από τους κύριους λόγους της επιτυχίας του Mathematica είναι η υψηλή γλώσσα προγραμματισμού που διαθέτει, η οποία δίνει τη δυνατότητα στο χρήστη να επεκτείνει τις δυνατότητες του ίδιου του συστήματος.

Η γλώσσα που διαθέτει του δίνει την δυνατότητα να προγραμματίζει με πολλά και διαφορετικά στυλ, όπως με τη μέθοδο του διαδικασιακού προγραμματισμού (procedural programming, παρόμοια δηλαδή με τον προγραμματισμό σε γλώσσες υψηλού επιπέδου όπως η Fortan 95 και η C++), του συναρτησιακού προγραμματισμού (functional programming, όπως στην Lisp), και κανονοκεντρικού προγραμματισμού (rule based programming).

Τέλος υπάρχει πλήρης συμφωνία μεταξύ της αγγλικής ορολογίας των μαθηματικών συναρτήσεων και των ονομάτων των συναρτήσεων του Mathematica, γεγονός που μας βοηθάει ιδιαίτερα, αν φανταστούμε ότι το Mathematica περιέχει περί τις 2000 συναρτήσεις.