activity
20142026
most citedCentral configurations in planar -body problem with equal masses for

17 citations · 20 across the 6 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2017

Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis

Małgorzata Moczurad, Piotr Zgliczyński

Inspired by computer assisted proofs in analysis, we present an interval approach to real-number computations.