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

	Cryptography, homework sheet 5 Due for 2MMC10: 12 October 2017, 10:45 and for Mastermath: 23 November 2017, 10:45 by email to You may use computer algebra systems such as mathematica, gp, or sage or DocID: 1vn9V - View Document
	A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu DocID: 1tO0o - View Document
	A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu DocID: 1tJpl - View Document
	CDC99 - REG0098 Computer algebra in the control of singularly perturbed dynamical systems DocID: 1sSbd - View Document
	A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu DocID: 1sPWb - View Document