Triangulated realityTriangulating the real world via symbolic computation

Articles

Implementing associative algebras in Mathematica
- Lie algebras, Hopf algebras, and their representations via Mathematica.
Introduction to xAct
- Equation of motion and stress tensor.

Yurie/BlueArXiv
- A Mathematica paclet for downloading preprints and generating BibTeX by arXiv IDs.
- Documentation
Yurie/Cluster
- A Mathematica paclet for implementing a specific form of class composition.
- Documentation
- Designing idea
Yurie/Algebra
- A Mathematica paclet for implementing and managing finitely presented associative algebras.
- Documentation
- Example
- Designing idea
Yurie/MathForm
- A Mathematica paclet for improving LaTeX conversion.
- Documentation
Yurie/LaTeXTool
- LaTeX tools.
- Documentation
- Designing idea
Lacia/Autocode
- Code tools.
- Documentation

Inside the Mathematica Pattern Matcher
- This talk gives an overview of how the pattern matcher work, and discusses the relationship between the two major pattern matching paradigms in Mathematica: matching on general expressions and on strings.
Working with unevaluated expressions
- This talk demonstrates situations in which evaluation control is important, points out common pitfalls and provides useful tools and techniques.
How to Use Inactive
- Inactive prevents specific functions from firing without suppressing all evaluation. This finer-grained control makes it easy to build up partially evaluated expressions programmatically.

MaTeX - LaTeX typesetting in Mathematica.
xAct - efficient tensor computer algebra for the Wolfram Language.
- xAct examples
- xAct group
FeynCalc - tools for quantum field theory calculations.
Rubi - a rule-based integrator.