Concepedia

Certified Computation

Certified Computation is a computational paradigm within Robust Geometric Computation that guarantees the correctness of geometric algorithms by producing, alongside the output, a mathematical proof of its validity with respect to the input and specified constraints.

34

Publications

766

Citations

85

Authors

59

Institutions

Publications per year

2017–2026

7

Parents

Publications

34

Accuracy Certificates for Computational Problems with Convex Structure

Arkadi Nemirovski, Shmuel Onn, Uriel G. Rothblum · Mathematics of Operations Research · 2009 · 60 citations

, , +13

Certified solving of the forward kinematics problem with an exact algebraic method for the general parallel manipulator

Luc Rolland · Advanced Robotics · 2005 · 57 citations

, , +16

Computing the volume of a union of balls

Frédéric Cazals, Harshad Kanhere, Sébastien Loriot · ACM Transactions on Mathematical Software · 2011 · 47 citations

, , +11

Certifying Zeros of Polynomial Systems Using Interval Arithmetic

Paul Breiding, Kemal Rose, Sascha Timme · ACM Transactions on Mathematical Software · 2023 · 37 citations

, , +13

Program-ing finger trees in C <scp>oq</scp>

Matthieu Sozeau · 2007 · 36 citations

, , +12

1–5 of 34

Authors

85

  1. VM
    Victor Magron

    Laboratoire d'Analyse et d'Architecture des Systèmes, France

    3 publications · 40 citations

    3

    h-index

  2. MS
    Matthieu Sozeau

    Institut national de recherche en sciences et technologies du numérique, France

    2 publications · 59 citations

    2

    h-index

  3. XA
    Xavier Allamigeon

    École Polytechnique, France

    2 publications · 28 citations

    2

    h-index

  4. XU
    Xavier Urbain

    Université Paris-Sud, France

    2 publications · 50 citations

    2

    h-index

  5. JF
    Jean‐Charles Faugère

    Sorbonne Université, France

    2 publications · 31 citations

    2

    h-index

1–5 of 85

Institutions

59

  1. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    9 h-index

    20 publications

    447 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    5 h-index

    10 publications

    198 citations

  3. Laboratoire de Recherche en Informatique

    Gif-sur-Yvette, France

    4 h-index

    5 publications

    134 citations

  4. Sorbonne Université

    Paris, France

    4 h-index

    11 publications

    174 citations

  5. Imperial College London

    London, United Kingdom

    3 h-index

    6 publications

    124 citations

  6. Université Paris-Sud

    Orsay, France

    3 h-index

    3 publications

    76 citations

  7. Université Claude Bernard Lyon 1

    Villeurbanne, France

    3 h-index

    4 publications

    84 citations

  8. Laboratoire d'Informatique de l'École Polytechnique

    Palaiseau, France

    2 h-index

    2 publications

    28 citations

1–8 of 59

Venues

  1. arXiv (Cornell University)

    Repository · 3 publications · 49 citations

    3

    h-index

  2. ACM Transactions on Mathematical Software

    TOMS · 2 publications · 84 citations

    2

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 33 citations

    2

    h-index

  4. Theoretical Computer Science

    2 publications · 48 citations

    2

    h-index

  5. HAL (Le Centre pour la Communication Scientifique Directe)

    Repository · 2 publications · 26 citations

    2

    h-index

1–5