An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA

First Page		Document Content
Date: 2017-09-19 19:50:55 Computing Software engineering Computer programming Functional programming Subroutines Computability theory Theoretical computer science Computer algebra systems Pattern matching Wolfram Mathematica Expr Anonymous function		An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA Add to Reading List Source URL: pxtp.github.io Download Document from Source Website File Size: 275,90 KB Share Document on Facebook

	HANDS-ON START TO WOLFRAM MATHEMATICA ® and Programming with the Wolfram Language™ DocID: 1uFOh - View Document
	IAMC Architecture and Prototyping: A Status Report P. Wang∗, S. Gray†, N. Kajler‡, D. Lin§, W. Liao, X. Zou Institute for Computational Mathematics Kent State University Kent, Ohio 44242, U.S.A. DocID: 1r7oe - View Document
	The Marriage of MrMathematica and MzScheme Chongkai Zhu Abstract DocID: 1qKsH - View Document
	Preparing HPC Applications for Exascale: Challenges and Recommendations c (ADPNA at NBiS-2015, IEEE) ´ Erika Abrah´ DocID: 1qHMN - View Document
	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.3 (D10) DocID: 1qtdo - View Document