Computer-assisted proofs for radially symmetric solutions of PDEs

QR kód

Computer-assisted proofs for radially symmetric solutions of PDEs

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Balázs István van den Berg Jan Bouwe Courtois Julien Dudás János Lessard Jean-Philippe Vörös-Kiss Anett Williams J. F. Yin Xi Yuan
Dokumentumtípus:	Cikk
Megjelent:	2018
Sorozat:	JOURNAL OF COMPUTATIONAL DYNAMICS 5 No. 1-2
doi:	10.3934/jcd.2018003
mtmt:	30343576
Online Access:	http://publicatio.bibl.u-szeged.hu/18575

Hasonló tételek

Computer-assisted existence proofs for one-dimensional Schrödinger-poisson systems
Szerző: Wunderlich Jonathan, et al.
Megjelent: (2020)

Radial symmetric solutions of the Cahn-Hilliard equation with degenerate mobility
Szerző: Yin Jingxue, et al.
Megjelent: (2001)

Computation of radial solutions of semilinear
Szerző: Korman Philip
Megjelent: (2007)

A computer assisted proof of multiple periodic orbits in some first order non-linear delay differential equation
Szerző: Szczelina Robert
Megjelent: (2016)

A computer assisted proof of multiple periodic orbits in some first order non-linear delay differential equation
Szerző: Szczelina Robert
Megjelent: (2016)

The advantages of computer assisted language learning
Szerző: Kala Kornél
Megjelent: (2008)

Existence of radially symmetric patterns for a diffusion problem with variable diffusivity
Szerző: Sônego Maicon
Megjelent: (2017)

Towards a unified model of computation with correctness proofs [abstract] /
Szerző: Erdélyi Gáspár
Megjelent: (2006)

Computer assisted robotic technology in pediatric surgery
Szerző: Lőrincz Attila
Megjelent: (2005)

On the existence of a component-wise positive radially symmetric solution for a superlinear system
Szerző: Zhidkov Peter
Megjelent: (2007)

Computer aided methods for assisting cochlear implant surgery
Szerző: Horváth Bence
Megjelent: (2023)

A new approach to computer-assisted human translation
Szerző: Kis Balázs, et al.
Megjelent: (2003)

Computer assisted english practice and assesment ’MY ENGLISH’ Practicing and Evaluating Computer Application
Szerző: Kala Kornél
Megjelent: (2008)

On the radially symmetric solutions of a BVP for a class of nonlinear elliptic partial differential equations
Szerző: Hegedűs Jenő
Megjelent: (2000)

A characterization of the Radon transform's range by a system of PDEs
Szerző: Kurusa Árpád
Megjelent: (1991)

Exact solutions to some nonlinear PDEs, travelling profiles method
Szerző: Benhamidouche Nouredine
Megjelent: (2008)

Evaluating courseware through the lens of computer assisted language learning
Szerző: Csudai Eszter
Megjelent: (2014)

Regularization of radial solutions of p-Laplace equations, and computations using inﬁnite series
Szerző: Korman Philip
Megjelent: (2015)

On the localization and numerical computation of positive radial solutions for ϕ-Laplace equations in the annulus
Szerző: Rodríguez-López Jorge, et al.
Megjelent: (2022)

The role of Computer-Assisted Implant Surgery and implant design in prosthetic rehabilitation
Szerző: Major László
Megjelent: (2026)

Computer assisted image processing and navigation system for orthopedic-trauma surgery [abstract] /
Szerző: Ollé Krisztián, et al.
Megjelent: (2004)

Metaprogramming on the proof level [abstract] /
Szerző: Dévai Gergely
Megjelent: (2008)

Random invariant manifolds and foliations for slow-fast PDEs with strong multiplicative noise
Szerző: Li Wenlei, et al.
Megjelent: (2022)

A generalisation of the Malgrange-Ehrenpreis theorem to find fundamental solutions to fractional PDEs
Szerző: Baleanu Dumitru, et al.
Megjelent: (2017)

Distal Radial Access for Radial Artery Recanalization Multicenter Outcomes and Stepwise Strategies to Maximize Patency /
Szerző: Colletti Giuseppe, et al.
Megjelent: (2025)

Radial Artery Recanalization
Szerző: Gasparini Gabriele L., et al.
Megjelent: (2025)

On the existence and smoothness of radially symmetric solutions of a BVP for a class of nonlinear, non-Lipschitz perturbations of the Laplace equation
Szerző: Hegedűs Jenő
Megjelent: (2002)

RotaRadial First Use of Rotational Atherectomy as a Bailout Strategy for Severely Calcified Radial Access /
Szerző: Ungureanu Claudiu, et al.
Megjelent: (2026)

Operator conjugation with respect to symmetric and skew-symmetric forms
Szerző: Bognár Jánosné
Megjelent: (1970)

Scott induction and equational proofs
Szerző: Ésik Zoltán, et al.
Megjelent: (1995)

Population dynamics with symmetric and asymmetric harvesting
Szerző: Jaffar Ali, et al.
Megjelent: (2009)

Proof of the pudding Optimising the perfect pudding – an investigation good enough to eat! /
Szerző: Veres Gábor, et al.
Megjelent: (2015)

Distal radial access No pain, no gain /
Szerző: Ruzsa Zoltán, et al.
Megjelent: (2022)

An ecologically based, computer assisted, forest rehabilitation project in the Aggtelek National Park, Hungary
Szerző: Botos Csaba
Megjelent: (1999)

Use of computer-assisted videokeratoscope for routine non invasive observation of precorneal tear films
Szerző: Végh Mihály, et al.
Megjelent: (1996)

Symmetric weakness with paraesthesia
Szerző: Kincses Zsigmond Tamás

Distal Versus Conventional Radial Access for Coronary Angiography and Intervention The DISCO RADIAL Trial
Szerző: Aminian Adel, et al.
Megjelent: (2022)

Geometric Proof of the Sum of Geometric Series
Szerző: Kórus Péter
Megjelent: (2018)

Programming language elements for correctness proofs
Szerző: Dévai Gergely
Megjelent: (2008)

Another proof of the mean ergodic theorem
Szerző: Riesz Frigyes
Megjelent: (1943)