José M. Martín-García

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Provably Correct

Closely Related

Information Technology

Top Venues

Comput. Phys. Commun.

Publications

Alfonso García-Parrado Gómez-Lobo, José M. Martín-García
Spinors: A Mathematica package for doing spinor calculus in General Relativity. Comput. Phys. Commun. 183 (10) (2012)
José M. Martín-García, David Yllanes, Renato Portugal
The Invar tensor package: Differential invariants of Riemann. Comput. Phys. Commun. 179 (8) (2008)
José M. Martín-García
xPerm: fast index canonicalization for tensor computer algebra CoRR (2008)
José M. Martín-García
xPerm: fast index canonicalization for tensor computer algebra. Comput. Phys. Commun. 179 (8) (2008)
José M. Martín-García, David Yllanes, Renato Portugal
The Invar tensor package: Differential invariants of Riemann CoRR (2008)
José M. Martín-García, Renato Portugal, Leon R. U. Manssur
The Invar Tensor Package CoRR (2007)
José M. Martín-García, Renato Portugal, Leon R. U. Manssur
The Invar tensor package. Comput. Phys. Commun. 177 (8) (2007)