Temat: computer arithmetic

Skocz do pozycji: 1.

Tytuł:: Comparison of chosen libraries of interval arithmetic
Porównanie wybranych bibliotek arytmetyki przedziałowej
Autorzy:: Dawidowicz, Krzysztof
Słowa kluczowe:: numeric interval, interval arithmetic, computer science, C++, Boost, filib++, MPFI, CAPD, C-XSC, library
przedział liczbowy, arytmetyka przedziałowa, informatyka, C++, Boost, filib++, MPFI, CAPD, C-XSC, biblioteka; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Central configurations in the spatial $n$-body problem for $n$=5,6 with equal masses
Autorzy:: Moczurad, Małgorzata
Zgliczyński, Piotr
Data publikacji:: 2020
Słowa kluczowe:: interval arithmetic
symmetries
central configurations
computer assisted proof; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Algorithm for rigorous integration of Delay Differential Equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation
Autorzy:: Zgliczyński, Piotr
Szczelina, Robert
Data publikacji:: 2018
Słowa kluczowe:: delay differential equations
topological methods
computer-assisted proofs
periodic orbit
interval arithmetic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Rigorous integration of Delay Differential Equations
Ścisłe całkowanie równań różniczkowych z opóźnieniem
Autorzy:: Szczelina, Robert
Współwytwórcy:: Zgliczyński, Piotr
Data publikacji:: 2015-06-22
Słowa kluczowe:: arytmetyka internetowa
numerical methods
computer assisted proots
rigorous computation
ścisłe obliczenia
internet arithmetic
metody numeryczne
dowody wspierane komputerowo; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

Szczegóły

Informacja