Cebir sayılar teorisini, geometriyi ve analizi içine alan geniş bir matematik dalıdır. Temel matematik işlemlerinden, çember ve daire alanları bulmayı kapsayan geniş bir ilgi alanına sahiptir. Cebir, mühendislik ve eczacılık gibi birçok alanda kullanılmaktadır. Kuramsal cebir, ileri matematiğin bir dalı olmakla birlikte sadece uzmanlar tarafından çalışılan bir koldur.
Hârizmî ya da tam künyesiyle Ebû Ca'fer Muhammed bin Mûsâ el-Hârizmî ; matematik, gök bilim, coğrafya ve algoritma alanlarında çalışmış Fars bilim insanı. Hârizmî 780 yılında Harezm bölgesinin Hive şehrinde dünyaya gelmiştir. 850 yılında Bağdat'ta ölmüştür.
Matematikte, diferansiyel denklem, bir ya da birden fazla fonksiyonu ve bunların türevlerini ilişkilendiren denklemdir. Fizik, kimya, mühendislik, biyoloji ve ekonomi alanlarında matematiksel modeller genellikle diferansiyel denklemler kullanılarak ifade edilirler. Bu denklemlerde, fonksiyonlar genellikle fiziksel ya da finansal değerlere, fonksiyon türevleriyse değerlerin değişim hızlarına denk gelir.
Analitik geometri, geometrik çalışmaya cebrik analizi uygulayan ve cebrik problemlerin çözümünde geometrik kavramları kullanan bir matematik dalı. Bütün bunlar kartezyen sistem denilen bir koordinat sisteminin kullanılmasıyla mümkündür. Kartezyen kelimesi, batıda analitik geometride ilk bilimsel çalışmayı yapan René Descartes'tan gelmektedir.
Schrödinger denklemi, bir kuantum sistemi hakkında bize her bilgiyi veren araç dalga fonksiyonu adında bir fonksiyondur. Dalga fonksiyonunun uzaya ve zamana bağlı değişimini gösteren denklemi ilk bulan Erwin Schrödinger’dir. Bu yüzden denklem Schrödinger denklemi adıyla anılır. 1900 yılında Max Planck'ın ortaya attığı "kuantum varsayımları"nın ardından, 1924'te ortaya atılan de Broglie varsayımı ve 1927'de ortaya atılan Heisenberg belirsizlik ilkesi bilim dünyasında yeni ufukların doğmasına sebep olmuştur. Bu gelişmeler Max Planck'ın kuantum varsayımları ve Schrödinger'in dalga mekaniği ile birleştirilerek kuantum mekaniğini ortaya çıkarmıştır.
Doğrusal olmayan diferansiyel denlemler, doğrusal diferansiyel denklemlere yapı olarak benzemektedir. Ancak doğrusal olmayan diferansiyel denlemlerde doğrusallığı bozan terim olarak trigonometrik ifadeler, logaritmik ve daha büyük dereceden terimler bulunmaktadır. Eğer bir diferansiyel denkleminde bu tür ifadeler mevcutsa o denklemin doğrusal olmadığı anlaşılır.
Doğrusal cebir ya da lineer cebir; matematiğin, vektörler (yöney), vektör uzayları, doğrusal dönüşümler, doğrusal denklem takımları ve matrisleri (dizey) inceleyen alanıdır. Vektör uzayları, modern matematiğin merkezinde yer alan bir konudur. Bundan dolayı doğrusal cebir hem soyut cebirde hem de fonksiyonel analizde sıkça kullanılır. Doğrusal cebir, analitik geometri ile de alakalı olup sosyal bilimlerde ve fen bilimlerinde yaygın bir uygulama alanına sahiptir.
Denklem, iki niceliğin eşitliğini gösteren bağıntıdır. Araya (=) işareti konularak ifade edilir. Denklemlerde eşitlik değişkenin belirli değerleri için sağlanır. Değişkenlerin her değeri için geçerli olan eşitliklere özdeşlik denir.
İşleme ya da gerçekleme, (bilgisayarda) çizilmiş ya da düzenlenmiş olan ham modeli bir program aracılığıyla işleyip resim ya da video haline çevirmektir. Bu işlemi gerçekleştirmek için çeşitli bilgisayar yazılımlarına gereksinim duyulur. Bu işlemi yapan yazılımlara "işleyici" denir.
Sayısal analiz, diğer adıyla nümerik analiz veya sayısal çözümleme, matematiksel analiz problemlerinin yaklaşık çözümlerinde kullanılan algoritmaları inceler. Bu nedenle birçok mühendislik dalı ve doğa bilimlerinde önem arz eden sayısal analiz, bilimsel hesaplama bilimi olarak da kabul edilebilir. Bilgisayarın işlem kapasitesinin artması ile gündelik hayatta ortaya çıkan birçok sistemin matematiksel modellenmesi mümkün olmuş ve sayısal analiz algoritmaları burada ön plana çıkmıştır. 21. yüzyıldan itibaren bilimsel hesaplama yöntemleri mühendislik ve doğa bilimleri ile sınırlı kalmamış ve sosyal bilimler ile işletme gibi alanları da etkilemiştir. Sayısal analizin alt başlıklarına adi diferansiyel denklemlerin yaklaşık çözümleri ve özellikle veri biliminde önem taşıyan sayısal lineer cebir ile optimizasyon örnek gösterilebilir.
Doğrusal denklem dizgesi, birkaç tane aynı tip değişkenleri içeren birkaç tane doğrusal denklemlerin oluşturduğu topluluktur. Örneğin:
GNU Octave ya da kısaca Octave, öncelikli olarak sayısal hesaplamalar için tasarlanmış yüksek seviyeli bir dildir. Octave, özgür ve ücretsiz bir yazılımdır. Ticari karşılığı olan MATLAB ile çoğunlukla uyumlu bir dil kullanır. Doğrusal ve doğrusal olmayan matematiksel problemleri sayısal olarak çözmeye ve başka sayısal deneyler yapmaya elverişli bir komut satırı arayüzü sunmaktadır. Komut ekranı ve görsel arayüzleri destekler. Batch-uyumlu bir dil olarak da kullanılabilir. GNU Octave, GNU Projesi kapsamında olup 1988 yılından beri geliştirilmektedir.
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.
Arithmetika veya Arithmetica İskenderiyeli Diophantus'un ilk yazıldığında 13 cilt olduğu tahmin edilen fakat günümüze sadece 6 cildinin ulaştığı en önemli eseridir. 19. yüzyıl Matematik tarihçisi Hankel'in tanımlamasına göre Arithmetica 5 farklı kategoride 130 problemi içerir. Hankel ayrıca bu problemleri çözümlenişlerine göre iki gruba ayırır;
- tek çözümü olanlar (Determinate)
- genel çözümü olanlar (Indeterminate).
Matematikte doğrusal fonksiyon, her ne kadar bu terimle ile ifade edilse bile aslında şu iki farklı terimle ilgilidir:
- Kalkülüste ve ilgili dallarında doğrusal fonksiyon, derecesi sıfır veya bir olan polinom fonksiyon veya sıfır polinomdur.
- Doğrusal cebir ve fonksiyonel analizde doğrusal fonksiyon, bir doğrusal dönüşümdür.
Bilimsel hesaplama karmaşık problemleri anlamak ve çözmek için gelişmiş bilgi işlem yeteneklerini kullanan çok disiplinli bir alandır. Hesaplamalı bilim üç farklı unsuru birleştirmektedir:
Sembolik matematik; sembolik hesaplama ve cebirsel hesaplamadan oluşan bilgisayar cebrindeki, matematiksel ifadeleri ve diğer matematiksel nesneleri manipüle etmek için kullanılan algoritma ve yazılımların çalışması ve geliştirilmesine atıfta bulunan bilimsel bir alandır.Daha açıkça ifade etmek gerekirse, bilgisayar cebri bilimsel hesaplamanın bir alt alanı sayılır ve bununla beraber bilimsel hesaplama genelde yaklaşık kayan nokta sayılarına ve sayısal yaklaşımlara dayanmaktadır.Buna karşın sembolik hesaplama, hiçbir değişkeni içermeyen ifadelerle tam hesaplamayı vurgulamaktadır.Değişken içermeyen ifadelere ilişkin semboller manipüle edilmektedir ve adı bundan dolayı sembolik matematik olarak kabul edilir.
Bilgisayar bilimi, matematiksel modelleme ve problem çözme yaklaşımlarında köklü bir değişim geçirmektedir. İlk bilgisayar bilimcileri öncelikle ayrık matematik ile ilgilenmişlerdir. Bu dönemde grafikler, ağaçlar ve sonlu sayıda veri seti içeren diziler gibi yapılara odaklanmışlardır. Hızlı kayan noktalı işlemleri "büyük veriler" ile birlikte icra etmeye çalışmışlardır. Üç boyutlu taramanın ve diğer yoğun girdi kaynaklarının gerçeklenmesi modern bilgisayar bilimi pratisyenleri ve mühendisleri tarafından mümkün kılınmıştır. Buna paralel olarak gerçek değere yakın veriyi işlemek ve anlamak için sağlam yöntemler tasarlama ihtiyacı da doğmuştur. Bu ihtiyacın karşılanması için bilgisayar bilimcileri, özellikle ayrık matematik, çok değişkenli hesap, lineer cebir gibi alanlarda bilgi ve tecrübelerini kullanmalıdırlar.
İslam'ın Altın Çağı'nda matematik, özellikle 9. ve 10. yüzyıllarda, Yunan matematiği ve Hint matematiği üzerine inşa edilmiştir. Ondalık basamak-değer sisteminin ondalık kesirleri içerecek şekilde tam olarak geliştirilmesi, ilk sistematik cebir çalışması (Hârizmî tarafından yazılan Cebir ve Denklem Hesabı Üzerine Özet Kitap adlı eser ve geometri ve trigonometride önemli ilerlemeler kaydedilmiştir.