Cita APA

Aransay, J. [., & Divasón, J. [. (2016). Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL.

Citación estilo Chicago

Aransay, J. [0000-0002-4079-8307], y J. [0000-0002-5173-128X] Divasón. Formalisation of the Computation of the Echelon Form of a Matrix in Isabelle/HOL. 2016.

Cita MLA

Aransay, J. [0000-0002-4079-8307], y J. [0000-0002-5173-128X] Divasón. Formalisation of the Computation of the Echelon Form of a Matrix in Isabelle/HOL. 2016.