Temat: computer–assisted proof - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "computer–assisted proof" wg kryterium: Temat

Wyświetlanie 1-10 z 17

Zaznacz

Skocz do pozycji: 1.

Tytuł:: The existence of Shilnikov homoclinic orbits in the Michelson system : a computer assisted proof
Autorzy:: Wilczak, Daniel
Data publikacji:: 2006
Słowa kluczowe:: Shilnikov homoclinic orbit
Brouwer degree
computer assisted proof; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

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:: central configurations
symmetries
interval arithmetic
computer assisted proof; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Computer assisted proof of the existence of the Lorenz attractor in the Shimizu-Morioka system
Autorzy:: Capiński, Maciej
Turaev, Dmitry
Zgliczyński, Piotr
Data publikacji:: 2018
Słowa kluczowe:: Shimizu–Morioka system
computer assisted proof
Lorenz attractor; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
Autorzy:: Zgliczyński, Piotr
Kapela, Tomasz
Mrozek, Marian
Wilczak, Daniel
Data publikacji:: 2021
Słowa kluczowe:: C++ library
computer-assisted proof
rigorous numerical analysis; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A computer-assisted proof of symbolic dynamics in Hyperions rotation model
Autorzy:: Gierzkiewicz-Pieniążek, Anna
Zgliczyński, Piotr
Data publikacji:: 2019
Słowa kluczowe:: symbolic dynamics
computer-assisted proof
hyperion
interval Newton method; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Attracting fixed points for the Kuramoto-Sivashinsky equation : a computer assisted proof
Autorzy:: Zgliczyński, Piotr
Data publikacji:: 2002
Słowa kluczowe:: Galerkin projection
dissipative PDEs
fixed points
computer assisted proof; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Rigorous numerics for dissipative PDEs III : an effective algorithm for rigorous integration of dissipative PDEs
Autorzy:: Zgliczyński, Piotr
Data publikacji:: 2010
Słowa kluczowe:: rigorousnumerics
Galerkin projection
dissipative PDEs
computer assisted proof
periodic orbits; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: A geometric method for infinite-dimensional chaos : symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
Autorzy:: Wilczak, Daniel
Zgliczyński, Piotr
Data publikacji:: 2020
Słowa kluczowe:: computer-assisted proof
Galerkin projection
rigorous numerics
dissipative PDEs
periodic orbits
symbolic dynamics; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Pitchfork bifurcation and heteroclinic connections in the Kuramoto–Sivashinsky PDE
Autorzy:: Kalita, Piotr
Kubica, Jacek
Zgliczyński, Piotr
Data publikacji:: 2025
Słowa kluczowe:: computer–assisted proof
dissipative PDEs
Pitchfork bifurcation
rigorous numerics
Galerkin projection
heteroclinic connection; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Rigorous computation in dynamics based on topological methods for multivector fields
Autorzy:: Woukeng Feudjio, Donald
Leśkiewicz, Jakub
Lipiński, Michał
Sadowski, Damian
Kapela, Tomasz
Data publikacji:: 2024
Słowa kluczowe:: computer assisted proof
combinatorial multivector field
transversal polytope
combinatorial Poincaré section
periodic orbit; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 17

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies