Result 1 to 20 of 5582 total
Gröbner-free normal forms for Boolean polynomials. (English)
J. Symb. Comput. 48, 37-53 (2013).
1
Advancing front circle packing to approximate conformal strips. (English)
Comput. Geom. 46, No. 1, 105-118 (2013).
2
The average errors for Hermite interpolation on the 1-fold integrated Wiener space. (English)
Chin. Ann. Math., Ser. B 33, No. 5, 737-750 (2012).
3
Note on Newton interpolation formula. (English)
Int. J. Math. Anal., Ruse 6, No. 49-52, 2459-2465 (2012).
4
Holographic reduction, interpolation and hardness. (English)
Comput. Complexity 21, No. 4, 573-604 (2012).
5
Dynamic programming with shape-preserving rational spline Hermite interpolation. (English)
Econ. Lett. 117, No. 1, 161-164 (2012).
6
Error estimates for generalized barycentric interpolation. (English)
Adv. Comput. Math. 37, No. 3, 417-439 (2012).
7
An approach to geometric interpolation by Pythagorean-hodograph curves. (English)
Adv. Comput. Math. 37, No. 1, 123-150 (2012).
8
Radial orthogonality and Lebesgue constants on the disk. (English)
Numer. Algorithms 61, No. 2, 291-313 (2012).
9
Curve construction based on five trigonometric blending functions. (English)
BIT 52, No. 4, 953-979 (2012).
10
Some families of Genocchi type polynomials and their interpolation functions. (English)
Integral Transforms Spec. Funct. 23, No. 12, 919-938 (2012).
11
Interpolation in weakly transitive modal logics. (English)
Algebra Logic 51, No. 2, 131-143 (2012); translation from Algebra Logika 51, No. 2, 197-215 (2012).
12
Craig interpolation for semilinear substructural logics. (English)
Math. Log. Q. 58, No. 6, 468-481 (2012).
13
Cases for the nugget in modeling computer experiments. (English)
Stat. Comput. 22, No. 3, 713-722 (2012).
14
Maximin design on non hypercube domains and kernel interpolation. (English)
Stat. Comput. 22, No. 3, 703-712 (2012).
15
Spin systems on $k$-regular graphs with complex edge functions. (English)
Theor. Comput. Sci. 461, 2-16 (2012).
16
Erratum to: “Fitting a $C^m$-smooth function to data. II". (English)
Rev. Mat. Iberoam. 28, No. 4, 1193 (2012).
17
Higher-order approximations for verification of stochastic hybrid systems. (English)
Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 416-434 (2012).
18
Real Hermite-Birkhoff interpolation. Coefficient polynomials of almost Hermitean incidence matrices. (Reelle Hermite-Birkhoff-Interpolation. Koeffizientenpolynome fasthermitescher Inzidenzmatrizen.) (German)
Result. Math. 62, No. 3-4, 405-414 (2012).
19
Discretely blended Martensen interpolation. (English)
Result. Math. 62, No. 3-4, 235-248 (2012).
20
Result 1 to 20 of 5582 total