-
of mathematical proof automation: You identify and address research questions in the field of mathematical automation in numerical analysis or approximation theory. You implement the developed methods in Lean. You
-
or about to be completed) A strong background in mathematical statistics and probability theory Outstanding dissertation Promising potential for original high-level research Publications in renowned
Searches related to mathematics fixed point theory
Enter an email to receive alerts for mathematics-fixed-point-theory positions