First Page | Document Content | |
---|---|---|
![]() Date: 2009-04-28 17:40:24Microsoft Windows Windows NT architecture Earth sciences graphics software Mathematica Dynamic-link library WoW64 Windows API Windows Vista X86-64 Software Computing Mathematical software | Add to Reading List |
![]() | 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 |