Theoretical Computer Science papers
Pofolia’s corpus holds 37 papers from Theoretical Computer Science (2012–2021), each with a short summary. Below, the 20 most-cited, then the most recently added.
At a glance
- Most cited: How to Solve It : A New Aspect of Mathematical Method (2014, 1,426 citations).
- The 20 papers listed have 7,922 citations between them.
- 2 have a free full text (open access).
- Most frequent journals: Cambridge University Press eBooks, Choice Reviews Online, Medical Entomology and Zoology.
- Published between 2012 and 2021.
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 read the signals
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.
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.
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.
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.
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 x2 + ny2
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.
Introduction to Optimization
2018 · 158 citations
This chapter provides a historical overview of optimization, tracing its development through the computer age and outlining its broad scope.
Proofs and Refutations
Cambridge University Press eBooks · 2015 · FWCI 8.09 · 153 citations
This book argues that mathematics advances through a dynamic process of attempted proofs and subsequent critiques, challenging static views of mathematical certainty.
Mathematics in the Time of the Pharaohs
2019 · FWCI 49.21 · 142 citations
Ancient Egyptian scribes were highly skilled in arithmetic, algebra, and geometry, developing ingenious methods for solving problems that their successors adopted.
Galois' Theory of Algebraic Equations
WORLD SCIENTIFIC eBooks · 2015 · FWCI 10.33 · 138 citations
This book traces the historical development of the theory of algebraic equations from ancient times to Galois' completion in the 19th century, focusing on equations of degree three and higher.
Recently added
Reallabore
transcript Verlag eBooks · 2021 · FWCI 493.24 · 103 citations · Open access
Real-world labs (Reallabore) are a new policy instrument for knowledge transfer and innovation, enabling experimental and iterative development of technologies and societal changes.
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 Dialogical Roots of Deduction
Cambridge University Press eBooks · 2020 · FWCI 28.62 · 127 citations
Deduction is fundamentally a dialogical practice with social and human roots, integrating philosophy, history, psychology, and mathematical practice.
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.
Mathematics in the Time of the Pharaohs
2019 · FWCI 49.21 · 142 citations
Ancient Egyptian scribes were highly skilled in arithmetic, algebra, and geometry, developing ingenious methods for solving problems that their successors adopted.
Introduction to Number Theory
American Mathematical Society eBooks · 2018 · FWCI 3.13 · 96 citations
Flath's textbook introduces Gauss's theory of binary quadratic forms, suitable for advanced undergraduates and graduate students with abstract algebra background.
Introduction to Optimization
2018 · 158 citations
This chapter provides a historical overview of optimization, tracing its development through the computer age and outlining its broad scope.
Calculus: Early Transcendentals
2018 · 277 citations
This text aims to provide clarity, accuracy, and real-world examples to help students succeed in calculus.
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 appOther subfields in Mathematics
- Discrete Mathematics and Combinatorics
- Algebra and Number Theory
- Geometry and Topology
- Computational Mathematics
- Statistics and Probability
- Mathematical Physics
- Modeling and Simulation
- Numerical Analysis
- Applied Mathematics