Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Because of the importance of special functions, several books and a large collection of papers have been devoted to the numerical computation of these functions, the most ll-known being the Abramowitz and Stegun handbook [1]. But up to this date, no environment offers routines for the provable correct evaluation of these special functions.#R##N##R##N# point out how series and limit-periodic continued fraction representations of the functions can be helpful in this respect. Our scalable precision technique is mainly based on the use of sharpened a priori truncation and round-off error upper bounds, in case of real arguments. The implementation is validated in the sense that it returns a sharp interval enclosure for the requested function evaluation, at the same cost as the evaluation.
['Franky Backeljauw', 'Stefan Becuwe', 'Annie A. M. Cuyt']
I am writing a research paper on a idea Validated Evaluation of Special Mathematical Functions
[{"from": "human", "value": "I am writing a research paper on a idea Validated Evaluation of Special Mathematical Functions"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Because of the importance of special functions, several books and a large collection of papers have been devoted to the numerical computation of these functions, the most ll-known being the Abramowitz and Stegun handbook [1]. But up to this date, no environment offers routines for the provable correct evaluation of these special functions.#R##N##R##N# point out how series and limit-periodic continued fraction representations of the functions can be helpful in this respect. Our scalable precision technique is mainly based on the use of sharpened a priori truncation and round-off error upper bounds, in case of real arguments. The implementation is validated in the sense that it returns a sharp interval enclosure for the requested function evaluation, at the same cost as the evaluation."}]