María Vico Pascual Martínez-Losa

• Artículos de revistas (4)
• Colaboraciones en obras colectivas (8)
• Tesis (1)
• Tesis dirigidas (2)

• Artículos de revistas

  • Seleccionado

    Digitalización del libro. "La música en la Catedral de Santo Domingo de la Calzada"

    Gonzalo Santamaría Gómez, Teresa Cascudo García-Villaraco, César Domínguez , Jónathan Heras Vicente , Eloy Javier Mata Sotés, María Vico Pascual Martínez-Losa, María Villota Miranda

    Zubía, ISSN 0213-4306, Nº 40, 2022, págs. 177-196

    • Texto completo
    
  • Seleccionado

    Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada

    Jesús María Aransay Azofra , Jose Divasón Mallagaray, César Domínguez , Francisco José García Izquierdo , Jónathan Heras Vicente , Arturo Jaime Elizondo , Laureano Lambán Pardo , Eloy Javier Mata Sotés, Gadea Mata Martínez , Juan José Olarte Larrea, María Vico Pascual Martínez-Losa, Beatriz Pérez Valle , Ana Romero Ibáñez , Ángel Luis Rubio García , Julio Rubio García , Eduardo Sáenz de Cabezón Irigaray

    Zubía, ISSN 0213-4306, Nº Extra 26, 2014 (Ejemplar dedicado a: Investigación en el Departamento de Matemáticas y Computación de la Universidad de La Rioja), págs. 19-37

    • Resumen
    • Texto completo
    
  • Seleccionado

    fKenzo: una interfaz de usuario para realizar cálculos en Topología Algebraica

    Jónathan Heras Vicente , María Vico Pascual Martínez-Losa, Julio Rubio García , Francis Sergeraert

    Gaceta de la Real Sociedad Matematica Española, ISSN 1138-8927, Vol. 14, Nº 2, 2011, págs. 297-308

    • Texto completo
    
  • Seleccionado

    Belenus

    Eloy Javier Mata Sotés, Julio Rubio García , María Vico Pascual Martínez-Losa

    Comunicación y Pedagogía: nuevas tecnologías y recursos didácticos, ISSN 1136-7733, Nº 196, 2004, págs. 31-33

    

• Colaboraciones en obras colectivas

  • Seleccionado

    An ACL2 formalization of algebraic structures

    Jónathan Heras Vicente , María Vico Pascual Martínez-Losa

    Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA 2012 / Juan Rafael Sendra Pons (ed. lit.) , Carlos Villarino Cabellos (ed. lit.), 2012, ISBN 978-84-8138-770-4, págs. 103-106

    
  • Seleccionado

    Mediated access to Symbolic Computation systems: an Openmath approach

    Jónathan Heras Vicente , María Vico Pascual Martínez-Losa

    Contribuciones científicas en honor de Mirian Andrés Gómez / coord. por Laureano Lambán Pardo , Ana Romero Ibáñez , Julio Rubio García ; Mirian Andrés Gómez (hom.), 2010, ISBN 978-84-96487-50-5, págs. 85-104

    • Texto completo
    
  • Seleccionado

    A Graphical User Interface for the Kenzo System, a Program to Compute in Algebraic Topology

    Jónathan Heras Vicente , María Vico Pascual Martínez-Losa, Julio Rubio García

    EACA 2008: XI Encuentro de Álgebra Computacional y Aplicaciones : Granada, del 10 al 12 de septiembre / coord. por Óscar Cortadellas Izquierdo, José Gómez Torrecillas , F.J. Lobillo Borrero , 2008, págs. 93-96

    
  • Seleccionado

    On the role of distributed computing in Symbolic Computation for Algebraic Topology

    Mirian Andrés Gómez, María Vico Pascual Martínez-Losa, Ana Romero Ibáñez , Julio Rubio García

    EACA 2004: Santander, 1-3 julio 2004, Universidad de Cantabria : Actas de los encuentros de álgebra computacional y aplicaciones, 2004 / coord. por Laureano González Vega , T. Recio, 2004, págs. 11-15

    
  • Seleccionado

    Instituciones: matemáticas para la especificación en computación

    César Domínguez Fernández, Laureano Lambán Pardo , María Vico Pascual Martínez-Losa, Julio Rubio García

    Margarita mathematica: en memoria de José Javier (Chicho) Guadalupe Hernández / Luis Español González (ed. lit.) , Juan Luis Varona Malumbres (ed. lit.) , José Javier Guadalupe Hernández (hom.) , 2001, ISBN 84-95301-56-3, págs. 221-234

    • Texto completo
    
  • Seleccionado

    Simplicial sets in the EAT system

    Laureano Lambán Pardo , María Vico Pascual Martínez-Losa, Julio Rubio García

    EACA-99: Actas del quinto Encuentro de Álgebra Computacional y Aplicaciones : Tenerife, 8-11 de septiembre, 1999 / coord. por María Isabel Bermejo Díaz , 1999, págs. 267-276

    
  • Seleccionado

    Resultados de no calculabilidad en representaciones de Tipos Abstractos de Datos

    Laureano Lambán Pardo , María Vico Pascual Martínez-Losa, Julio Rubio García

    Tercer Encuentro de Algebra Computacional y Aplicaciones: Granada, Septiembre 25-27, 1997 : [EACA-97], 1997, págs. 133-140

    
  • Seleccionado

    Categorías de implementaciones de Tipos Abstractos de Datos

    Laureano Lambán Pardo , María Vico Pascual Martínez-Losa, Julio Rubio García

    Segundo Encuentro de Álgebra Computacional y Aplicaciones: Sevilla, 26 y 27 de Septiembre de 1996, 1996, págs. 86-94

    

• Tesis

  • Seleccionado

    Objetos localmente efectivos y tipos abstractos de datos

    María Vico Pascual Martínez-Losa

    Tesis doctoral dirigida por Laureano Lambán Pardo (dir. tes.) , Julio Rubio García (dir. tes.) . Universidad de La Rioja (2002).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    

• Tesis dirigidas

  • Seleccionado

    Deep Detection and Segmentation Models for Plant Physiology and Precision Agriculture

    Ángela Casado García

    Tesis doctoral dirigida por Jónathan Heras Vicente (dir. tes.) , María Vico Pascual Martínez-Losa (dir. tes.). Universidad de La Rioja (2023).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    
  • Seleccionado

    Gestión mecanizada del conocimiento matemático en topología algebraica

    Jónathan Heras Vicente

    Tesis doctoral dirigida por María Vico Pascual Martínez-Losa (dir. tes.), Julio Rubio García (dir. tes.) . Universidad de La Rioja (2011).

    • Resumen
    • Tesis en acceso abierto en: Dialnet
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.