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şlemler

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çileri 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.
  • Kısmi ve tam türevler
  • Çok boyutlu integraller dahil, bazı belirsiz ve belirli integral alma
  • Sembolik kısıtlı ve kısıtlı olmayan küresel uyumlukuk
  • Çeşitli etki alanları üstünde doğrusal ve doğrusal olmayan denklemlerin çözümü
  • Bazı diferansiyel ve fark denklemlerinin çözümü
  • Bazı limitleri almak
  • İntegral dönüşümleri
  • Seri operasyonlarının toplam ve çarpımlar şeklinde açılımı,
  • Matris operasyonlarını içeren çarpımlar, ters almalar, vs.
  • İstatistiksel hesaplamalar
  • Deneysel matematik bölgesi içinde teorem ispatlama ve doğrulama çok kullanışlıdır.

Yukarıdakilerin içinde, bazı kelimelerin belirttiği operasyonlar daima gerçekleşmez.

Ek yetenekler

Birkaç tür daha içerir:

  • Bir Programlama dili, kullanıcıların kendi algoritmalarını uygulamalarına izin verme
  • İsteğe bağlı-Hassas Sayısal İşlemler
  • Kesin tam sayı aritmetiği ve Sayı kuramı işlevselliği
  • Matematiksel ifadeleri iki-boyutlu matematiksel-formda göstermek,çoğu kez TeXe benzer damga dizme sistemleri (ayrıca bakınız Prettyprint)
  • çizim grafikler ve parametrik çizimler fonksiyonların iki ve üç boyutta, ve onları anime etme
  • Grafikler ve diyagramlar çizme
  • API'ler için onu bir dış program üstünde bir veritabanı gibi bağlama, ya da bir programlama dilinde kullanıp bilgisayarlı cebir sistemi kullanmak
  • dizi işlemleri gibi eşleştirme ve arama
  • matematik uygulamalarında örneğin Fizik, Biyoinformatik, hesaplamalı kimya'daki gibi eklenti için kullanma ve fiziksel hesaplama için paketlemek

Bazı türleri de içerir:

Bazı bilgisayarlı cebir sistemleri uygulamaya özgü bir alanın odağındadır; bunlar akademide gelişen türlerdir ve özgürdürler. Onlar sayısal sistemlerin sayısal operasyonları karşılaştırmak için yetersiz olabilirler.

İfade türleri

BCS ile ; çok değişkenli polinomlar ; ifadelerin standart fonksiyonları (Trigonometrik, üstel, vs.); çeşitli özel fonksiyonlar (Γ, ζ, erf, Bessel fonksiyonuları, etc.); ifadelerin keyfi fonksiyonları; eniyileme; ifadelerin türevleri, integralleri, sadeleştirmeleri, toplamları ve çarpımları ; kesikli seriler katsayılar ile ifadesi , matrisler ifadeleri, ve buna yakın ifadelerin işlemleri yapılabilir. Sayısal etki alanlarını destekleyen gerçel, kompleks, aralık, rasyonel ve cebirsel türlerini içerir.

Tarihçe

Bilgisayarlı cebir sistemi , 1960 ların başlarında ortaya çıkmıştır, her yönüyle farklı iki kaynak dışında gelişti - teorik fizikçiler ve yapay zekâya yönelik araştırmalar gereksinimleri.

İlk örnek; ilk gelişmesi için öncü çalışmalar yürütülmüş, daha sonra fizik Nobel Ödülü sahibi Martin Veltman tarafından, Schoonschip (Dutch for "clean ship") denilen, sembolik matematik ve özellikle Yüksek Enerji Fiziği için bir program 1963'te tasarlanmış.

LISP gibi programlama ilkeleri, Carl Engelmanın oluşturduğu MATHLAB 1964'te MITREde bir yapay zekâ araştırma çevresiyle kullanılıyor.Daha sonra TENEX üniversitelerinde ya da TOPS-10'da çalışan PDP-6 ve PDP-10 Sistemleri üstünde MATHLAB mevcut kullanıcılara yaptırıldı. Bugün hala PDP-10'un SIMH-Emulasyonları kullanılabilir . MATHLAB ("mathematical laboratory") ile MATLAB ("matrix laboratory") karıştırılmamalıdır ki bu sayısal hesaplama için bir sistem olup, University of New Mexico'da 15 yıl sonra yapılmıştır, kazara yerine aynı adlandırılabilir.

İlk popüler Bilgisayarlı cebir sistemleri muMATH, Reduce, Derive (muMATH üstüne kurulmuş) ve Macsyma idi; Macsyma'nın popüler bir telif feragatlı sürümü Maxima denilen aktif olarak muhafaza ediliyor. Günümüz itibarıyla, en popüler ticari sistemler, genel araştırma matematikçiler, bilimadamları ve mühendisler tarafından Mathematica[1] ve Maple tarafından kullanılıyor. Sage dahil serbestçe kullanılabilir alternatifler vardır (bir ön-uc'u ücretsiz birkaç BCS).

1987'de Hewlett-Packard birinci el BCS ile düzenlenen HP-28 series hesap makinesini tanıttı, bir hesap makinesinde ilk kez , cebirsel ifadeler, diferansiyel, sınırlı sembolik integral, Taylor serileri inşası ve cebirsel denklemler için bir çözücü düzenlemek mümkün oldu.

Texas Instruments şirketi 1995'te gelişmiş bir BCS yazılımı Derive ile TI-92 hesap makinesini çıkardı . Bu, onun ardılları ile birlikte (TI-89 serileri ve daha yeni TI-Nspire 2007'de çıkan BCS'ler dahil) oldukça yetenekli özellikte ve ucuz elle çalışan bilgisayarlı cebir sistemleriydi.

BCS-donanımlı hesap makineleri ACT, PLAN ve bazı sınıflarda üzerinde izin vermez,çünkü test/class bütünlüğünü etkileyebilir [2], hesap makinesi-Kabul edildi testleri tüm College Board'ın üzerinde olsa izin olabilir, SAT, bazı SAT Subject Tests ve AP Calculus, Chemistry, Physics, ve Statistics sınavları dahil.

Matematikte bilgisayarlı cebir sisteminin kullanılması

  • Sembolik integral- Risch algoritması
  • Limit
  • Gröbner İlkesi
  • Ortak bölen
  • Polinomların çarpanlarına ayrılması
  • Risch algoritması
  • Silindirin cebirsel analizi
  • Cantor–Zassenhaus algoritması
  • Çin kalan teoremi
  • Gauss eliminasyonu
  • Diophantine denklemleri

Yazılımlar

Yaygın olarak kullanılan yazılımların bazıları şunlardır:

Ayrıca bakınız

  • Bilgisayarlı cebir sistemleri listesi
  • Hesaplamalı bilim
  • İstatistiksel paketler listesi
  • Cebirsel algoritma
  • Sembolik hesaplama
  • Otomatikleştirilmiş teorem ispatlama
  • Yapay zekâ
  • Kısıtlı mantık programlama

Kaynakça

  1. Interview with Gaston Gonnet, co-creator of Maple 29 Aralık 2007 tarihinde Wayback Machine sitesinde arşivlendi., SIAM History of Numerical Analysis and Computing, March 16, 2005
  2. "ACT's CAAP Tests: Use of Calculators on the CAAP Mathematics Test". 31 Ağustos 2009 tarihinde kaynağından arşivlendi. Erişim tarihi: 31 Ekim 2009.

Dış bağlantılar

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.