Bézout’s theorem and algebraic differential equations
نویسندگان
چکیده
منابع مشابه
Nonsmooth Differential-algebraic Equations
A nonsmooth modeling paradigm for dynamic simulation and optimization of process operations is advocated. Nonsmooth differential-algebraic equations (DAEs) naturally model a wide range of physical systems encountered in chemical engineering conventionally viewed as exhibiting hybrid continuous/discrete behavior. Due to recent advancements in nonsmooth analysis, nonsmooth DAEs now have a suitabl...
متن کاملSwitched differential algebraic equations
In this chapter an electrical circuit with switches is modeled as a switched differential algebraic equation (switched DAE), i.e. each mode is described by a DAE of the form Ex′ = Ax+Bu where E is, in general, a singular matrix and u is the input. The resulting time-variance follows from the action of the switches present in the circuit, but can also be induced by faults occurring in the circui...
متن کاملComputer methods for ordinary differential equations and differential-algebraic equations
Spend your few moment to read a book even only few pages. Reading book is not obligation and force for everybody. When you don't want to read, you can get punishment from the publisher. Read a book becomes a choice of your different characteristics. Many people with reading habit will always be enjoyable to read, or on the contrary. For some reasons, this computer methods for ordinary different...
متن کاملSensitivity analysis of differential-algebraic equations and partial differential equations
Sensitivity analysis generates essential information for model development, design optimization, parameter estimation, optimal control, model reduction and experimental design. In this paper we describe the forward and adjoint methods for sensitivity analysis, and outline some of our recent work on theory, algorithms and software for sensitivity analysis of differential-algebraic equation (DAE)...
متن کاملGeometric Theorem Provers and Algebraic Equations Solvers
The methods of mechanizing mathematics are realized by means of computer software for solving scientific and engineering problems via symbolic and hybrid computation. This chapter provides a collection of geometric theorem provers and algebraic equations solvers that are pieces of mathematical software based mostly on Wu’s method and were developed mainly by members of the extended Wu group. Th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1943
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1943-0008300-3