Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Volume 4; Issue 1

1

Special section on recent progress in verified numerical computations

Рік:
2013
Мова:
english
Файл:
PDF, 98 KB
english, 2013
2

A rigorous numerical algorithm for computing the linking number of links

Рік:
2013
Мова:
english
Файл:
PDF, 329 KB
english, 2013
3

Bifurcation-based synthesis of asynchronous cellular automaton based neuron

Рік:
2013
Мова:
english
Файл:
PDF, 2.08 MB
english, 2013
5

Some remarks on the instability of approximate solutions for ODEs

Рік:
2013
Мова:
english
Файл:
PDF, 677 KB
english, 2013
6

Validated computation of global solutions to ODEs

Рік:
2013
Мова:
english
Файл:
PDF, 399 KB
english, 2013
8

Rigorous numerics for stationary solutions of dissipative PDEs - Existence and local dynamics -

Рік:
2013
Мова:
english
Файл:
PDF, 340 KB
english, 2013
11

A topological computation approach to the interior crisis bifurcation

Рік:
2013
Мова:
english
Файл:
PDF, 2.25 MB
english, 2013