In the present paper, optimal quadrature formulas in the sense of Sard are constructed fornumerical integration of the integral ∫ a b e 2πiωx φ( x )dx with ω ∈ ℝ in the Sobolev space L 2 ( m ) [ a,b ] ...
If Excel is showing formulas instead of results on your Windows PC, check the cell format, turn off the 'Show Formulas' ...
SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results