User Portlet
| Discussions |
|---|
| Looking at https://mathworld.wolfram.com/AhmedsIntegral.html it seems that Mathematica evaluates the generic integrals but not to the same results from the article. &[Wolfram Notebook][1] [1]:... |
| This is fabulous, thank you for the great references! |
| Amazing Rob! Thank you very much for doing this. I will experiment with my family tree right away... |
| Hi Shenghui, It works well now - thank you very much for your quick turnaround on this - great work. I am well impressed with Mathematica solving an IMO level problem in an automated fashion. Best regards, Sorin |
| I am wondering if there are any plans to create an importer for the problems from TGTP [http://hilbert.mat.uc.pt/TGTP/index.php][1] in Mathematica? A similar site for the theorem provers is TPTP: [http://www.tptp.org/][2] - it would also be cool... |