एक कंप्यूटर बीजगणित प्रणाली (सीएएस) या प्रतीकात्मक बीजगणित प्रणाली (एसएएस) कोई भी गणितीय सॉफ्टवेयर है जिसमें पारंपरिक मैनुअल कंप्यूटा के समान गणितीय अभिव्यक्तियों में हेरफेर करने की क्षमता होती है।
