User Portlet
Featured Contributor
| Discussions |
|---|
| [The Wolfram Summer School Fundamental Physics Track][1] Are you an advanced research-oriented student in mathematics, theoretical physics or theoretical computer science, who wants to make potentially cutting-edge contributions to our... |
| My project objective was a simple one: to extend the pre-existing backend of Mathematica's `FullSimplify` function, in an effort to construct a system for automatically generating and visualizing proofs of arbitrary theorems in first-order equational... |