✦ LIBER ✦

A proof of the order barrier for upwind schemes by Dahlquist's second barrier

✍ Scribed by Rolf Jeltsch

Book ID: 107987756
Publisher: Elsevier Science
Year: 1986
Tongue: English
Weight: 149 KB
Volume: 15
Category: Article
ISSN: 0377-0427
DOI: 10.1016/0377-0427(86)90032-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A proof of the first dahlquist barrier b

A proof of the first dahlquist barrier by order stars

✍ Arieh Iserles; Syvert P. Nørsett 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 455 KB

A note on the convergence of barrier alg

A note on the convergence of barrier algorithms to second-order necessary points

✍ Nicholas I. M. Gould; Philippe L. Toint 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 46 KB

A characteristic-type formulation of the

A characteristic-type formulation of the Navier–Stokes equations for high order upwind schemes

✍ Jörn Sesterhenn 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 501 KB

A note on using alternative second-order

A note on using alternative second-order models for the subproblems arising in barrier function methods for minimization

✍ A.R. Conn; Nick Gould; Ph.L. Toint 📂 Article 📅 1994 🏛 Springer-Verlag 🌐 English ⚖ 182 KB

On the construction of difference scheme

On the construction of difference schemes for a second order elliptic differential equation

✍ V.V. Badagadze 📂 Article 📅 1966 🏛 Elsevier Science ⚖ 674 KB

A Simplified Proof of the 0–1 Law for Ex

A Simplified Proof of the 0–1 Law for Existential Second-Order Ackermann Sentences

✍ Thierry Lacoste 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 378 KB

## Abstract Recently we gave a finitistic proof of the 0–1 law for ∑~1~^1^ (Ackermann) sentences, which relied as much as possible on the original argument of Kolaitis and Vardi. Here we present another version of our proof which, on the contrary, is self‐contained. Finitism allows us to use the be