D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Mathematics D-index 31 Citations 5,161 116 World Ranking 1972 National Ranking 840

Overview

What is he best known for?

The fields of study he is best known for:

  • Algorithm
  • Algebra
  • Discrete mathematics

Samuel R. Buss mainly focuses on Discrete mathematics, Combinatorics, Mathematical proof, Proof theory and Pigeonhole principle. His Discrete mathematics research is multidisciplinary, incorporating perspectives in Proof complexity, Value and Deep inference. His Combinatorics research incorporates themes from Propositional proof system, Bounded function, True quantified Boolean formula and Constant.

His study in Proof theory is interdisciplinary in nature, drawing from both Dialectica interpretation and Calculus. His Pigeonhole principle research is multidisciplinary, incorporating elements of Resolution and Exponential function. Samuel R. Buss interconnects Upper and lower bounds, Polynomial, Automated theorem proving and Mathematical logic in the investigation of issues within Exponential function.

His most cited work include:

  • Spherical averages and applications to spherical splines and interpolation (244 citations)
  • The Boolean formula value problem is in ALOGTIME (211 citations)
  • Selectively Damped Least Squares for Inverse Kinematics (200 citations)

What are the main themes of his work throughout his whole career to date?

His main research concerns Discrete mathematics, Combinatorics, Mathematical proof, Proof complexity and Bounded function. His research in Discrete mathematics intersects with topics in Upper and lower bounds and Resolution. The Combinatorics study combines topics in areas such as Polynomial, Matrix polynomial, Stable polynomial and Constant.

His studies deal with areas such as Arithmetical hierarchy and Polynomial hierarchy as well as Matrix polynomial. His Mathematical proof study integrates concerns from other disciplines, such as Satisfiability, Exponential function and Calculus. His work in Calculus addresses subjects such as Proof theory, which are connected to disciplines such as Mathematical logic.

He most often published in these fields:

  • Discrete mathematics (59.79%)
  • Combinatorics (30.69%)
  • Mathematical proof (30.16%)

What were the highlights of his more recent work (between 2015-2020)?

  • Combinatorics (30.69%)
  • Discrete mathematics (59.79%)
  • Mathematical proof (30.16%)

In recent papers he was focusing on the following fields of study:

Samuel R. Buss mostly deals with Combinatorics, Discrete mathematics, Mathematical proof, Proof complexity and Algorithm. His Combinatorics research includes elements of Polynomial and Bounded function. His Discrete mathematics study combines topics from a wide range of disciplines, such as Quotient and Inversion.

In his work, Sequent calculus is strongly intertwined with Constant, which is a subfield of Mathematical proof. His work carried out in the field of Proof complexity brings together such families of science as Decision tree, Satisfiability, Nondeterministic algorithm and Resolution. His work in the fields of Algorithm, such as Maximum satisfiability problem, overlaps with other areas such as Resolution and Compton scattering.

Between 2015 and 2020, his most popular works were:

  • MaxSAT Resolution With the Dual Rail Encoding. (12 citations)
  • Strategies for stable merge sorting (9 citations)
  • 2-D Tucker is PPA complete (7 citations)

In his most recent research, the most cited papers focused on:

  • Algorithm
  • Algebra
  • Discrete mathematics

His scientific interests lie mostly in Discrete mathematics, Proof complexity, Mathematical proof, Combinatorics and Time complexity. His study in the fields of Homomorphism under the domain of Discrete mathematics overlaps with other disciplines such as Stability. Samuel R. Buss has included themes like Satisfiability, Oracle, Contradiction, Resolution and Consistency in his Proof complexity study.

The concepts of his Mathematical proof study are interwoven with issues in Function, Trace, Pigeonhole principle and Constant. His Combinatorics research integrates issues from Upper and lower bounds and Search problem. His Time complexity research includes themes of Propositional calculus and Computation.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Spherical averages and applications to spherical splines and interpolation

Samuel R. Buss;Jay P. Fillmore.
ACM Transactions on Graphics (2001)

353 Citations

Handbook of proof theory

Samuel R. Buss.
(1998)

323 Citations

Selectively Damped Least Squares for Inverse Kinematics

Samuel R. Buss;Jin-Su Kim.
Journal of Graphics Tools (2005)

317 Citations

The Boolean formula value problem is in ALOGTIME

S. R. Buss.
symposium on the theory of computing (1987)

282 Citations

Chapter I - An Introduction to Proof Theory

Samuel R. Buss.
Studies in logic and the foundations of mathematics (1998)

259 Citations

Polynomial Size Proofs of the Propositional Pigeonhole Principle

Samuel R. Buss.
Journal of Symbolic Logic (1987)

230 Citations

Chapter II - First-Order Proof Theory of Arithmetic

Samuel R. Buss.
Studies in logic and the foundations of mathematics (1998)

127 Citations

On truth-table reducibility to SAT

Samuel R. Buss;Louise Hay.
Information & Computation (1991)

127 Citations

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

S. Buss;R. Impagliazzo;J. Krajíček;P. Pudlák.
Computational Complexity (1997)

122 Citations

An optimal parallel algorithm for formula evaluation

S. Buss;S. Cook;A. Gupta;V. Ramachandran.
SIAM Journal on Computing (1992)

120 Citations

Best Scientists Citing Samuel R. Buss

Toniann Pitassi

Toniann Pitassi

University of Toronto

Publications: 35

Stephen A. Cook

Stephen A. Cook

University of Toronto

Publications: 26

Pavel Pudlák

Pavel Pudlák

Czech Academy of Sciences

Publications: 26

Alexander A. Razborov

Alexander A. Razborov

University of Chicago

Publications: 25

Russell Impagliazzo

Russell Impagliazzo

University of California, San Diego

Publications: 21

Eli Ben-Sasson

Eli Ben-Sasson

Technion – Israel Institute of Technology

Publications: 17

Eric Allender

Eric Allender

Rutgers, The State University of New Jersey

Publications: 17

Ran Raz

Ran Raz

Princeton University

Publications: 14

Paul Beame

Paul Beame

University of Washington

Publications: 14

Grigore Rosu

Grigore Rosu

University of Illinois at Urbana-Champaign

Publications: 13

Sarang Joshi

Sarang Joshi

University of Utah

Publications: 11

Ryan Williams

Ryan Williams

MIT

Publications: 11

Avi Wigderson

Avi Wigderson

Institute for Advanced Study

Publications: 10

Madhav V. Marathe

Madhav V. Marathe

University of Virginia

Publications: 9

Stéphane Lafortune

Stéphane Lafortune

University of Michigan–Ann Arbor

Publications: 8

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-index is inferred from publications deemed to belong to the considered discipline.

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

Contact us
Something went wrong. Please try again later.