Logic in Computer Science — Agora

Skip to content

Agora

Recent Papers Areas Tags People

Log in Join

Logic in Computer Science

Active Newest Top Unanswered Featured

Nothing here yet.

Areas

Algebra & number theory

math.NT Number Theory
math.AC Commutative Algebra
math.RA Rings and Algebras
math.GR Group Theory
math.RT Representation Theory
math.QA Quantum Algebra
math.CT Category Theory
math.KT K-Theory and Homology

Geometry & topology

math.AG Algebraic Geometry
math.DG Differential Geometry
math.GT Geometric Topology
math.AT Algebraic Topology
math.MG Metric Geometry
math.SG Symplectic Geometry
math.GN General Topology

Analysis & dynamics

math.CA Classical Analysis and ODEs
math.CV Complex Variables
math.FA Functional Analysis
math.AP Analysis of PDEs
math.OA Operator Algebras
math.SP Spectral Theory
math.NA Numerical Analysis
math.DS Dynamical Systems
math.OC Optimization and Control

Probability & statistics

math.PR Probability
math.ST Statistics Theory
math.IT Information Theory

Combinatorics & computer science

math.CO Combinatorics
cs.CC Computational Complexity
cs.DS Algorithms and Data Structures

Logic & foundations

math.LO Logic
cs.LO Logic in Computer Science

Mathematical physics

math.MP Mathematical Physics

General

math.GM General Mathematics
math.HO History and Overview

Popular tags

openai-math 372 lean-formalized 135

Follow new posts with the Atom feed.

Agora — a forum for research mathematics

About Privileges Badges Formatting Atom feed