Key papers in Theoretical Computer Science
Pofolia’s corpus holds 46 papers from the Theoretical Computer Science subfield (2012–2026). The list below starts with the most cited.
Most cited
Ranked by citation count. Because citations accumulate over time, this list naturally leans towards work published a few years ago; for where the field is now, see “recently added”.
How to Solve It : A New Aspect of Mathematical Method
2014 · FWCI 943.11 · 1,426 citations
This abstract describes a perennial bestseller that reveals how the mathematical method of demonstrating a proof or finding an unknown can be applied to solve any "reasoned" problem, from engineering to word games.
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society · 2026 · Q1 · 1,257 citations
This paper presents a construction for wavelet sets in R and R^n, which are then used to demonstrate continuous dependence on underlying subsets and prove the path-connectedness of s-elementary wavelets.
Sheaves in Geometry and Logic: A First Introduction to Topos Theory
Medical Entomology and Zoology · 2018 · FWCI 44.34 · 852 citations
This text introduces topos theory, a field originating from the study of sheaves in geometry and logic, as a unified framework for diverse mathematical concepts.
A course of modern analysis an introduction to the general theory of infinite processes and of analytic functions with an account of the principal transcendental functions
2021 · 850 citations
This classic 1902 text, now in its fifth edition, remains a valuable resource for its exhaustive treatment of special functions in mathematical physics and differential equations, and for introducing modern complex analysis methods in English.
The Foundations of Arithmetic
2020 · FWCI 25.56 · 713 citations
This edition of Frege's 'Foundations of Arithmetic' is structured to make the philosophical work more accessible for undergraduates.
A Survey of Modern Algebra
2017 · FWCI 31.81 · 675 citations
This abstract describes a classic text on modern algebra, authored by two future leaders in the field, which has significantly influenced mathematical understanding for many years.
Memoirs of the American Mathematical Society
Memoirs of the American Mathematical Society · 2026 · Q1 · SJR 3.00 · 665 citations
This paper proves a Brunn-Minkowski inequality for a nonlinear capacity, Cap_A, associated with A-harmonic functions related to the p-Laplace equation.
A History of Greek Mathematics
Cambridge University Press eBooks · 2013 · FWCI 81.01 · 574 citations
This work provides a rigorous exposition of ancient Greek mathematics, detailing methodologies for modern mathematicians and explanations for classicists.
Bulletin of the American Mathematical Society
Bulletin of the American Mathematical Society · 2026 · 561 citations
Researchers have identified 26 distinct indecomposable self-dual codes of length 24 over GF(2), including unique codes with minimum weights of 8 and 6.
Foundations of Set Theory
2012 · FWCI 158.32 · 402 citations
This abstract outlines a comprehensive exploration of the foundational concepts in set theory, covering its historical antinomies and various theoretical approaches.
Calculus: Early Transcendentals
2018 · 277 citations
This text aims to provide clarity, accuracy, and real-world examples to help students succeed in calculus.
Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse
Cambridge University Press eBooks · 2013 · FWCI 432.93 · 241 citations
This paper proves that all non-trivial zeros of the Riemann zeta function lie on the critical line Re(s)=0.5, establishing the Riemann Hypothesis.
Fundamenta nova theoriae functionum ellipticarum
Cambridge University Press eBooks · 2013 · FWCI 188.80 · 230 citations
This is a digitized version of a foundational work on elliptic functions, made available through Google and the Internet Archive.
A History of the Mathematical Theory of Probability
Cambridge University Press eBooks · 2014 · FWCI 4.56 · 216 citations
This 1865 work chronicles the historical development of probability theory as a distinct mathematical subject, tracing its origins from 17th-century problems to the advanced work of Laplace.
Fundamenta Mathematicae
Fundamenta Mathematicae · 2026 · Q3 · 210 citations
Researchers constructed a rigid, atomless Boolean algebra that lacks uncountable antichains and allows for the elimination of the Malitz quantifier Q21.
The History of mathematical proof in ancient traditions
Choice Reviews Online · 2013 · 187 citations
This collection explores the diverse historical development and understanding of mathematical proof across various ancient traditions, moving beyond a singular Greek ideal.
Was sind und was sollen die Zahlen?
Cambridge University Press eBooks · 2012 · FWCI 9.32 · 176 citations
Richard Dedekind's 1888 book resolved foundational issues in calculus by constructing real numbers from rational numbers using the 'Dedekind cut' method.
Primes of the form x<sup>2 </sup>+ ny<sup>2</sup>
The Bulletin of Society for Mathematical Services and Standards · 2012 · FWCI 237.61 · 174 citations · Open access
This paper extends Fermat's theorem on sums of two squares to primes representable as a square plus a multiple of another square.
Teaching Mathematics in Tomorrow’s Society: A Case for an Oncoming Counter Paradigm
2015 · FWCI 228.00 · 174 citations · Open access
A new "questioning the world" paradigm for mathematics education is proposed, offering a potential solution to the current crisis by moving beyond traditional "visiting works" approaches.
Origins of Numerical Knowledge
2018 · FWCI 37.88 · 164 citations
Young infants possess an innate system for representing and manipulating small quantities, allowing them to understand numerical relationships.
Recently added
Journal of the European Mathematical Society
Journal of the European Mathematical Society · 2026 · Q1 · SJR 3.00 · 97 citations
The mixing time of Glauber dynamics for the 2D Ising model with random boundary conditions is shown to be quasi-polynomial (L^c log L) for all temperatures above critical, a significant improvement over previous exponential bounds.
Fundamenta Mathematicae
Fundamenta Mathematicae · 2026 · Q3 · 210 citations
Researchers constructed a rigid, atomless Boolean algebra that lacks uncountable antichains and allows for the elimination of the Malitz quantifier Q21.
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society · 2026 · Q1 · 1,257 citations
This paper presents a construction for wavelet sets in R and R^n, which are then used to demonstrate continuous dependence on underlying subsets and prove the path-connectedness of s-elementary wavelets.
Memoirs of the American Mathematical Society
Memoirs of the American Mathematical Society · 2026 · Q1 · SJR 3.00 · 665 citations
This paper proves a Brunn-Minkowski inequality for a nonlinear capacity, Cap_A, associated with A-harmonic functions related to the p-Laplace equation.
Bulletin of the American Mathematical Society
Bulletin of the American Mathematical Society · 2026 · 561 citations
Researchers have identified 26 distinct indecomposable self-dual codes of length 24 over GF(2), including unique codes with minimum weights of 8 and 6.
Add this field to your daily feed
Pick your interests and new work in your area arrives every day, summarised. Full summaries live in the app.
Open the app