Abstract | ||
---|---|---|
This paper defines the Wright 驴 function,and presents some of its properties. As well as being of intrinsic mathematical interest,the function has a specific interest in the context of symbolic computation and automatic reasoning with nonstandard functions. In particular, although Wright 驴 is a cognate of the Lambert W function,it presents a different model for handling the branches and multiple values that make the properties of W difficult to work with. By choosing a form for the function that has fewer discontinuities (and numerical difficulties),w e make reasoning about expressions containing such functions easier. A final point of interest is that some of the techniques used to establish the mathematical properties can themselves potentially be automated, as was discussed in a paper presented at AISC Madrid [3]. |
Year | Venue | Keywords |
---|---|---|
2002 | AISC | mathematical property,different model,intrinsic mathematical interest,aisc madrid,wright omega function,specific interest,lambert w function,automatic reasoning,nonstandard function,fewer discontinuity,final point |
Field | DocType | ISBN |
Classification of discontinuities,Expression (mathematics),Computer science,Lambert W function,Symbolic computation,Wright Omega function,Point of interest,Mathematical properties,Wright,Calculus | Conference | 3-540-43865-3 |
Citations | PageRank | References |
2 | 0.51 | 5 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Robert M. Corless | 1 | 40 | 7.66 |
David J. Jeffrey | 2 | 1172 | 132.12 |