Matematikte cebirin temel teoremi karmaşık değişkenli polinomların köklerinin varlığıyla ilgili temel bir sonuçtur. D'Alembert-Gauss teoremi olarak da anılmaktadır.
Matematiksel mantık, biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi alanlarıyla yakınlık gösterir. Matematiksel mantığın temel konuları biçimsel sistemlerin ifade gücünün ve biçimsel ispat sistemlerinin tümdengelim gücünün belirlenmesidir.

Doğru, matematikte mantıksal bir değerdir. Matematik'te ne olduğu belli olmayan (tanımsız) değerlerden biridir. Ayrıca geometride doğru ifadesi aynı doğrultuda olan ve her iki yönden de sonsuza kadar giden noktalar kümesi diye de tanımlanır. Bir doğru üzerinde en az 2 nokta, dışında da en az 1 nokta mevcuttur.
Regresyon analizi, iki ya da daha çok nicel değişken arasındaki ilişkiyi ölçmek için kullanılan analiz metodudur. Eğer tek bir değişken kullanılarak analiz yapılıyorsa buna tek değişkenli regresyon, birden çok değişken kullanılıyorsa çok değişkenli regresyon analizi olarak isimlendirilir. Regresyon analizi ile değişkenler arasındaki ilişkinin varlığı, eğer ilişki var ise bunun gücü hakkında bilgi edinilebilir. Regresyon terimi için öz Türkçe olarak bağlanım sözcüğü kullanılması teklif edilmiş ise de Türk ekonometriciler arasında bu kullanım yaygın değildir.

Kartezyen çarpımındaki
- her sıralı ikilinin Öklid düzlemindeki bir noktaya ve
- birinci dereceden iki değişkenli her bir polinomun düzlemdeki bir doğruya, birebir eşlenmesi ile oluşturulan cebirsel geometrik yapıya Kartezyen koordinat sistemi veya Dik eksenler sistemi adı verilir. Öklid geometrisinin bir modelidir. Koordinat eksenleri x ve y eksenidir bunlar 0 da çakışır. Çakışılan yere sıfır noktası (orijin) adı verilir.
Matematikte sonuşmaz veya asimptot, belirli bir A eğrisine istenildiği kadar yaklaşabilen ikinci bir B eğrisine verilen addır. Bir başka deyişle, A üzerinde ilerledikçe, A ve B arasındaki mesafe azalır ve sıfıra yaklaşır. Asimptot kelimesi, Yunanca "beraber düşmek" anlamındaki simpiptein fiilinin olumsuz halinden türemiştir.
Rassal değişken kavramının geliştirilmesi ile, sezgi yoluyla anlaşılan şans kavramı, soyutlaştırarak teorik matematik analiz alanına sokulmuş ve bu geliştirilen matematik kavram ile olasılık kuramı ve matematiksel istatistiğin temeli kurulmuştur.
Bernoulli dağılımı olasılık kuramı ve istatistik bilim dallarında, p olasılıkla başarı ile 1 değeri alan ve
olasılıkla başarısızlık ile 0 değeri alan bir ayrık olasılık dağılımıdır. İsmi ilk açıklamayı yapan İsviçreli bilim insanı Jakob Bernoulli anısına verilmiştir.

Olasılık kuramı ve istatistik bilim dallarında geometrik dağılım şu iki şekilde ifade edilebilen ayrık olasılık dağılımıdır:
- Bütün tam sayılar setine, yani { 1, 2, 3, .... } üzerine, bağlı olarak X sayıda Bernoulli denemesinde ilk başarıyı elde etmenin olasılık dağılımı; veya
- Bütün tam sayılar setine, yani {1, 2,3, ....} üzerine, bağlı olarak ilk başarıyı elde etmeden Y = X − 1 başarısızlık sayısı olasılık dağılımı.
ElGamal şifrelemesi, Diffie-Hellman anahtar alış-verişi'ne dayanan bir asimetrik şifreleme algoritması olup Taher Elgamal tarafından 1984 yılında önerilmiştir.

Karmaşık analiz ya da başka bir deyişle kompleks analiz, bir karmaşık değişkenli fonksiyonları araştıran bir matematik dalıdır. Bir değişkenli karmaşık analize ya da çok değişkenli karmaşık analizle beraber tümüne karmaşık değişkenli fonksiyonlar teorisi de denilir.
Matematikte, Descartes'ın İşaret Kuralı, ilk olarak René Descartes tarafından La Géométrie adlı çalışmasında tanımlanmıştır. Bu teknik ile tek değişkenli bir polinonum, maksimum pozitif ve maksimum negatif köklerinin sayısı, ilave olarak karmaşık ve reel köklerinin sayısı, denklemin kökleri bulunmadan, işaret kuralı ile tespit edilebilir.
Doğruluk tablosu, mantıkta, özellikle Boole cebiri ve Boole fonksiyonları ile ilişkili olarak, fonksiyon değişkenlerinin bütün kombinasyonları için mantıksal ifadenin değerini hesaplamakta kullanılan bir matematiksel tablo.

Dijital İmza Algoritması dijital imza için bir FIPS standardıdır. Ağustos 1991'de National Institute of Standards and Technology (NIST) tarafından tasarlanmıştır. Dijital imza algoritması, ElGamal İmza Algoritması'nın bir varyantıdır.
Granger nedensellik sınaması, bir zaman serisinin başka bir zaman serisini tahmininde kullanışlı olup olmadığının bir istatistiksel hipotez sınamasıdır. Normalde, bağlanımlar, "sadece" ilintileri yansıtırlar, ancak Ekonomi Nobel Ödülünü kazanan Clive Granger, belli bir sınamalar kümesinin nedensellikle ilgili bir şeyler ortaya çıkardığını savunmuştur.
Goldwasser–Micali (GM) kriptosistemi 1982 yılında Shafi Goldwasser ve Silvio Micali tarafından geliştirilmiş bir asimetrik anahtar şifreleme algoritmasıdır. GM standart kriptografik varsayımlar altında güvenliği kanıtlanmış ilk probabilistik açık anahtar şifreleme yöntemidir. Bununla birlikte başlangıç düz metinden yüzlerce kez daha geniş olan şifreli metinler olduğundan verimli bir kriptosistem değildir. Kriptosistemin güvenlik özelliğini kanıtlamak için Shafi Goldwasser ve Silvio Micali anlamsal güvenliğin geniş alanda kullanılan bir tanımını önerdiler.

Çok değişkenli kalkülüs veya Çok değişkenli hesaplama, matematik biliminin bir alt alanıdır. Bir değişkenli hesapların, birden fazla değişkenli fonksiyonlarla hesaplara yayılması ve tek değişken yerine çoklu değişken içeren fonksiyonların entegrasyonu olarak görülür. Matris, tensör, kısmi türev, çokkatlı integral, çizgi integrali, yüzey integrali, hacim integrali, Jacobi, Hesse, Gradyan gibi inceleme alanları vardır.
Matematikte Stolarsky ortalaması, logaritmik ortalamanın bir genelleştirmesidir. 1975 yılında Kenneth B. Stolarsky tarafından ortaya atılmıştır.