( en | de | ru )

 

Disambiguierung von "Rubio, Julio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
fKenzo: A user interface for computations in Algebraic Topology.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ignacio Rubio

Felipe Rubio

Jordi Rubió i Coromina Universitat de Barcelona

Mónica Rubiolo González

Miguel Rubio

 

Weitere Publikationen von Autoren mit dem selben Namen

Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System., , und . LOPSTR, Volume 6564 von Lecture Notes in Computer Science, Seite 37-51. Springer, (2010)Obtaining an ACL2 Specification from an Isabelle/HOL Theory., , , , , , und . AISC, Volume 8884 von Lecture Notes in Computer Science, Seite 49-63. Springer, (2014)ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System., , und . Calculemus/MKM, Volume 5625 von Lecture Notes in Computer Science, Seite 106-121. Springer, (2009)Specifying Implementations., , und . ISSAC, Seite 245-251. ACM, (1999)Generative Communication with Semantic Matching in Distributed Heterogeneous Environments., , , , und . EUROCAST, Volume 2809 von Lecture Notes in Computer Science, Seite 231-242. Springer, (2003)Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy., , , , und . MKM/Calculemus/DML, Volume 7961 von Lecture Notes in Computer Science, Seite 66-81. Springer, (2013)Evasiveness Through Binary Decision Diagrams., , und . CICM, Volume 14101 von Lecture Notes in Computer Science, Seite 37-52. Springer, (2023)An implementation of effective homotopy of fibrations., , und . J. Symb. Comput., (2019)Certified symbolic manipulation: bivariate simplicial polynomials., , , und . ISSAC, Seite 243-250. ACM, (2013)Zigzag persistent homology for processing neuronal images., , , und . Pattern Recognit. Lett., (2015)