Results 71 to 80 of about 17,997 (206)
Implicit Definitions with Differential Equations for KeYmaera X
, 2022 AbstractDefinition packages in theorem provers provide users with means of defining and organizing concepts of interest. This system description presents a new definition package for the hybrid systems theorem prover KeYmaera X based on differential dynamic logic (). The package adds KeYmaera X support for user-defined smooth functions whose graphs can
James Gallicchio +3 more
openaire +4 more sources
A family of difference schemes for fourth order parabolic partial differential equations
, 1983 A family of methods is developed for the numerical solution of fourth order parabolic partial differential equations in one- and two-space variables.
Khaliq, AQM, Twizell, EH
core
Semi-Implicit Neural Ordinary Differential Equations
Proceedings of the AAAI Conference on Artificial IntelligenceClassical neural ODEs trained with explicit methods are intrinsically limited by stability, crippling their efficiency and robustness for stiff learning problems that are common in graph learning and scientific machine learning. We present a semi-implicit neural ODE approach that exploits the partitionable structure of the underlying dynamics.
Hong Zhang, Ying Liu, Romit Maulik
openaire +2 more sources
Implicit functions and differential equations in general analysis [PDF]
Transactions of the American Mathematical Society, 1927 Here x may represent both initial values and parameters, and the functions f, g, and y are supposed to be bounded and measurable in r and r'. Imbedding and existence theorems for equations of this form are obtained in Parts VI and VII. As indicated by the paper of Hahn just referred to, such theorems find important applications in the calculus of ...
openaire +1 more source
Integrable solutions for implicit fractional order functional differential equations with infinite delay [PDF]
, 2015 summary:In this paper we study the existence of integrable solutions for initial value problem for implicit fractional order functional differential equations with infinite delay.
Souid, Mohammed Said, Benchohra, Mouffak
core +1 more source
Efficient explicit time integration for the simulation of acoustic and electromagnetic waves [PDF]
, 2015 The efficient and accurate numerical simulation of time-dependent wave phenomena is of fundamental importance in acoustic, electromagnetic or seismic wave propagation.
Mehlin, Michaela
core +1 more source
Advances in Mechanical Engineering, 2019 The implicit methods on Lie group are developed for multibody system dynamics. To avoid the violation of the displacement, velocity and acceleration constraints of the nonlinear differential-algebraic equations, the constraint-stabilized equations on Lie
Jieyu Ding, Zhenkuan Pan, Wei Zhang
doaj +1 more source
Qualitative analysis of solutions of parabolic type equations with nonlocal boundary conditions
Lietuvos Matematikos Rinkinys, 2010 The aim of the work is qualitative analysis of solutions of parabolic equations, non–negativity of solutions, investigation and modelling of physical parameters. All tasks were modelled using numerical analysis methods. Differential equations were solved
Jurij Novickij, Feliksas Ivanauskas
doaj +1 more source
Convergence of solutions of implicit differential equations
Differential and Integral Equations, 1994 The convergence of solutions of the implicit differential equations (1) \(d(B_ n y)(t)/dt+ (A_ n y)(t)= f_ n(t)\), \((B_ n y)(0)= z^ n_ 0\), \(t\in [0,T]\), is studied. Here \(\{A_ n\}\), \(\{B_ n\}\) are two families of operators in a Banach space convergent in the sense of graph to operators \(A\) and \(B\), respectively.
Barbu, Viorel, Favini, Angelo
openaire +3 more sources
Higher-order finite-difference methods for partial differential equations
, 1997 This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.This thesis develops two families of numerical methods, based upon rational approximations having distinct real poles, for solving first- and second-order ...
Cheema, Tasleem Akhter, Cheema, T.A.
core