Rule-Based Simplification in Vector-Product Spaces

DOI10.1007/978-3-540-73086-6_10zbMath1202.68493OpenAlexW2136612619MaRDI QIDQ5428264

Songxin Liang, David J. Jeffrey

Publication date: 28 November 2007

Published in: Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73086-6_10

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Differential geometric aspects in vector and tensor analysis (53A45) Software, source code, etc. for problems pertaining to real functions (26-04) Calculus of vector functions (26B12)

Related Items (1)

\texttt{VEST}: Abstract vector calculus simplification in \texttt{Mathematica}

Uses Software

• ALDOR

This page was built for publication: Rule-Based Simplification in Vector-Product Spaces