Numerical and symbolic computation of the Lambert W function in C <sup>nxn</sup>
Why this work is in the frame
A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.
Bibliographic record
Abstract
The Lambert W function is a multivalued complex function, first named in the computer algebra system Maple. We present iterative schemes and strategies for the numerical evaluation of all branches of the scalar complex Lambert W function to hardware precision with high computational efficiency, and present a set of rules for the simplification of special symbolic arguments. We also extend the numerical and symbolic computations to the Lambert W function in C nxn , for n > 1. In order to achieve high precision and computational efficiency, we evaluate a series of high order and classical iterative methods and strategies for the evaluation of the scalar Lambert W function. We then construct optimal iterative schemes for the evaluation of the complex Lambert W function in the IEEE oating point model. The schemes consist of variations on Newton and Halley iterations together with initial estimates generated using a variety of series approximations. We also study several classes of exact simplifications for the Lambert W function for symbolic arguments and give rules for their application. Finally, we consider the solutions of the matrix equation S exp(S) = A, where S and A are n x n matrices. The solutions are expressed in terms of extensions of the scalar Lambert W function to C nxn . The solutions of the matrix equations consist not only of the matrix functions W(A); other solutions also exist. We focus first on solving the matrix equation in C 3x3 , and implement solutions in the floating-point case, and the symbolic case, using Maple.
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.000 | 0.000 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.000 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.000 | 0.000 |
| Scholarly communication | 0.000 | 0.000 |
| Open science | 0.001 | 0.000 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.000 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it