226
Voted
JC
2016
10 years 1 days ago
2016
We consider weighted anchored and ANOVA spaces of functions with first order mixed derivatives bounded in Lp. Recently, Hefter, Ritter and Wasilkowski established conditions on t...
118
Voted
JC
2016
10 years 1 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...
227
Voted
JAT
2016
10 years 1 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...
136
Voted
JASIS
2016
10 years 1 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...
128
Voted
JASIS
2016
10 years 1 days ago
2016
206
Voted
JASIS
2016
10 years 1 days ago
2016
120
click to vote
JAR
2016
10 years 1 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...
140
click to vote
JAR
2016
10 years 1 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 ...
117
click to vote
JAR
2016
10 years 1 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...