Concepedia

Nonconstructive Existence Proofs

Nonconstructive Existence Proof is an existence proof in mathematics that establishes the existence of a mathematical object without providing a method for constructing or explicitly identifying the object, typically relying on principles such as the Axiom of Choice.

22

Publications

2.3K

Citations

31

Authors

26

Institutions

Publications per year

2017–2026

1

Variants

Non-constructive Existence Proofs

Parents

Publications

22

Variational methods for the solution of problems of equilibrium and vibrations

Richard Courant · Bulletin of the American Mathematical Society · 1943 · 1.7K citations · Full text

, , +16

The problem of non-existents

Kit Fine · Topoi · 1982 · 64 citations · Full text

, , +3

Computational existence proofs for spherical t-designs

Xiaojun Chen, Andreas Frommer, Bruno Lang · Numerische Mathematik · 2010 · 56 citations

, , +9

Deterministic Algorithms for the Lovász Local Lemma

Karthekeyan Chandrasekaran, Navin Goyal, Bernhard Haeupler · SIAM Journal on Computing · 2013 · 48 citations · Full text

, , +9

Implicit $O(1)$ Probe Search

Amos Fiat, Moni Naor · SIAM Journal on Computing · 1993 · 46 citations

, , +9

1–5 of 22

Authors

31

  1. BL
    Bruno Lang

    University of Wuppertal, Germany

    1 publications · 56 citations

    1

    h-index

  2. RW
    Robert Wheeler

    Northern Illinois University, United States

    1 publications · 32 citations

    1

    h-index

  3. TM
    Theodore M. Drange

    West Virginia University, United States

    1 publications · 21 citations

    1

    h-index

  4. KC
    Katharine C. Walker

    Yale University, United States

    1 publications · 43 citations

    1

    h-index

  5. KC
    Karthekeyan Chandrasekaran

    University of Illinois Urbana-Champaign, United States

    1 publications · 48 citations

    1

    h-index

1–5 of 31

Institutions

26

  1. Georgia Institute of Technology

    Atlanta, United States

    1 h-index

    1 publications

    48 citations

  2. Microsoft Research (India)

    Bengaluru, India

    1 h-index

    1 publications

    48 citations

  3. University of Hong Kong

    Pok Fu Lam, Hong Kong

    1 h-index

    1 publications

    33 citations

  4. Max Planck Society

    Munich, Germany

    1 h-index

    2 publications

    26 citations

  5. Lafayette College

    Easton, United States

    1 h-index

    1 publications

    19 citations

  6. Charles University

    Prague, Czechia

    1 h-index

    1 publications

    23 citations

  7. Trinity University

    San Antonio, United States

    1 h-index

    1 publications

    45 citations

  8. Yale University

    New Haven, United States

    1 h-index

    2 publications

    86 citations

1–8 of 26

Venues

  1. SIAM Journal on Computing

    2 publications · 94 citations

    2

    h-index

  2. Experimental Mathematics

    1 publications · 43 citations

    1

    h-index

  3. Bulletin of the American Mathematical Society

    1 publications · 1.7K citations

    1

    h-index

  4. Topoi

    1 publications · 64 citations

    1

    h-index

  5. Journal of Symbolic Logic

    1 publications · 19 citations

    1

    h-index

1–5