-
1
-
2
-
3
-
4
On the Petras algorithm for verified integration of piecewise analytic functions
Veröffentlicht in Journal of Complexity
VolltextArtikel -
5
New lower bound estimates for quadratures of bounded analytic functions
Veröffentlicht in Journal of Complexity
VolltextArtikel -
6
-
7
Central configurations in spatial n-body problem for n = 5, 6 with equal masses
Veröffentlicht in arXiv.org
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
Central configurations on the plane with \(N\) heavy and \(k\) light bodies
Veröffentlicht in arXiv.org
VolltextArtikel -
14
-
15
Central configurations in planar \(n\)-body problem with equal masses for \(n = 5, 6, 7\)
Veröffentlicht in arXiv.org
VolltextArtikel -
16
Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis
Veröffentlicht in arXiv.org
VolltextArtikel -
17
-
18
On the Petras algorithm for verified integration of piecewise analytic functions
Veröffentlicht in arXiv.org
VolltextArtikel -
19
-
20
New lower bound estimates for quadratures of bounded analytic functions
Veröffentlicht in arXiv.org
VolltextArtikel