SEARCH
Services
Financial Services
in West Palm Beach
Services
West Palm Beach

PhD MATHEMATICS CONSULTANT

Overview

Respond to this Ad
Ad number:#628119628
Contact:MathExp
City:West Palm Beach, FL
Zip:33401

Description

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:

  1. I have proved many theorems in the algebra, order theory, logic, and set theory;
  2. I have checked many theorems in proof assistants Coq and Lean;
  3. 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:

  1. Logic
  2. Set Theory
  3. Combinatorics
  4. Constructive Mathematics
  5. Topology
  6. Algebraic Topology
  7. Algebra
  8. Analysis
  9. Theory of Computation
  10. And many more.

 

***Evidence of experience can be provided upon request.

Respond to this Ad

Report this ad


Type of problem:







Your email (optional)


URL (optional)


Comment (optional)
Sending...
Sending...
© 2020 ClassifiedAds.com, Inc. All rights reserved.
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _