Publicaciones (61) Publicaciones en las que ha participado algún/a investigador/a

2011

  1. A Comparative Study of Different Semilocal Convergence Results Applied to Kepler's Equation

    Computational mathematics : theory, methods and applications (New York : Nova Science Publishers, [2011]), pp. 201-212

  2. A System for Computing and Reasoning in Algebraic Topology

    Lectures Notes in Computer Science: Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, 10th International Conference, MKM 2011, Held as Part of CICM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings (SPRINGER-VERLAG), pp. 295-297

  3. A computer implementation of the partition of the unity procedure and its application to arthropod population dynamics. A case study on the European grape berry moth

    Mathematics and Computers in Simulation, Vol. 82, Núm. 1, pp. 2-14

  4. Analyzing Behavioral Properties of Semantic Business Processes with Parametric Data

    Concurrency Computation Practice and Experience, Vol. 23, Núm. 6, pp. 525-555

  5. Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials

    Lecture Notes in Computer Science, Vol. 6898 LNCS, pp. 200-215

  6. Attracting cycles for the relaxed Newton's method

    Journal of Computational and Applied Mathematics, Vol. 235, Núm. 10, pp. 3238-3244

  7. Bibliometric analysis of the use of the term preembryo in scientific literature

    Journal of the American Society for Information Science and Technology, Vol. 62, Núm. 5, pp. 987-991

  8. Bifurcations of dividing surfaces in chemical reactions

    Journal of Chemical Physics, Vol. 135, Núm. 1, pp. 14110-14119

  9. Bordered Magic Squares: Elements for a comprehensive approach

    Ars Combinatoria, Vol. 100, pp. 205-224

  10. Changes in polyphenols, polysaccharides and nitrogenous compounds in wine during malolactic fermentation

    XXXIV World Congress of Vine and Wine

  11. Comentarios históricos sobre el teorema de Rolle con referencias a la matemática española hacia 1911

    Gaceta de la Real Sociedad Matematica Española, Vol. 14, Núm. 1, pp. 167-178

  12. Computational algebraic algorithms for the reliability of generalized k-out-of-n and related systems

    Mathematics and Computers in Simulation, Vol. 82, Núm. 1, pp. 68-78

  13. Control And Data Flow Compatibility In The Interaction Between Dynamic Business Processes

    Concurrency Computation Practice and Experience, Vol. 23, Núm. 1, pp. 57-85

  14. Convergence of Padé approximants of Stieltjes-type meromorphic functions and the relative asymptotics of orthogonal polynomials on the real line

    Journal of Approximation Theory, Vol. 163, Núm. 1, pp. 3-21

  15. Deep resonant GPS-Dynamics due to the geopotential

    Journal of the Astronautical Sciences, Vol. 58, Núm. 4, pp. 661-676

  16. Dynamics of a higher-order family of iterative methods

    Journal of Complexity, Vol. 27, Núm. 2, pp. 221-229

  17. Effect of the presence of lysated lees on polysaccharides, color and main phenolic compounds of red wine during barrel ageing

    Food Research International, Vol. 44, Núm. 1, pp. 84-91

  18. Effective homology of bicomplexes, formalized in Coq

    Theoretical Computer Science, Vol. 412, Núm. 11, pp. 962-970

  19. Evolution of XML schemas and documents from stereotyped UML class models: A traceable approach

    Information and Software Technology, Vol. 53, Núm. 1, pp. 34-50

  20. Four lectures on nonassociative Lie theory

    Quasigroups and related systems, Vol. 19, Núm. 1, pp. 133-168