First Page | Document Content | |
---|---|---|
![]() Date: 2014-01-09 00:23:18Parallel computing Array programming languages High-performance computing Mathematica Mathematical software Computing Software | Source URL: www.tils.qut.edu.auDownload Document from Source WebsiteFile Size: 100,16 KBShare Document on Facebook |
![]() | An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USADocID: 1xVmH - View Document |
![]() | PDF DocumentDocID: 1xo98 - View Document |
![]() | PDF DocumentDocID: 1xlW0 - View Document |
![]() | PDF DocumentDocID: 1vPGa - View Document |
![]() | PDF DocumentDocID: 1vuuu - View Document |