Otomatik teorem kanıtlama, teoremlerin bilgisayar programları aracılığıyla kanıtlanmasına odaklanan matematiksel mantık dalıdır. Otomatik yordamlar için matematiksel kanıt yönteminin kullanılması bilgisayar biliminin gelişiminde kilit rol oynamıştır.
Allen Newell, Herbert A. Simon ve J. C. Shaw tarafından geliştirilmiş Logic Theorist programı önerme mantığına ait kanıtlar sunmaktadır.
Matematik ; sayılar, felsefe, uzay ve fizik gibi konularla ilgilenir. Matematikçiler ve filozoflar arasında matematiğin kesin kapsamı ve tanımı konusunda görüş ayrılığı vardır.
Pisagor teoremi veya Pisagor bağıntısı, Öklid geometrisinde üçgenin kenarları arasındaki temel ilişkiyi kuran ilk teoremlerden biridir. Teoreme gerçek hayattan örnek olarak telli çalgıları gösterilebilir; 'telin uzunluğu arttıkça titreşim artar' prensibine dayanır. Pisagor'un denklemi olarak da isimlendirilen bu teorem, a, b ve c kenarlarının arasındaki ilişkiyi şu şekilde açıklar:
Matematiksel ispat, matematiksel bir ifade için türetilmiş varsayımların mantıksal olarak doğru olduğu sonucunu garantileyen, çıkarımsal bir argümandır. Argüman, teoremler gibi önceden oluşturulmuş diğer ifadeleri kullanabilir; lakin prensipte her delil, kabul edilen çıkarım kurallarıyla birlikte yalnızca aksiyom olarak bilinen belirli temel veya orijinal varsayımlar kullanılarak oluşturulabilir.
Bilişim, bilişim bilimi ya da bilgisayar bilimi, bilgi ve hesaplamanın kuramsal temellerini ve bunların bilgisayar sistemlerinde uygulanabilmeleri sağlayan pratik teknikleri araştıran bir yapısal bilim dalıdır. Bilişimciler ya da bilgisayar bilimcileri bilgi oluşturan, tanımlayan ve dönüştüren algoritmik süreçler icat edip, kompleks sistemleri tasarlamak ve modellemek için uygun soyutlamalar formüle ederler. Bilişim Dünya'da hızla gelişmeye devam eden önemli bir teknolojidir.
Geometri, matematiğin uzamsal ilişkiler ile ilgilenen alt dalıdır. Yunanca Γεωμετρία "Geo" (yer) ve "metro" (ölçüm) birleşiminden türetilmiş bir isimdir.
Sinyaller ve sistemler kavram ve teorisi diğer birçok mühendislik ve bilim dallarıyla birlikte, elektrik ve elektronik mühendisliğinin hemen her alanında ve Biyomedikal mühendisliğinin tıbbi cihazlar ve biyoelektrik gibi elektrikle ilgilenen alt disiplinlerinde gerekli olup, haberleşme, EKG, EEG gibi tıbbi cihazlar, devreler ve sistemler ve kontrol sistemleri gibi alanlardaki ileri düzeyde çalışmaların matematiksel temelini oluşturur.
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.
Alan Mathison Turing, İngiliz matematikçi, bilgisayar bilimcisi ve kriptolog. Bilgisayar biliminin kurucusu sayılır. Geliştirmiş olduğu Turing testi ile makinelerin ve bilgisayarların düşünme yetisine sahip olup olamayacakları konusunda bir kriter öne sürmüştür.
Pierre de Fermat, neredeyse eşitlik (“adequality”) tekniği de dahil olmak üzere sonsuz küçük hesaplara yol açan erken gelişmeler için yaptığı katkılarla bilinen bir Fransız matematikçiydi. Özellikle, eğri çizgilerin en büyük ve en küçük koordinatlarını bulmanın özgün bir yöntemini keşfetmesiyle tanınır; bu, o zamanlar bilinmeyen diferansiyel kalkülüsünkine benzer ve sayı teorisi üzerine yaptığı araştırmadır. Analitik geometri, olasılık ve optiğe kayda değer katkılarda bulundu. En çok ışık yayılımı hakkındaki Fermat ilkesi ve Diophantus'un Aritmeticasının bir kopyasının kenarındaki bir notta açıkladığı sayı teorisindeki Fermat'nın Son Teoremi ile tanınır. Aynı zamanda Fransa'nın Toulouse Parlamentosu'nda avukattı.
Johann Carl Friedrich Gauss ya da Gauß, Alman matematikçi, astronom, istatistikçi, olağanüstü katkılardan dolayı "Matematikçilerin prensi" ve "antik çağlardan beri yaşamış en büyük matematikçi" olarak anılır.
Matematiğin bir dalı olan karmaşık analizde Mergelyan teoremi, Ermeni matematikçi Sergey Nikitoviç Mergelyan tarafından 1951'de kanıtlanmış ve Mergelyan'a ithafen isimlendirilmiş bir matematiksel sonuçtur.
Ayrık matematik veya bazen kullanılan diğer adıyla sonlu matematik ya da kesikli matematik, matematiğin ayrık yapılarıyla ilgilenen süreklilik içermeyen konularını kapsayan matematik dalıdı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:
Otomatikleştirilmiş muhakeme, otomatik akıl yürütmenin farklı yönlerinin izah edilmesine odaklanmış bir bilgisayar bilimi ve matematiksel mantık alanıdır. Otomatik akıl yürütme çalışması, bilgisayarların neredeyse tamamen otomatik olarak bilgisayar programları üretmesine yardımcı olur. Otomatik akıl yürütme, yapay zekanın bir alt alanı olarak düşünülmesine rağmen, teorik bilgisayar bilimi ve hatta felsefe ile de bağlantıları vardır.
Geometride Crossbar (Pasch) teoremi, 
Bu, Wikipedia'da yer alan sayı teorisi konularıyla ilgili sayfaların bir listesidir.
Bu, temel bir matematik sabiti olan pi ile ilgili konuların listesidir.
Bu sayfa teoremlerin bir listesidir. Ayrıca bakınız:
Franz Mertens Polonyalı bir matematikçidir. Prusya Krallığı'nın Posen Büyük Dükalığı'nda Schroda'da doğdu ve Avusturya'nın Viyana kentinde öldü.
Otomatik akıl yürütme, bilgisayar biliminin ve akıl yürütmenin farklı yönlerini anlamaya çalışan bir alandır. Otomatik akıl yürütme çalışması, bilgisayarların tamamen veya neredeyse tamamen otomatik olarak akıl yürütmesine izin veren bilgisayar programlarının üretilmesine yardımcı olur. Otomatik akıl yürütme, yapay zekanın bir alt alanı olarak görülse de, teorik bilgisayar bilimi ve felsefesi ile de bağlantıları vardır.
