Concepedia

Mathematical Existence Proofs

Mathematical Existence Proofs is a method in mathematical logic that establishes the existence of a mathematical object satisfying given properties without necessarily constructing the object explicitly, by relying on formal inference rules and axiomatic systems to derive existence as a logical consequence.

108

Publications

6.7K

Citations

170

Authors

112

Institutions

Publications per year

2017–2026

13

Parents

Publications

108

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

Ironing, Sweeping, and Multidimensional Screening

Jean‐Charles Rochet, Philippe Choné · Econometrica · 1998 · 607 citations

, , +17

From Nagaoka's Ferromagnetism to Flat-Band Ferromagnetism and Beyond: An Introduction to Ferromagnetism in the Hubbard Model

Progress of Theoretical Physics · 1998 · 402 citations · Full text

, , +11

Some logical metatheorems with applications in functional analysis

Ulrich Kohlenbach · Transactions of the American Mathematical Society · 2004 · 312 citations

, , +8

A parallel algorithmic version of the local lemma

Noga Alon · Random Structures and Algorithms · 1991 · 193 citations

, , +10

1–5 of 108

Authors

170

  1. AI
    Ayumi Igarashi

    University of Oxford, United Kingdom

    2 publications · 68 citations

    2

    h-index

  2. JB
    Jan Bouwe van den Berg

    Vrije Universiteit Amsterdam, Netherlands

    2 publications · 37 citations

    2

    h-index

  3. IC
    Ioannis Caragiannis

    University of Patras, Greece

    2 publications · 68 citations

    2

    h-index

  4. GM
    Gianpiero Monaco

    University of L'Aquila, Italy

    2 publications · 68 citations

    2

    h-index

  5. MP
    Michael Plum

    Karlsruhe Institute of Technology, Germany

    2 publications · 77 citations

    2

    h-index

1–5 of 170

Institutions

112

  1. Tel Aviv University

    Tel Aviv, Israel

    3 h-index

    4 publications

    274 citations

  2. University of Notre Dame

    Notre Dame, United States

    2 h-index

    2 publications

    46 citations

  3. University of Cologne

    Cologne, Germany

    2 h-index

    2 publications

    77 citations

  4. University of Nebraska–Lincoln

    Lincoln, United States

    2 h-index

    3 publications

    79 citations

  5. Simon Fraser University

    Burnaby, Canada

    2 h-index

    3 publications

    36 citations

  6. Carnegie Mellon University

    Pittsburgh, United States

    2 h-index

    2 publications

    129 citations

  7. Georgia Institute of Technology

    Atlanta, United States

    2 h-index

    2 publications

    118 citations

  8. University of California San Diego

    San Diego, United States

    2 h-index

    2 publications

    56 citations

1–8 of 112

Venues

  1. Synthese

    4 publications · 165 citations

    5

    h-index

  2. SIAM Journal on Mathematical Analysis

    5 publications · 189 citations

    5

    h-index

  3. Transactions of the American Mathematical Society

    TRAN · 3 publications · 398 citations

    3

    h-index

  4. arXiv (Cornell University)

    Repository · 3 publications · 81 citations

    3

    h-index

  5. SIAM Journal on Numerical Analysis

    3 publications · 106 citations

    3

    h-index

1–5