125
click to vote
JC
2016
10 years 29 days ago
2016
The paper is concerned with recovery problems of linear multiplier-type operators from noisy information on weighted classes of functions. Optimal methods of recovery are construc...
241
click to vote
JAT
2016
10 years 29 days ago
2016
—In this paper, we generalize the notion of Kantorovich-type sampling operators using the Fej´er-type singular integral. By means of these operators we are able to reconstruct s...
143
click to vote
JASIS
2016
10 years 29 days ago
2016
The readability level of a book is a useful measure for children and teenagers (teachers, parents, and librarians, respectively) to identify reading materials suitable for themsel...
129
click to vote
JAR
2016
10 years 29 days ago
2016
Sledgehammer is a component of the Isabelle/HOL proof assistant that integrates external automatic theorem provers (ATPs) to discharge interactive proof obligations. As a safeguard...
148
click to vote
JAR
2016
10 years 29 days ago
2016
Abstract Machine-checked proofs are becoming ever-larger, presenting an increasing maintenance challenge. Isabelle’s most popular language interface, Isar, is attractive for new ...
124
click to vote
JAR
2016
10 years 29 days ago
2016
Abstract We describe a general method for verifying inequalities between realvalued expressions, especially the kinds of straightforward inferences that arise in interactive theore...
