Rule-Based Simplification in Vector-Product Spaces

DOI10.1007/978-3-540-73086-6_10MaRDI QIDQ5428264zbMATH OpenOpenAlexFDO

Authors Songxin Liang, D. 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

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

Recommendations

• VECTOR 33: A REDUCE program for vector algebra and calculus in orthogonal curvilinear coordiantes
• A computational definition of the notion of vectorial space
• \texttt{VEST}: Abstract vector calculus simplification in \texttt{Mathematica}
• scientific article; zbMATH DE number 1273666
• Space modelling with multidimensional vector products

Cited in

(5)

• VECTOR 33: A REDUCE program for vector algebra and calculus in orthogonal curvilinear coordiantes
• Space modelling with multidimensional vector products
• \texttt{VEST}: Abstract vector calculus simplification in \texttt{Mathematica}
• scientific article; zbMATH DE number 705057 (Why is no real title available?)
• Automated vector space proofs using mathematica

Describes a project that uses

Uses Software

• ALDOR

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428264)