17 citations · 20 across the 6 of their papers we have counts for
7 papers
Central Configurations with Unequal Masses: Finiteness in Several Exceptional Cases of Five Bodies
Małgorzata Moczurad, Piotr Zgliczyński
We provide a computer-assisted proof of the exact count of classes of central configurations for five bodies for several sets of mass values that are exceptional from the point of…
Central configurations on the plane with heavy and light bodies
Małgorzata Moczurad, Piotr Zgliczyński
We study the problem of planar central configurations with heavy bodies and bodies with arbitrary small masses. We derive the equation which describe the limit of light mas…
Central configurations in spatial n-body problem for n = 5, 6 with equal masses
Malgorzata Moczurad, Piotr Zgliczynski
We present a computer assisted proof of the full listing of central configurations for spatial n-body problem for n = 5 and 6, with equal masses. For each central configuration we…
Central configurations in planar -body problem with equal masses for
Małgorzata Moczurad, Piotr Zgliczyński
We give a computer assisted proof of the full listing of central configuration for -body problem for Newtonian potential on the plane for with equal masses. We show al…
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.
On the Petras algorithm for verified integration of piecewise analytic functions
Małgorzata Moczurad, Piotr Zgliczyński
We consider the algorithm for verified integration of piecewise analytic functions given by Petras. The analysis of the algorithm contained in Patras' paper is limited to a narrow…
New lower bound estimates for quadratures of bounded analytic functions
Małgorzata Moczurad, Piotr Zgliczyński, Włodzimierz Zwonek
We give an improved lower bound for the error of any quadrature computing of analytic functions bounded in the neighborhood of .