Results 1  10
of
23
A Sequence of Series for The Lambert Function
, 1997
"... We give a uniform treatment of several series expansions for the Lambert W function, leading to an infinite family of new series. We also discuss standardization, complex branches, a family of arbitraryorder iterative methods for computation of W , and give a theorem showing how to correctly solve ..."
Abstract

Cited by 27 (4 self)
 Add to MetaCart
We give a uniform treatment of several series expansions for the Lambert W function, leading to an infinite family of new series. We also discuss standardization, complex branches, a family of arbitraryorder iterative methods for computation of W , and give a theorem showing how to correctly solve another simple and frequently occurring nonlinear equation in terms of W and the unwinding number. 1 Introduction Investigations of the properties of the Lambert W function are good examples of nontrivial interactions between computer algebra, mathematics, and applications. To begin with, the standardization of the name W by computer algebra (see section 1.2 below) has had several effects. First, this standardization has exposed a great variety of applications; second, it has uncovered a significant history, hitherto unnoticed because the lack of a standard name meant that most researchers were unaware of previous work; and, third, it has now stimulated current interest in this remarkable ...
Reasoning About the Elementary Functions of Complex Analysis
, 2001
"... There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make "howlers" or not to simplify enough. In this paper we outline the "unwinding number" approach to such problems, and show how it can be used to preven ..."
Abstract

Cited by 21 (11 self)
 Add to MetaCart
There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make "howlers" or not to simplify enough. In this paper we outline the "unwinding number" approach to such problems, and show how it can be used to prevent errors and to systematise such simplification, even though we have not yet reduced the simplifiation process to a complete algorithm. The unsolved problems are probably more amenable to the techniques of artificial intelligence and theorem proving than the original problem of complexvariable analysis.
Emerging Tools for Experimental Mathematics
 American Mathematical Monthly
, 1999
"... This paper is not a tutorial on how lattice basis reduction algorithms such as LLL or PSLQ actually work; rather, we discuss some of the ways these tools can be used to generate conjectures, and for that, a detailed understanding of the underlying algorithms is not necessary. We do hope, however, to ..."
Abstract

Cited by 19 (10 self)
 Add to MetaCart
This paper is not a tutorial on how lattice basis reduction algorithms such as LLL or PSLQ actually work; rather, we discuss some of the ways these tools can be used to generate conjectures, and for that, a detailed understanding of the underlying algorithms is not necessary. We do hope, however, to convey some appreciation of their power. We begin with some warmup examples, using the Inverse Symbolic Calculator (ISC); http:// www.cecm.sfu.ca/ MRG/ INTERFACES.html. The basic idea is simple: given the first few decimal digits of some real number, we want the ISC to guess a formula for what it `really' is. For example, if we input K 1 = 3:14626436994198, and click on simple lookup
Some Applications of the Lambert W Function to Physics
"... : Two standard physics problems are solved in terms of the Lambert W function, in order to show the applicability of this recently defined function to physics. Other applications of the function are cited, but not described. The problems solved concern Wien's displacement law and the fringin ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
(Show Context)
: Two standard physics problems are solved in terms of the Lambert W function, in order to show the applicability of this recently defined function to physics. Other applications of the function are cited, but not described. The problems solved concern Wien's displacement law and the fringing fields of a capacitor, the latter problem being representative of some problems solved using conformal transformations. The physical content of the solutions remains unchanged, but they gain a new elegance and convenience. 1. Introduction Many physicists have experienced, during their education, the surprise of seeing a known mathematical function appear in a new physical context. An example in elementary physics is one that arises when students are first taught about simple harmonic motion. We hope that some readers can remember their amazement on learning that the motion of objects bobbing on springs, or moving in circles, can be described using trigonometric functions. At the time, they m...
Graphing Elementary Riemann Surfaces
 SIGSAM Bulletin
, 1998
"... This paper discusses one of the prettiest pieces of elementary mathematics or computer algebra, that we have ever had the pleasure to learn. The tricks that we discuss here are certainly \wellknown" (that is, in the literature) , but we didn't know them until recently, and none of our imm ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
This paper discusses one of the prettiest pieces of elementary mathematics or computer algebra, that we have ever had the pleasure to learn. The tricks that we discuss here are certainly \wellknown" (that is, in the literature) , but we didn't know them until recently, and none of our immediate colleagues knew them either. Therefore we believe that it is useful to publicize them further. We hope that you nd these ideas as pleasant and useful as we do. We show how to use a computer algebra system (or even a purely numerical graphing package) to graph the Riemann surfaces of various elementary functions. We rst noticed the technique in Cleve Moler's Matlab programs cplxroot, cplxgrid, and cplxmap, which are part of the Matlab 5.1 Demo package (in plots of complex functions). The command type cplxroot in Matlab
Not seeing the roots for the branches: multivalued functions in computer algebra
 SIGSAM Bull
"... We discuss the multiple definitions of multivalued functions and their suitability for computer algebra systems. We focus the discussion by taking one specific problem and considering how it is solved using different definitions. Our example problem is the classical one of calculating the roots of a ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
(Show Context)
We discuss the multiple definitions of multivalued functions and their suitability for computer algebra systems. We focus the discussion by taking one specific problem and considering how it is solved using different definitions. Our example problem is the classical one of calculating the roots of a cubic polynomial from the Cardano formulae, which contain fractional powers. We show that some definitions of these functions result in formulae that are correct only in the sense that they give candidates for solutions; these candidates must then be tested. Formulae that are based on singlevalued functions, in contrast, are efficient and direct. 1
The Wright ω Function
 IN: ARTIFICIAL INTELLIGENCE, AUTOMATED REASONING, AND SYMBOLIC
, 2002
"... 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 ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
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 di#erent 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), we 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].
A short survey of automated reasoning
"... Abstract. This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize the points of contact and the contrasts with computer algebra. We finish with a discussion of the main applications so f ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
(Show Context)
Abstract. This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize the points of contact and the contrasts with computer algebra. We finish with a discussion of the main applications so far. 1 Historical introduction The idea of reducing reasoning to mechanical calculation is an old dream [75]. Hobbes [55] made explicit the analogy in the slogan ‘Reason [...] is nothing but Reckoning’. This parallel was developed by Leibniz, who envisaged a ‘characteristica universalis’ (universal language) and a ‘calculus ratiocinator ’ (calculus of reasoning). His idea was that disputes of all kinds, not merely mathematical ones, could be settled if the parties translated their dispute into the characteristica and then simply calculated. Leibniz even made some steps towards realizing this lofty goal, but his work was largely forgotten. The characteristica universalis The dream of a truly universal language in Leibniz’s sense remains unrealized and probably unrealizable. But over the last few centuries a language that is at least adequate for