Concepedia

Computable Presentations

Computable Presentation is a formal representation of a mathematical structure in which the domain and operations are encoded via computable functions under a recursive naming system, enabling effective computation over the structure within the framework of computability theory.

12

Publications

356

Citations

18

Authors

15

Institutions

Publications per year

2017–2026

2

Parents

Publications

12

Integral closure of ideals

Douglas A. Leonard · arXiv (Cornell University) · 2012 · 83 citations · Full text

, , +11

Computable Models of Theories with Few Models

Bakhadyr Khoussainov, André Nies, Richard A. Shore · Notre Dame Journal of Formal Logic · 1997 · 73 citations · Full text

, , +13

Computing Minimal Presentations and Bigraded Betti Numbers of 2-Parameter Persistent Homology

Michael Lesnick, Matthew Wright · SIAM Journal on Applied Algebra and Geometry · 2022 · 41 citations

, , +15

First Steps in Synthetic Computability Theory

Andrej Bauer · Electronic Notes in Theoretical Computer Science · 2006 · 32 citations · Full text

, , +15

Presentations of computably enumerable reals

Rodney G. Downey, Geoffrey Laforte · Theoretical Computer Science · 2002 · 25 citations

, , +9

1–5 of 12

Authors

18

  1. AN
    André Nies

    University of Auckland, New Zealand

    2 publications · 88 citations

    2

    h-index

  2. ML
    Michael Lesnick

    University at Albany, State University of New York, United States

    1 publications · 41 citations

    1

    h-index

  3. RG
    Rodney G. Downey

    Victoria University of Wellington, New Zealand

    1 publications · 25 citations

    1

    h-index

  4. MW
    Matthew Wright

    University of Missouri, United States

    1 publications · 41 citations

    1

    h-index

  5. GL
    Geoffrey Laforte

    University of West Florida, United States

    1 publications · 25 citations

    1

    h-index

1–5 of 18

Institutions

15

  1. Cornell University

    Ithaca, United States

    2 h-index

    4 publications

    237 citations

  2. Kazan Federal University

    Kazan’, Russia

    1 h-index

    1 publications

    13 citations

  3. Queensland University of Technology

    Brisbane, Australia

    1 h-index

    1 publications

    14 citations

  4. University at Albany, State University of New York

    Albany, United States

    1 h-index

    1 publications

    41 citations

  5. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    1 h-index

    1 publications

    14 citations

  6. University of St Andrews

    St Andrews, United Kingdom

    1 h-index

    2 publications

    28 citations

  7. University of Ljubljana

    Ljubljana, Slovenia

    1 h-index

    1 publications

    32 citations

  8. GREYC

    Caen, France

    1 h-index

    1 publications

    15 citations

1–8 of 15

Venues

  1. Notre Dame Journal of Formal Logic

    2 publications · 88 citations

    2

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 32 citations

    1

    h-index

  3. arXiv (Cornell University)

    Repository · 1 publications · 83 citations

    1

    h-index

  4. SIAM Journal on Applied Algebra and Geometry

    SIAGA · 1 publications · 41 citations

    1

    h-index

  5. Lobachevskii Journal of Mathematics

    LJM · 1 publications · 13 citations

    1

    h-index

1–5