Stream: math-comp analysis

Topic: complex exp.

view this post on Zulip Pierre-Yves Strub (Feb 23 2022 at 16:22):

Hi. Do you have plans for complex exponentials? (CC: @Li Zhou )

view this post on Zulip Reynald Affeldt (Feb 23 2022 at 22:30):

We have recently been experimenting with a definition of the complex exponential (using already available basic real functions) as part of the development of robotics @Laurent Théry and @Marie Kerjean has further general insights about using complex numbers with mathcomp-analysis. I actually wanted to bring up the question during today's mathcomp-analysis dev-meeting.

view this post on Zulip Pierre-Yves Strub (Feb 24 2022 at 13:02):

Thx. I won't be able to be at the meeting, but will read the minutes.

Last updated: Aug 19 2022 at 20:03 UTC