Login / Signup
Josel Antonio Mechato-Durand
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Theorem Prover
Product Information
Life Cycle
Top Venues
ICCSA (1)
</>
Publications
</>
Judith Keren Jiménez-Vilcherrez
,
Josel Antonio Mechato-Durand
,
Ricardo Velezmoro-León
,
Robert Ipanaqué Chero
Proof of Some Properties of the Cross Product of Three Vectors in [inline-graphic not available: see fulltext] with Mathematica.
ICCSA (1)
(2021)