( en | de | ru )

 

Disambiguation of "Rubio, Julio"

Author of the publication

copydeleteadd this publication to your clipboard
fKenzo: A user interface for computations in Algebraic Topology.

, , , and . J. Symb. Comput., 46 (6): 685-698 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ignacio Rubio

Felipe Rubio

Jordi Rubió i Coromina Universitat de Barcelona

Mónica Rubiolo González

Miguel Rubio

 

Other publications of authors with the same name

Specifying Implementations., , and . ISSAC, page 245-251. ACM, (1999)ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System., , and . Calculemus/MKM, volume 5625 of Lecture Notes in Computer Science, page 106-121. Springer, (2009)Generative Communication with Semantic Matching in Distributed Heterogeneous Environments., , , , and . EUROCAST, volume 2809 of Lecture Notes in Computer Science, page 231-242. Springer, (2003)Certified symbolic manipulation: bivariate simplicial polynomials., , , and . ISSAC, page 243-250. ACM, (2013)Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System., , and . LOPSTR, volume 6564 of Lecture Notes in Computer Science, page 37-51. Springer, (2010)Obtaining an ACL2 Specification from an Isabelle/HOL Theory., , , , , , and . AISC, volume 8884 of Lecture Notes in Computer Science, page 49-63. Springer, (2014)Evasiveness Through Binary Decision Diagrams., , and . CICM, volume 14101 of Lecture Notes in Computer Science, page 37-52. Springer, (2023)Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy., , , , and . MKM/Calculemus/DML, volume 7961 of Lecture Notes in Computer Science, page 66-81. Springer, (2013)A program computing the homology groups of loops spaces., and . SIGSAM Bull., 25 (4): 20-24 (1991)Four Approaches to Automated Reasoning with Differential Algebraic Structures., , and . AISC, volume 3249 of Lecture Notes in Computer Science, page 222-235. Springer, (2004)