132
click to vote
JC
2016
10 years 1 months 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...
248
Voted
JAT
2016
10 years 1 months 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...
150
click to vote
JASIS
2016
10 years 1 months 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...
224
Voted
JASIS
2016
10 years 1 months ago
2016
140
Voted
JAR
2016
10 years 1 months 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...
154
Voted
JAR
2016
10 years 1 months 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 ...
131
Voted
JAR
2016
10 years 1 months 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...
248
Voted
JAR
2016
10 years 1 months ago
2016
