Saila
Matemáticas y Computación
Argitalpenak (61) Ikertzaileren baten partaidetza izan duten argitalpenak
2011
-
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
-
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
-
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
-
Analyzing Behavioral Properties of Semantic Business Processes with Parametric Data
Concurrency Computation Practice and Experience, Vol. 23, Núm. 6, pp. 525-555
-
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials
Lecture Notes in Computer Science, Vol. 6898 LNCS, pp. 200-215
-
Attracting cycles for the relaxed Newton's method
Journal of Computational and Applied Mathematics, Vol. 235, Núm. 10, pp. 3238-3244
-
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
-
Bifurcations of dividing surfaces in chemical reactions
Journal of Chemical Physics, Vol. 135, Núm. 1, pp. 14110-14119
-
Bordered Magic Squares: Elements for a comprehensive approach
Ars Combinatoria, Vol. 100, pp. 205-224
-
Changes in polyphenols, polysaccharides and nitrogenous compounds in wine during malolactic fermentation
XXXIV World Congress of Vine and Wine
-
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
-
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
-
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
-
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
-
Deep resonant GPS-Dynamics due to the geopotential
Journal of the Astronautical Sciences, Vol. 58, Núm. 4, pp. 661-676
-
Dynamics of a higher-order family of iterative methods
Journal of Complexity, Vol. 27, Núm. 2, pp. 221-229
-
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
-
Effective homology of bicomplexes, formalized in Coq
Theoretical Computer Science, Vol. 412, Núm. 11, pp. 962-970
-
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
-
Four lectures on nonassociative Lie theory
Quasigroups and related systems, Vol. 19, Núm. 1, pp. 133-168