DCAS (Dynamic Computer Algebra System; Dinamik Bilgisayarlı Cebir Sistemi), ana özelliği cebir işlemleri için özdeşliklerin kural olarak kullanıldığı bir bilgisayarlı cebir sistemi programıdır. Robert Fenichel, 1970'li yıllarda aynı amaçla LISP programlama dilini kullanarak FAMOUS adlı bir program geliştirdi.
Martin Johansen, DCAS Ether adında, DCAS'ı temel alan yeni bir program geliştirdi. Program, giriş ifadesinin şekline göre bir özdeşlik sınıfı seçerek çalışır.
Aşağıda özdeşlik toplama örnekleri verilmiştir; ilki temel cebir için, diğeri Boole cebiri işlemleri için:
/* Dağılım yasası*/ x*(a + b) = a*x + b*x; /* Kuvvet alma*/ (a*b)^c = a^c*b^c; (a^b)^c = a^(b*c);
/* Toplama, çıkarma*/ solveequ(x, (gfvi(f(x)) + gfve(a(x)) = gfve(b(x)))) = solveequ(x, f = b - a); solveequ(x, (gfvi(f(x)) + gfve(a(x)) + c = gfve(b(x)))) = solveequ(x, f + c = b - a); /* Çarpma, bölme */ solveequ(x, (gfvi(f(x))*gfve(a(x))*c = gfve(b(x)))) = solveequ(x, f*c = b/a); solveequ(x, gfvi(f(x))*gfve(a(x)) = gfve(b(x))) = solveequ(x, f = b/a);