|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
|
|
Results
Found 44 publication records. Showing 44 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ana Romero, Julio Rubio |
Computing the homology of groups: The geometric way.  |
J. Symb. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina |
Formalization of a normalization theorem in simplicial topology. |
Ann. Math. Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Julio Rubio |
Effective homology of bicomplexes, formalized in Coq. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jónathan Heras, Vico Pascual, Julio Rubio, Francis Sergeraert |
fKenzo: A user interface for computations in Algebraic Topology. |
J. Symb. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Romero, Julio Rubio |
Computing the homology of groups: the geometric way |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jónathan Heras, Vico Pascual, Julio Rubio |
A System for Computing and Reasoning in Algebraic Topology. |
Calculemus/MKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina |
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials. |
ITP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jónathan Heras, Vico Pascual, Julio Rubio |
A Certified Module to Study Digital Images with the Kenzo System. |
EUROCAST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | María José González, Julio Rubio, Tomás Recio, Laureano González-Vega, Abel Pascual |
Teaching Geometry with TutorMates. |
ICCSA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Aransay, Clemens Ballarin, Julio Rubio |
Generating certified code from formal proofs: a case study in homological algebra. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Julio Rubio |
Computing in Coq with Infinite Algebraic Data Structures |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio |
Integrating multiple sources to answer questions in Algebraic Topology |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jónathan Heras, Vico Pascual, Ana Romero, Julio Rubio |
Integrating Multiple Sources to Answer Questions in Algebraic Topology. |
AISC/MKM/Calculemus |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Julio Rubio |
Computing in Coq with Infinite Algebraic Data Structures. |
AISC/MKM/Calculemus |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jónathan Heras, Vico Pascual, Julio Rubio |
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio Rubio, Werner Seiler |
Applicable algebra and artificial intelligence. |
Ann. Math. Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jónathan Heras, Vico Pascual, Julio Rubio |
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina |
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. |
Calculemus/MKM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Romero, Graham Ellis, Julio Rubio |
Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
group cohomology, kenzo, openmath, interoperability, gap |
| 1 | Jesús Aransay, Clemens Ballarin, Julio Rubio |
A Mechanized Proof of the Basic Perturbation Lemma. |
J. Autom. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
Homological algebra, Basic perturbation lemma, Isabelle |
| 1 | Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (eds.) |
Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings |
AISC/MKM/Calculemus |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jónathan Heras, Vico Pascual, Julio Rubio |
Mediated Access to Symbolic Computation Systems. |
AISC/MKM/Calculemus |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Laureano Lambán, Julio Rubio |
Object oriented institutions to specify symbolic computation systems. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirian Andrés, Laureano Lambán, Julio Rubio |
Executing in Common Lisp, Proving in ACL2. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio |
Formal Reasoning on a Web Coordination System. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Romero, Julio Rubio, Francis Sergeraert |
Computing spectral sequences. |
J. Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Julio Rubio, Francis Sergeraert |
Modeling Inheritance as Coercion in the Kenzo System. |
J. UCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ana Romero, Julio Rubio, Francis Sergeraert |
Computing spectral sequences |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio |
Formal Modelling of a Coordination System: From Practice to Theory, and Back Again. |
ESAW |
2006 |
DBLP DOI BibTeX RDF |
Web services, formal methods, coordination, Linda |
| 1 | Julio Rubio, Francis Sergeraert |
Computing with locally effective matrices. |
Int. J. Comput. Math. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirian Andrés, Vico Pascual, Ana Romero, Julio Rubio |
Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach. |
International Conference on Computational Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Aransay, Clemens Ballarin, Julio Rubio |
Extracting Computer Algebra Programs from Statements. |
EUROCAST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio Rubio Garcia |
Constructive Proofs or Constructive Statements?. |
Mathematics, Algorithms, Proofs |
2005 |
DBLP BibTeX RDF |
|
| 1 | César Domínguez, Dominique Duval, Laureano Lambán, Julio Rubio Garcia |
Towards Diagrammatic Specifications of Symbolic Computation Systems. |
Mathematics, Algorithms, Proofs |
2005 |
DBLP BibTeX RDF |
|
| 1 | Eloy J. Mata, Pedro Álvarez, José A. Bañares, Julio Rubio |
Towards an Efficient Rule-Based Coordination of Web Services. |
IBERAMIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Aransay, Clemens Ballarin, Julio Rubio |
Four Approaches to Automated Reasoning with Differential Algebraic Structures. |
AISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Laureano Lambán, Vico Pascual, Julio Rubio |
An Object-oriented Interpretation of the EAT System. |
Appl. Algebra Eng. Commun. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirian Andrés, Francisco José García Izquierdo, Vico Pascual, Julio Rubio |
XML-Based Interoperability Among Symbolic Computation Systems. |
ICWI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Pedro Álvarez, José A. Bañares, Eloy J. Mata, Pedro R. Muro-Medrano, Julio Rubio |
Generative Communication with Semantic Matching in Distributed Heterogeneous Environments. |
EUROCAST |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Laureano Lambán, Vico Pascual, Julio Rubio |
Hidden Specification of a Functional System. |
EUROCAST |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Julio Rubio |
Modeling inheritance as coercion in a symbolic computation system. |
ISSAC |
2001 |
DBLP DOI BibTeX RDF |
CLOS |
| 1 | Julio Rubio |
Locally Effective Objects and Artificial Intelligence. |
AISC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Laureano Lambán, Vico Pascual, Julio Rubio |
Specifying Implementations. |
ISSAC |
1999 |
DBLP DOI BibTeX RDF |
Common Lisp |
| 1 | Eladio Domínguez, María Antonia Zapata, Julio Rubio |
A Conceptual Approach to Meta-Modelling. |
CAiSE |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #44 of 44 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")