✦ LIBER ✦

A shorter proof to uniqueness of solutions of equations

✍ Scribed by Ying Mingsheng

Publisher: Elsevier Science
Year: 1999
Tongue: English
Weight: 156 KB
Volume: 216
Category: Article
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(98)00187-x

No coin nor oath required. For personal study only.

✦ Synopsis

We give a very short proof of uniqueness of solutions of equations regarding observation congruence, the main notion of equality, over Milner's process calculus.

📜 SIMILAR VOLUMES

Uniqueness of solutions to the Hamilton-

Uniqueness of solutions to the Hamilton-Jacobi equation: a system theoretic proof

✍ Richard Vinter 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 481 KB

Numerical existence and uniqueness proof

Numerical existence and uniqueness proof for solutions of semilinear parabolic equations

✍ T. Minamoto 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 466 KB

## Communicated by H. J. Stetter Abstract-we describe a numerical method to verify the existence and local uniqueness of solutions of semilinear parabolic equations. We present a detailed description of the verification procedure and determine error bounds for its computation. Several examples are

A constructive proof of existence and un

A constructive proof of existence and uniqueness of 2π-periodic solution to Duffing equation

✍ Li Weiguo; Shen Zuhe 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 133 KB

Existence and uniqueness of solutions to

Existence and uniqueness of solutions to discrete diffusion equations

✍ D.R. Anderson; R.I. Avery; J.M. Davis 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 425 KB

Uniqueness of solutions of evolutionary

Uniqueness of solutions of evolutionary differential equations

✍ S. G. Lobanov 📂 Article 📅 1979 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 543 KB

A new proof of partial regularity of sol

A new proof of partial regularity of solutions to Navier-Stokes equations

✍ Alexis F. Vasseur 📂 Article 📅 2007 🏛 SP Birkhäuser Verlag Basel 🌐 English ⚖ 337 KB