Bilgisayarlı cebir sistemi
Bilgisayarlı cebir sistemi (BCS) sembolik matematiği kolaylaştıran yazılım programıdır. BCS işlevselliğinin özü sembolik biçimlerdeki matematiksel ifadelerin işleme koyabilmesidir. Sembolik işlemleri destekleyen türler şunlardır: Otomatik varsayımlı sadeleştirme ve kısıtlamalı sadeleştirme içeren en küçük mümkün ifade ya da bazı standart biçimleri sadeleştirme Yaklaşık değerler için sembol ya da sayısal değerleri yerine koyma İfade biçimlerini değiştirmek: genişleyen çarpımlar ve kuvvetler, kısmi ve tam çarpanlara ayırma, kısmi kesirin yeniden yazılması, kısıtlı ödeme, trigonometrik fonksiyonların üstel olarak yazılması, mantıksal ifadelerin dönüşümü, vs.