PhD MATHEMATICS CONSULTANT (West Palm Beach, FL)

PhD MATHEMATICS CONSULTANT

ARE YOU LOOKING FOR A PhD MATHEMATICS EXPERT I CAN HELP. I have several years of experience doing mathematical research at the PhD and post-PhD level. I can run computations in computers using languages such as Python C C and proof assistants such as Coq and Lean. Also I have used machine learning frameworks such as Tensorflow and Microsoft Azure Machine Learning Studio. Some of the projects I have worked on are the following I have proved many theorems in the algebra order theory logic and set theory I have checked many theorems in proof assistants Coq and Lean I have developed quantum algorithms to model solutions to mathematical problems. I have experience with several mathematical subjects at the research level. Some of them are Logic Set Theory Combinatorics Constructive Mathematics Topology Algebraic Topology Algebra Analysis Theory of Computation And many more. Evidence of experience can be provided upon request.