AI Chat AI Image Generator AI Video Text to Speech

An algorithm to approximate the real trilogarithm for a real argument

06/21/2023

∙

by Alexander Voigt, et al.

∙

∙

We present an algorithm to approximate the real trilogarithm for a real argument with IEEE 754-1985 double precision accuracy. The approximation is structured such that it can make use of instruction-level parallelism when executed on appropriate CPUs.

research

∙ 01/05/2022

Comparison of methods for the calculation of the real dilogarithm regarding instruction-level parallelism

We compare different methods for the computation of the real dilogarithm...

0 Alexander Voigt, et al. ∙

research

∙ 08/28/2007

Formally Verified Argument Reduction with a Fused-Multiply-Add

Cody & Waite argument reduction technique works perfectly for reasonably...

0 Sylvie Boldo, et al. ∙

research

∙ 11/30/2021

On the very accurate evaluation of the Voigt/complex error function with small imaginary argument

A rapidly convergent series, based on Taylor expansion of the imaginary ...

0 Yihong Wang, et al. ∙

research

∙ 04/11/2018

Evaluating Winding Numbers through Cauchy Indices in Isabelle/HOL

In complex analysis, the winding number measures the number of times a p...

0 Wenda Li, et al. ∙

research

∙ 04/11/2018

Evaluating Winding Numbers and Counting Complex Roots through Cauchy Indices in Isabelle/HOL

In complex analysis, the winding number measures the number of times a p...

0 Wenda Li, et al. ∙

research

∙ 08/14/2016

Computation of the incomplete gamma function for negative values of the argument

An algorithm for computing the incomplete gamma function γ^*(a,z) for re...

0 A. Gil, et al. ∙

research

∙ 09/14/2019

Instructional Level Parallelism

This paper is a review of the developments in Instruction level parallel...

0 Taposh Dutta-Roy, et al. ∙