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ı 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, yeniden yazılması, , trigonometrik fonksiyonların üstel olarak yazılması, mantıksal ifadelerin dönüşümü, vs.
- Kısmi ve 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
- Bazı diferansiyel ve denklemlerinin çözümü
- Bazı limitleri almak
- İntegral dönüşümleri
- operasyonlarının toplam ve çarpımlar şeklinde açılımı,
- Matris operasyonlarını içeren , , vs.
- bölgesi içinde teorem ispatlama ve ç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
- 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 benzer damga dizme sistemleri (ayrıca bakınız )
- çizim fonksiyonların iki ve üç boyutta ve onları anime etme
- Grafikler ve diyagramlar çizme
- için onu bir dış program üstünde bir veritabanı gibi bağlama ya da bir programlama dilinde kullanıp bilgisayarlı cebir sistemi kullanmak
- gibi ve
- örneğin Fizik, Biyoinformatik, hesaplamalı kimya'daki gibi eklenti için kullanma ve fiziksel hesaplama için paketlemek
Bazı türleri de içerir:
- Grafik oluşturma ve düzenleme gibi ve görüntü işleme gibi sinyal işleme
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 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 (, ζ, , Bessel fonksiyonuları, etc.); ifadelerin keyfi fonksiyonları; eniyileme; ifadelerin türevleri, integralleri, sadeleştirmeleri, toplamları ve çarpımları ; kesikli katsayılar ile ifadesi, matrisler ifadeleri ve buna yakın ifadelerin işlemleri yapılabilir. Sayısal etki alanlarını destekleyen gerçel, kompleks, , 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, (Dutch for "clean ship") denilen, sembolik matematik ve özellikle Yüksek Enerji Fiziği için bir program 1963'te tasarlanmış.
gibi programlama ilkeleri, oluşturduğu 1964'te 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 -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 üstüne kurulmuş) ve Macsyma idi; Macsyma'nın popüler bir copyleft sürümü 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 ve Maple tarafından kullanılıyor. dahil serbestçe kullanılabilir alternatifler vardır (bir 'u ücretsiz birkaç BCS).
1987'de Hewlett-Packard birinci el BCS ile düzenlenen 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ı ile hesap makinesini çıkardı . Bu, onun ardılları ile birlikte ( serileri ve daha yeni 2007'de çıkan BCS'ler dahil) oldukça yetenekli özellikte ve ucuz elle çalışan bilgisayarlı cebir sistemleriydi.
BCS-donanımlı hesap makineleri , ve bazı sınıflarda üzerinde izin vermez,çünkü test/class bütünlüğünü etkileyebilir, hesap makinesi-Kabul edildi testleri tüm 'ın üzerinde olsa izin olabilir, SAT, bazı ve , , ve sınavları dahil.
Matematikte bilgisayarlı cebir sisteminin kullanılması
Yazılımlar
Yaygın olarak kullanılan yazılımların bazıları şunlardır:
Ayrıca bakınız
Kaynakça
- ^ Interview with Gaston Gonnet, co-creator of Maple 29 Aralık 2007 tarihinde Wayback Machine sitesinde ., SIAM History of Numerical Analysis and Computing, March 16, 2005
- ^ . 31 Ağustos 2009 tarihinde kaynağından arşivlendi. Erişim tarihi: 31 Ekim 2009.
Dış bağlantılar
- Definition and workings of a computer algebra system 23 Ocak 2020 tarihinde Wayback Machine sitesinde .
- Curriculum and Assessment in an Age of Computer Algebra Systems 1 Aralık 2009 tarihinde Wayback Machine sitesinde . - From the Clearinghouse for Science, Mathematics, and Environmental Education, Columbus, Ohio.
- Richard J. Fateman. "Essays in algebraic simplification". Technical report MIT-LCS-TR-095, 1972. (Of historical interest in showing the direction of research in computer algebra. At the )
wikipedia, wiki, viki, vikipedia, oku, kitap, kütüphane, kütübhane, ara, ara bul, bul, herşey, ne arasanız burada,hikayeler, makale, kitaplar, öğren, wiki, bilgi, tarih, yukle, izle, telefon için, turk, türk, türkçe, turkce, nasıl yapılır, ne demek, nasıl, yapmak, yapılır, indir, ücretsiz, ücretsiz indir, bedava, bedava indir, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, resim, müzik, şarkı, film, film, oyun, oyunlar, mobil, cep telefonu, telefon, android, ios, apple, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, computer, bilgisayar
Bilgisayarli cebir sistemi BCS sembolik matematigi kolaylastiran yazilim programidir BCS islevselliginin ozu sembolik bicimlerdeki matematiksel ifadelerin isleme koyabilmesidir Sembolik islemlerSembolik islemleri destekleyen turler sunlardir Otomatik varsayimli sadelestirme ve kisitlamali sadelestirme iceren en kucuk mumkun ifade ya da bazi sadelestirme Yaklasik degerler icin sembol ya da sayisal degerleri yerine koyma Ifade bicimlerini degistirmek genisleyen carpimlar ve kuvvetler kismi ve tam carpanlara ayirma yeniden yazilmasi trigonometrik fonksiyonlarin ustel olarak yazilmasi mantiksal ifadelerin donusumu vs Kismi ve turevler Cok boyutlu integraller dahil bazi belirsiz ve belirli integral alma Sembolik kisitli ve kisitli olmayan kuresel uyumlukuk Cesitli etki alanlari ustunde dogrusal ve dogrusal olmayan denklemlerin Bazi diferansiyel ve denklemlerinin cozumu Bazi limitleri almak Integral donusumleri operasyonlarinin toplam ve carpimlar seklinde acilimi Matris operasyonlarini iceren vs bolgesi icinde teorem ispatlama ve cok kullanislidir Yukaridakilerin icinde bazi kelimelerin belirttigi operasyonlar daima gerceklesmez Ek yeteneklerBirkac tur daha icerir Bir Programlama dili kullanicilarin kendi algoritmalarini uygulamalarina izin verme Sayisal Islemler Kesin tam sayi aritmetigi ve Sayi kurami islevselligi Matematiksel ifadeleri iki boyutlu matematiksel formda gostermek cogu kez benzer damga dizme sistemleri ayrica bakiniz cizim fonksiyonlarin iki ve uc boyutta ve onlari anime etme Grafikler ve diyagramlar cizme icin onu bir dis program ustunde bir veritabani gibi baglama ya da bir programlama dilinde kullanip bilgisayarli cebir sistemi kullanmak gibi ve ornegin Fizik Biyoinformatik hesaplamali kimya daki gibi eklenti icin kullanma ve fiziksel hesaplama icin paketlemek Bazi turleri de icerir Grafik olusturma ve duzenleme gibi ve goruntu isleme gibi sinyal isleme Bazi bilgisayarli cebir sistemleri uygulamaya ozgu bir alanin odagindadir bunlar akademide gelisen turlerdir ve ozgurdurler Onlar sayisal operasyonlari karsilastirmak icin yetersiz olabilirler Ifade turleriBCS ile cok degiskenli polinomlar ifadelerin standart fonksiyonlari Trigonometrik ustel vs cesitli ozel fonksiyonlar z Bessel fonksiyonulari etc ifadelerin keyfi fonksiyonlari eniyileme ifadelerin turevleri integralleri sadelestirmeleri toplamlari ve carpimlari kesikli katsayilar ile ifadesi matrisler ifadeleri ve buna yakin ifadelerin islemleri yapilabilir Sayisal etki alanlarini destekleyen gercel kompleks ve cebirsel turlerini icerir TarihceBilgisayarli cebir sistemi 1960 larin baslarinda ortaya cikmistir her yonuyle farkli iki kaynak disinda gelisti teorik fizikciler ve yapay zekaya yonelik arastirmalar gereksinimleri Ilk ornek ilk gelismesi icin oncu calismalar yurutulmus daha sonra fizik Nobel Odulu sahibi Martin Veltman tarafindan Dutch for clean ship denilen sembolik matematik ve ozellikle Yuksek Enerji Fizigi icin bir program 1963 te tasarlanmis gibi programlama ilkeleri olusturdugu 1964 te bir yapay zeka arastirma cevresiyle kullaniliyor Daha sonra TENEX universitelerinde ya da TOPS 10 da calisan PDP 6 ve PDP 10 Sistemleri ustunde MATHLAB mevcut kullanicilara yaptirildi Bugun hala PDP 10 un Emulasyonlari kullanilabilir MATHLAB mathematical laboratory ile MATLAB matrix laboratory karistirilmamalidir ki bu sayisal hesaplama icin bir sistem olup University of New Mexico da 15 yil sonra yapilmistir kazara yerine ayni adlandirilabilir Ilk populer Bilgisayarli cebir sistemleri muMATH ustune kurulmus ve Macsyma idi Macsyma nin populer bir copyleft surumu denilen aktif olarak muhafaza ediliyor Gunumuz itibariyla en populer ticari sistemler genel arastirma matematikciler bilimadamlari ve muhendisler tarafindan Mathematica ve Maple tarafindan kullaniliyor dahil serbestce kullanilabilir alternatifler vardir bir u ucretsiz birkac BCS 1987 de Hewlett Packard birinci el BCS ile duzenlenen hesap makinesini tanitti bir hesap makinesinde ilk kez cebirsel ifadeler diferansiyel sinirli sembolik integral Taylor serileri insasi ve cebirsel denklemler icin bir cozucu duzenlemek mumkun oldu Texas Instruments sirketi 1995 te gelismis bir BCS yazilimi ile hesap makinesini cikardi Bu onun ardillari ile birlikte serileri ve daha yeni 2007 de cikan BCS ler dahil oldukca yetenekli ozellikte ve ucuz elle calisan bilgisayarli cebir sistemleriydi BCS donanimli hesap makineleri ve bazi siniflarda uzerinde izin vermez cunku test class butunlugunu etkileyebilir hesap makinesi Kabul edildi testleri tum in uzerinde olsa izin olabilir SAT bazi ve ve sinavlari dahil Matematikte bilgisayarli cebir sisteminin kullanilmasi Limit Ortak bolen Gauss eliminasyonu Diophantine denklemleriYazilimlarYaygin olarak kullanilan yazilimlarin bazilari sunlardir Sympy Maple MathematicaAyrica bakinizHesaplamali bilim Yapay zekaKaynakca Interview with Gaston Gonnet co creator of Maple 29 Aralik 2007 tarihinde Wayback Machine sitesinde SIAM History of Numerical Analysis and Computing March 16 2005 31 Agustos 2009 tarihinde kaynagindan arsivlendi Erisim tarihi 31 Ekim 2009 Dis baglantilarDefinition and workings of a computer algebra system 23 Ocak 2020 tarihinde Wayback Machine sitesinde Curriculum and Assessment in an Age of Computer Algebra Systems 1 Aralik 2009 tarihinde Wayback Machine sitesinde From the Clearinghouse for Science Mathematics and Environmental Education Columbus Ohio Richard J Fateman Essays in algebraic simplification Technical report MIT LCS TR 095 1972 Of historical interest in showing the direction of research in computer algebra At the