Abstract | ||
---|---|---|
A vector-product space is a component-free representation of the common three-dimensional Cartesian vector space. The components of the vectors are invisible and formally inaccessible, although expressions for the components could be constructed. Expressions that have been built from the scalar and vector products can be simplified using a rule-based system. In order to develop and specify the system, an axiomatic system for a vector-product space is given. In addition, a brief description is given of an implementation in Aldor. The present work provides simplification functionality which overcomes difficulties encountered in earlier packages. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-73086-6_10 | mathematical knowledge management |
Keywords | Field | DocType |
vector-product spaces,vector product,axiomatic system,rule-based system,component-free representation,earlier package,present work,common three-dimensional cartesian vector,simplification functionality,vector-product space,brief description,rule-based simplification,rule based system,three dimensional,vector space,product space,rule based | Function space,Vector space,Axiomatic system,Algebra,Expression (mathematics),Inner product space,Scalar (physics),Pure mathematics,Coordinate space,Mathematics,Cartesian coordinate system | Conference |
Volume | ISSN | Citations |
4573 | 0302-9743 | 1 |
PageRank | References | Authors |
0.39 | 1 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Songxin Liang | 1 | 21 | 5.09 |
David J. Jeffrey | 2 | 1172 | 132.12 |