Verifying the accuracy of polynomial approximations in HOL

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/bfb0028391 ◽

1997 ◽

pp. 137-152 ◽

Cited By ~ 12

Author(s):

John Harrison

Keyword(s):

Polynomial Approximations

Download Full-text

Polynomial approximations to Bessel functions

IEEE Transactions on Antennas and Propagation ◽

10.1109/tap.2003.812234 ◽

2003 ◽

Vol 51 (6) ◽

pp. 1398-1400 ◽

Cited By ~ 21

Author(s):

R.P. Millane ◽

J.L. Eads

Keyword(s):

Bessel Functions ◽

Polynomial Approximations

Download Full-text

PIECEWISE POLYNOMIAL APPROXIMATIONS TO THE ICRP 116 EFFECTIVE DOSE COEFFICIENTS: PHOTONS AND NEUTRONS

Radiation Protection Dosimetry ◽

10.1093/rpd/ncx112 ◽

2017 ◽

Vol 178 (3) ◽

pp. 310-321

Author(s):

M M Mille ◽

N E Hertel ◽

P M Bergstrom ◽

C Lee

Keyword(s):

Effective Dose ◽

Piecewise Polynomial ◽

Polynomial Approximations ◽

Dose Coefficients

Download Full-text

Verifying Tolerant Systems Using Polynomial Approximations

2009 30th IEEE Real-Time Systems Symposium ◽

10.1109/rtss.2009.28 ◽

2009 ◽

Cited By ~ 8

Author(s):

Pavithra Prabhakar ◽

Vladimeros Vladimerou ◽

Mahesh Viswanathan ◽

Geir E. Dullerud

Keyword(s):

Polynomial Approximations

Download Full-text

Noisy Phase Unwrap for Fringe Techniques: Adaptive Local Polynomial Approximations

2007 3DTV Conference ◽

10.1109/3dtv.2007.4379468 ◽

2007 ◽

Cited By ~ 3

Author(s):

Vladimir Katkovnik ◽

Jaakko Astola ◽

Karen Egiazarian

Keyword(s):

Polynomial Approximations ◽

Local Polynomial ◽

Phase Unwrap

Download Full-text

Recursive formulae for Hermite polynomial approximations to rational Bezier curves

Proceedings Geometric Modeling and Processing 2000. Theory and Applications ◽

10.1109/gmap.2000.838251 ◽

2000 ◽

Cited By ~ 3

Author(s):

Ligang Liu ◽

Guojin Wang

Keyword(s):

Hermite Polynomial ◽

Bezier Curves ◽

Bézier Curves ◽

Polynomial Approximations ◽

Rational Bézier Curves

Download Full-text

Interpretation of probe temperatures in the blast furnace using polynomial approximations

Steel Research ◽

10.1002/srin.199605461 ◽

1996 ◽

Vol 67 (3) ◽

pp. 73-78 ◽

Cited By ~ 1

Author(s):

Henrik Saxén

Keyword(s):

Blast Furnace ◽

Polynomial Approximations

Download Full-text

Associated Legendre Polynomial Approximations

Journal of Applied Physics ◽

10.1063/1.1699828 ◽

1951 ◽

Vol 22 (1) ◽

pp. 87-89 ◽

Cited By ~ 2

Author(s):

R. Landauer

Keyword(s):

Legendre Polynomial ◽

Polynomial Approximations

Download Full-text

On the Best Polynomial Approximations of Entire Transcendental Functions of Many Complex Variables in Some Banach Spaces

Ukrainian Mathematical Journal ◽

10.1007/s11253-015-1052-x ◽

2015 ◽

Vol 66 (12) ◽

pp. 1793-1811 ◽

Cited By ~ 2

Author(s):

S. B. Vakarchuk ◽

S. I. Zhir

Keyword(s):

Banach Spaces ◽

Complex Variables ◽

Polynomial Approximations ◽

Transcendental Functions

Download Full-text

Polynomial approximations of electronic wave functions

Journal of Mathematical Chemistry ◽

10.1007/s10910-011-9846-z ◽

2011 ◽

Vol 49 (8) ◽

pp. 1599-1623

Author(s):

A. I. Panin

Keyword(s):

Wave Functions ◽

Electronic Wave ◽

Polynomial Approximations ◽

Electronic Wave Functions

Download Full-text

Taylor Polynomial Approximations in Polar Coordinates

College Mathematics Journal ◽

10.2307/2686348 ◽

1993 ◽

Vol 24 (4) ◽

pp. 325

Author(s):

Sheldon P. Gordon

Keyword(s):

Polar Coordinates ◽

Taylor Polynomial ◽

Polynomial Approximations

Download Full-text