Jose Divasón
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [d9]Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada:
A verified LLL algorithm. Archive of Formal Proofs 2018 (2018) - [d8]Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada:
A verified factorization algorithm for integer polynomials with polynomial complexity. Archive of Formal Proofs 2018 (2018) - [c8]Jose Divasón, Jesús Aransay:
A Formal Proof of the Computation of Hermite Normal Form in a General Setting. AISC 2018: 37-53 - [c7]Jose Divasón, Sebastiaan J. C. Joosten, Ondrej Kuncar, René Thiemann, Akihisa Yamada:
Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper). CPP 2018: 2-13 - [c6]Ana Romero, Jose Divasón:
Experiences and new alternatives for teaching formal verification of Java programs. ITiCSE 2018: 383 - [c5]Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada:
A Formalization of the LLL Basis Reduction Algorithm. ITP 2018: 160-177 - 2017
- [j3]Jesús Aransay, Jose Divasón:
A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem. J. Autom. Reasoning 58(4): 509-535 (2017) - [c4]Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada:
A formalization of the Berlekamp-Zassenhaus factorization algorithm. CPP 2017: 17-29 - 2016
- [d7]Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada:
The Factorization Algorithm of Berlekamp and Zassenhaus. Archive of Formal Proofs 2016 (2016) - [d6]Jose Divasón, Ondrej Kuncar, René Thiemann, Akihisa Yamada:
Perron-Frobenius Theorem for Spectral Radius Analysis. Archive of Formal Proofs 2016 (2016) - [j2]Jesús Aransay, Jose Divasón:
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL. Formal Asp. Comput. 28(6): 1005-1026 (2016) - 2015
- [d5]
- [d4]
- [d3]
- [j1]Jesús Aransay, Jose Divasón:
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm. J. Funct. Program. 25 (2015) - [c3]Jesús Aransay, Jose Divasón:
Generalizing a Mathematical Analysis Library in Isabelle/HOL. NFM 2015: 415-421 - 2014
- [d2]Jose Divasón, Jesús Aransay:
Gauss-Jordan Algorithm and Its Applications. Archive of Formal Proofs 2014 (2014) - [c2]Jesús Aransay-Azofra, Jose Divasón, Jónathan Heras, Laureano Lambán, María Vico Pascual, Angel Luis Rubio, Julio Rubio:
Obtaining an ACL2 Specification from an Isabelle/HOL Theory. AISC 2014: 49-63 - [i1]Jesús Aransay, Jose Divasón:
Applications of the Gauss-Jordan algorithm, done right. CoRR abs/1401.5910 (2014) - 2013
- [d1]Jose Divasón, Jesús Aransay:
Rank-Nullity Theorem in Linear Algebra. Archive of Formal Proofs 2013 (2013) - [c1]Jesús Aransay, Jose Divasón:
Formalization and Execution of Linear Algebra: From Theorems to Algorithms. LOPSTR 2013: 1-18
Coauthor Index
Jesús Aransay
aka: Jesús Aransay-Azofra
aka: Jesús Aransay-Azofra
last updated on 2019-01-09 01:21 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint