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

Source URL: pxtp.github.io

• Computing
• Software engineering
• Computer programming
• Functional programming
• Subroutines
• Computability theory
• Theoretical computer science
• Computer algebra systems
• Pattern matching
• Wolfram Mathematica
• Expr
• Anonymous function

PDF Document

Source URL: www.mathematica-journal.com

PDF Document

Source URL: www.mathematica-journal.com

PDF Document

Source URL: www.mathematica-journal.com

PDF Document

Source URL: www.mathematica-journal.com

Rechnernutzung in der Physik WS17/18 Computeralgebra/Mathematica 1.

Source URL: comp.physik.kit.edu

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

Source URL: www.hyperelliptic.org

Opuscula Mathematica • Vol. 30 • No. 3 • 2010 http://dx.doi.orgOpMathGEOMETRIC PROPERTIES OF QUANTUM GRAPHS AND VERTEX SCATTERING MATRICES Pavel Kurasov, Marlena Nowaczyk

Source URL: www.opuscula.agh.edu.pl

DMFA Logo AMC Logo Also available at http://amc.imfm.si ARS MATHEMATICA CONTEMPORANEA x (xxxx) 1–x

Source URL: www.florian-lehner.net

Week 6 (due Feb. 19) Reading: Srednicki, sectionsNB: In the following problems it is better to use FeynCalc package for Mathematica than to do gamma-matrix traces by hand. See http://www.feyncalc.org/ for detaile

Source URL: www.theory.caltech.edu