Login / Signup

Proof of Some Properties of the Cross Product of Three Vectors in [inline-graphic not available: see fulltext] with Mathematica.

Judith Keren Jiménez-VilcherrezJosel Antonio Mechato-DurandRicardo Velezmoro-LeónRobert Ipanaqué Chero
Published in: ICCSA (1) (2021)
Keyphrases
  • desirable properties
  • databases
  • real world
  • knowledge base
  • data structure
  • feature vectors
  • distance measure
  • life cycle
  • structural properties
  • theorem prover
  • theorem proving
  • product information