In: Computer aided geometric design, 2021, vol. 88, p. 11
Bézier curves are indispensable for geometric modelling and computer graphics. They have numerous favourable properties and provide the user with intuitive tools for editing the shape of a parametric polynomial curve. Even more control and flexibility can be achieved by associating a shape parameter with each control point and considering rational Bézier curves, which comes with the...
|
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: Annales Henri Poincaré, 2015, vol. 16, no. 12, p. 2713-2782
|
In: Advances in Computational Mathematics, 2015, vol. 41, no. 5, p. 1255-1288
|
In: Journal of Cryptology, 2015, vol. 28, no. 1, p. 161-175
|
In: Monatshefte für Mathematik, 2015, vol. 178, no. 2, p. 171-190
|
In: Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry, 2015, vol. 56, no. 1, p. 351-371
|
In: BIT Numerical Mathematics, 2015, vol. 55, no. 2, p. 459-485
|
In: Communications in Mathematical Physics, 2015, vol. 333, no. 2, p. 761-798
|
In: Foundations of Computational Mathematics, 2015, vol. 15, no. 6, p. 1357-1411
|