Concepedia

Constructive Proofs

Constructive Proofs is a proof method in mathematics and theoretical computer science that establishes the existence of a mathematical object by explicitly providing an algorithm or procedure for constructing it, particularly within number-theoretic contexts such as solutions guaranteed by the Chinese Remainder Theorem.

390

Publications

19.2K

Citations

611

Authors

335

Institutions

Publications per year

2017–2026

42

Parents

Publications

390

Bimatrix Equilibrium Points and Mathematical Programming

C. E. Lemke · Management Science · 1965 · 1K citations · Full text

, , +11

Separability of Very Noisy Mixed States and Implications for NMR Quantum Computing

Samuel L. Braunstein, Carlton M. Caves, Richard Jozsa et al. · Physical Review Letters · 1999 · 576 citations · Full text

, , +14

A New Proof for the Existence of Mutually Unbiased Bases

Algorithmica · 2002 · 568 citations

, , +12

On channel capacity per unit cost

Sergio Verdú · IEEE Transactions on Information Theory · 1990 · 548 citations

, , +17

A formulae-as-type notion of control

Timothy G. Griffin · 1990 · 506 citations

, , +12

1–5 of 390

Authors

611

  1. FR
    Fred Richman

    New Mexico State University, United States

    5 publications · 155 citations

    5

    h-index

  2. BS
    Bas Spitters

    Radboud University Nijmegen, Netherlands

    3 publications · 79 citations

    3

    h-index

  3. KJ
    Kamal Jain

    Indian Institute of Technology Roorkee, India

    3 publications · 255 citations

    3

    h-index

  4. RL
    Robert L. Constable

    Cornell University, United States

    3 publications · 52 citations

    3

    h-index

  5. TC
    Thierry Coquand

    Chalmers University of Technology, Sweden

    3 publications · 82 citations

    3

    h-index

1–5 of 611

Institutions

335

  1. Centre National de la Recherche Scientifique

    Paris, France

    8 h-index

    13 publications

    358 citations

  2. Cornell University

    Ithaca, United States

    6 h-index

    7 publications

    756 citations

  3. University of California, Los Angeles

    Los Angeles, United States

    5 h-index

    10 publications

    2.1K citations

  4. Université Paris Cité

    Paris, France

    5 h-index

    5 publications

    118 citations

  5. University of California, Berkeley

    Berkeley, United States

    5 h-index

    11 publications

    426 citations

  6. University of Chicago

    Chicago, United States

    5 h-index

    8 publications

    359 citations

  7. University of Padua

    Padua, Italy

    4 h-index

    7 publications

    137 citations

  8. University of Maryland, College Park

    College Park, United States

    4 h-index

    5 publications

    133 citations

1–8 of 335

Venues

  1. Journal of Symbolic Logic

    13 publications · 655 citations

    11

    h-index

  2. IEEE Transactions on Automatic Control

    12 publications · 578 citations

    11

    h-index

  3. Pacific Journal of Mathematics

    10 publications · 353 citations

    10

    h-index

  4. American Mathematical Monthly

    7 publications · 152 citations

    7

    h-index

  5. Proceedings of the American Mathematical Society

    PROC · 6 publications · 251 citations

    6

    h-index

1–5