Concepedia

Counterexample Construction

Counterexample Construction is a methodological contribution in mathematical writing that consists in the deliberate formulation of specific instances disproving a conjectured statement, thereby distinguishing itself from general proof techniques by its focus on invalidation through concrete, exceptional cases.

197

Publications

8.1K

Citations

328

Authors

196

Institutions

Publications per year

2017–2026

28

Parents

Publications

197

Cryptanalyzing an Image Encryption Algorithm Based on Autoblocking and Electrocardiography

Chengqing Li, Dongdong Lin, Jinhu Lü et al. · IEEE Multimedia · 2018 · 262 citations

, , +15

MCMAS: an open-source model checker for the verification of multi-agent systems

Alessio Lomuscio, Hongyang Qu, Franco Raimondi · International Journal on Software Tools for Technology Transfer · 2015 · 223 citations · Full text

, , +15

<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:msub><mml:mi>k</mml:mi><mml:mi>T</mml:mi></mml:msub></mml:math>factorization is violated in production of high-transverse-momentum particles in hadron-hadron collisions

John C. Collins, Jian-Wei Qiu · Physical review. D. Particles, fields, gravitation, and cosmology/Physical review. D, Particles, fields, gravitation, and cosmology · 2007 · 201 citations · Full text

, , +15

On learning invariant representations for domain adaptation

Han Zhao, Rémi Tachet des Combes, Kun Zhang et al. · International Conference on Machine Learning · 2019 · 189 citations

, , +14

Venetian Sea Levels, British Bread Prices, and the Principle of the Common Cause

Elliott Sober · The British Journal for the Philosophy of Science · 2001 · 185 citations

, , +14

1–5 of 197

Authors

328

  1. OG
    Orna Grümberg

    Technion – Israel Institute of Technology, Israel

    2 publications · 166 citations

    2

    h-index

  2. NK
    Nils Klarlund

    Aarhus University, Denmark

    2 publications · 98 citations

    2

    h-index

  3. PJ
    Patrick J. Kehoe

    Federal Reserve Bank of Minneapolis, United States

    2 publications · 93 citations

    2

    h-index

  4. KZ
    Kun Zhang

    Carnegie Mellon University, United States

    2 publications · 345 citations

    2

    h-index

  5. LA
    Lane A. Hemachandra

    University of Rochester, United States

    2 publications · 126 citations

    2

    h-index

1–5 of 328

Institutions

196

  1. Massachusetts Institute of Technology

    Cambridge, United States

    5 h-index

    8 publications

    358 citations

  2. University of Maryland, College Park

    College Park, United States

    4 h-index

    6 publications

    255 citations

  3. University of Freiburg

    Freiburg im Breisgau, Germany

    4 h-index

    7 publications

    123 citations

  4. Cornell University

    Ithaca, United States

    3 h-index

    4 publications

    219 citations

  5. University of Minnesota

    Minneapolis, United States

    3 h-index

    4 publications

    139 citations

  6. University of Wisconsin–Madison

    Madison, United States

    3 h-index

    6 publications

    244 citations

  7. Federal Reserve Bank of Minneapolis

    Minneapolis, United States

    3 h-index

    4 publications

    139 citations

  8. University of California, Davis

    Davis, United States

    3 h-index

    3 publications

    197 citations

1–8 of 196

Venues

  1. Proceedings of the American Mathematical Society

    PROC · 7 publications · 174 citations

    7

    h-index

  2. arXiv (Cornell University)

    Repository · 7 publications · 239 citations

    7

    h-index

  3. The Journal of Mathematical Behavior

    JMB · 4 publications · 188 citations

    4

    h-index

  4. Advances in Mathematics

    3 publications · 161 citations

    3

    h-index

  5. Operations Research

    3 publications · 82 citations

    3

    h-index

1–5