Refine my results

Language

Università della Svizzera italiana

Using linear algebra in decomposition of Farkas interpolants

Blicha, Martin ; Hyvärinen, Antti E. J. ; Kofroň, Jan ; Sharygina, Natasha

In: International journal on software tools for technology transfer, 2021, p. 15

The use of propositional logic and systems of linear inequalities over reals is a common means to model software for formal verification. Craig interpolants constitute a central building block in this setting for over-approximating reachable states, e.g. as candidates for inductive loop invariants. Interpolants for a linear system can be efficiently computed from a Simplex refutation by ...

Consortium of Swiss Academic Libraries

A Milstein Scheme for SPDEs

Jentzen, Arnulf ; Röckner, Michael

In: Foundations of Computational Mathematics, 2015, vol. 15, no. 2, p. 313-362

Consortium of Swiss Academic Libraries

The Euler characteristics of generalized Kummer schemes

Shen, Junliang

In: Mathematische Zeitschrift, 2015, vol. 281, no. 3-4, p. 1183-1189

Consortium of Swiss Academic Libraries

Comparison of approximate shape gradients

Hiptmair, R. ; Paganini, A. ; Sargheini, S.

In: BIT Numerical Mathematics, 2015, vol. 55, no. 2, p. 459-485