3 citations · 3 across the 3 of their papers we have counts for
3 papers
math.NA2020★ 3 cited
On preconditioning and solving an extended class of interval parametric linear systems
Iwona Skalna, Milan Hladík
We deal with interval parametric systems of linear equations and the goal is to solve such systems, which basically comes down to finding an enclosure for a parametric solution set…
cs.LO2019
Generating theorem proving procedures from axioms of Truncated Predicate Calculus
Grzegorz Wiaderek, Iwona Skalna
We present a~novel approach to the problem of automated theorem proving. Polynomial cost procedures that recognise sentences belonging to a theory are generated on a basis of a set…
math.NA2017
Positive definiteness and stability of parametric interval matrices
Iwona Skalna
We investigate positive definiteness, Hurwitz stability and Schur stability of parametric interval matrices. We give a verifiable sufficient condition for positive definiteness of…