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 ...
|
In: Foundations of Computational Mathematics, 2015, vol. 15, no. 6, p. 1357-1411
|
In: Journal of computational and applied mathematics, 2019, vol. 349, p. 292-301
Barycentric rational Floater–Hormann interpolants compare favourably to classical polynomial interpolants in the case of equidistant nodes, because the Lebesgue constant associated with these interpolants grows logarithmically in this setting, in contrast to the exponential growth experienced by polynomials. In the Hermite setting, in which also the first derivatives of the interpolant are...
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO007.
Linear barycentric rational interpolants are a particular kind of rational interpolants, defined by weights that are independent of the function f. Such interpolants have recently proved to be a viable alternative to more classical interpolation methods, such as global polynomial interpolants and splines, especially in the equispaced setting. Other kinds of interpolants might indeed suffer...
|
In: Foundations of Computational Mathematics, 2014, vol. 14, no. 4, p. 601-633
|
In: BIT Numerical Mathematics, 2012, vol. 52, no. 4, p. 933-951
|
In: General Relativity and Gravitation, 2011, vol. 43, no. 1, p. 143-154
|
In: European Journal of Nuclear Medicine and Molecular Imaging, 2011, vol. 38, no. 12, p. 2257-2268
|
In: Experiments in Fluids, 2003, vol. 35, no. 3, p. 252-256
|
In: Brain Structure and Function, 2010, vol. 214, no. 5-6, p. 645-653
|