[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
- Subject: Re: mathlib
- From: Roberto Ierusalimschy <roberto@...>
- Date: Mon, 7 Apr 2014 13:11:04 -0300
> > http://en.wikipedia.org/wiki/List_of_mathematical_functions#Elementary_transcendental_functions
>
> Also http://en.wikipedia.org/wiki/Elementary_function .
I believe those definitions include many other functions not in mathlib
(and even not in mathx). Should we add them all?
-- Roberto
