World's Best Scientists 2026 revealed!

D-Index & Metrics

Mathematics

D-Index
43
Citations
6476
World Ranking
1716
National Ranking
737

Engineering and Technology

D-Index
43
Citations
6465
World Ranking
6254
National Ranking
1728

Overview

Samuel R. Buss is affiliated with the University of California, San Diego in the United States. Their research focuses primarily on computer science, with a specialized interest in computational theory and mathematics.

Their work covers topics including:

  • Computability, Logic, AI Algorithms
  • Mathematics, Computing, and Information Processing

Samuel R. Buss has contributed to several recent publications. These include:

  • "Mathematical Logic: Proof Theory, Constructive Mathematics," published in 2021 in Oberwolfach Reports
  • "Mathematical Logic: Proof Theory, Constructive Mathematics," published in 2024 in Oberwolfach Reports
  • "Next-Token Prediction Task Assumes Optimal Data Ordering for LLM Training in Proof Generation," published in 2024 in arXiv (Cornell University)

Frequent coauthors of Samuel R. Buss include:

  • Rosalie Iemhoff
  • Ulrich Kohlenbach
  • Michael Rathjen
  • Chenyang An
  • Shima Imani

The main venues where their work appears are:

  • Oberwolfach Reports
  • arXiv (Cornell University)

Best Publications

  • Selectively Damped Least Squares for Inverse Kinematics

    Samuel R. Buss;Jin-Su Kim

  • Spherical averages and applications to spherical splines and interpolation

    Samuel R. Buss;Jay P. Fillmore

  • Handbook of proof theory

    Samuel R. Buss

  • The Boolean formula value problem is in ALOGTIME

    S. R. Buss

  • Chapter I - An Introduction to Proof Theory

    Samuel R. Buss

  • Polynomial Size Proofs of the Propositional Pigeonhole Principle

    Samuel R. Buss

  • On truth-table reducibility to SAT

    Samuel R. Buss;Louise Hay

  • Chapter II - First-Order Proof Theory of Arithmetic

    Samuel R. Buss

  • The undecidability of k-provability

    Samuel R. Buss

  • Proof complexity in algebraic systems and bounded depth Frege systems with modular counting

    S. Buss;R. Impagliazzo;J. Krajíček;P. Pudlák

  • Resolution proofs of generalized pigeonhole principles

    Samuel R. Buss;Győrgy Turán

  • Linear gaps between degrees for the polynomial calculus modulo distinct primes

    Sam Buss;Dima Grigoriev;Russell Impagliazzo;Toniann Pitassi

  • An optimal parallel algorithm for formula evaluation

    S. Buss;S. Cook;A. Gupta;V. Ramachandran

  • Linear gaps between degrees for the polynomial calculus modulo distinct primes

    S. Buss;D. Grigoriev;R. Impagliazzo;T. Pitassi

  • 3D Computer Graphics: A Mathematical Introduction with OpenGL

    Samuel R. Buss

  • A Switching Lemma for Small Restrictions and Lower Bounds for k -DNF Resolution

    Nathan Segerlind;Sam Buss;Russell Impagliazzo

  • An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic

    Samuel R. Buss;Jan Krajíček

  • Switching lemma for small restrictions and lower bounds for k-DNF resolution

    N. Segerlind;S. Buss;R. Impagliazzo

  • On Herbrand's Theorem

    Samuel R. Buss

  • Resolution and the Weak Pigeonhole Principle

    Samuel R. Buss;Toniann Pitassi

Frequent Co-Authors

Pavel Pudlák
Pavel Pudlák Czech Academy of Sciences
Petr Hájek
Petr Hájek Czech Academy of Sciences
Toniann Pitassi
Toniann Pitassi Columbia University
Russell Impagliazzo
Russell Impagliazzo University of California, San Diego
Shlomo Moran
Shlomo Moran Technion – Israel Institute of Technology
Christos H. Papadimitriou
Christos H. Papadimitriou Columbia University
Joao Marques-Silva
Joao Marques-Silva Institució Catalana de Recerca i Estudis Avançats
Alexander A. Razborov
Alexander A. Razborov University of Chicago
Paul Beame
Paul Beame University of Washington

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Mathematics in the USA opens doors to various advanced degree options that complement mathematical skills with practical business and analytical expertise. For those interested in combining quantitative ability with strategic business knowledge, exploring online programs like the marketing masters can be a valuable step. These programs highlight how marketing analytics and data-driven decision-making increasingly rely on strong mathematical foundations.

Many students also consider accelerating their education through a 1 year mba program, allowing them to quickly gain leadership and management skills that pair well with math-heavy roles in finance, consulting, or tech industries.

For flexibility, students exploring the option to enhance their credentials can look into programs that accept transfer credits, ensuring a smooth transition and reduced time to completion. Resources discussing can you transfer mba programs provide helpful insights into making the most of prior coursework.

Finally, with the rise of big data, pursuing a masters data analytics degree is one of the most complementary pathways for math graduates. It equips students with the skills to analyze complex data sets and generate actionable insights, catering to high-demand career areas across various sectors.

Best Scientists Citing Samuel R. Buss

Trending Scientists

Recently Published Articles