Mathematics in Computer Science, Volume 1

Volume 1, Number 1, December 2007

• Dongming Wang, Zhiming Zheng:
  Editorial. 1-2
  Electronic Edition (link) BibTeX
• Chee-Keng Yap, Hoon Hong:
  Foreword. 3-7
  Electronic Edition (link) BibTeX
• Lloyd N. Trefethen:
  Computing Numerically with Functions Instead of Numbers. 9-19
  Electronic Edition (link) BibTeX
• Daniel Richardson:
  Zero Tests for Constants in Simple Scientific Computation. 21-37
  Electronic Edition (link) BibTeX
• Sunayana Ghosh, Sylvain Petitjean, Gert Vegter:
  Approximation by Conic Splines. 39-69
  Electronic Edition (link) BibTeX
• Vikram Sharma:
  Robust Approximate Zeros in Banach Space. 71-109
  Electronic Edition (link) BibTeX
• Joris van der Hoeven:
  On Effective Analytic Continuation. 111-175
  Electronic Edition (link) BibTeX
• Mohab Safey El Din:
  Testing Sign Conditions on a Multivariate Polynomial and Applications. 177-207
  Electronic Edition (link) BibTeX

Volume 1, Number 2, December 2007

• Dongming Wang, Lihong Zhi:
  Foreword. 209-210
  Electronic Edition (link) BibTeX
• Meng Zhou, Franz Winkler:
  On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring. 211-223
  Electronic Edition (link) BibTeX
• Ekaterina Shemyakova:
  Parametric Factorizations of Second-, Third- and Fourth-Order Linear Partial Differential Operators with a Completely Factorable Symbol on the Plane. 225-237
  Electronic Edition (link) BibTeX
• Philip Feinsilver, René Schott:
  Inversion of Analytic Functions via Canonical Polynomials: A Matrix Approach. 239-251
  Electronic Edition (link) BibTeX
• Valery G. Romanovski:
  Bifurcations of Periodic Points of Some Algebraic Maps. 253-265
  Electronic Edition (link) BibTeX
• Jane M. Pearson, Noel G. Lloyd:
  Space Saving Calculation of Symbolic Resultants. 267-290
  Electronic Edition (link) BibTeX
• Nong Gu, Daniel Lazard, Fabrice Rouillier, Yong Xiang:
  Using Computer Algebra to Certify the Global Convergence of a Numerical Optimization Process. 291-304
  Electronic Edition (link) BibTeX
• Ting Zhang, Bican Xia:
  A New Method for Real Root Isolation of Univariate Polynomials. 305-320
  Electronic Edition (link) BibTeX
• Hiroshi Sekigawa, Kiyoshi Shirayanagi:
  On the Location of Pseudozeros of a Complex Interval Polynomial. 321-335
  Electronic Edition (link) BibTeX
• Stef Graillat:
  Pseudozero Set of Real Multivariate Polynomials. 337-352
  Electronic Edition (link) BibTeX
• Robert M. Corless, Nargol Rezvani, Amirhossein Amiraslani:
  Pseudospectra of Matrix Polynomials that Are Expressed in Alternative Bases. 353-374
  Electronic Edition (link) BibTeX
• John Abbott, Claudia Fassino, Maria-Laura Torrente:
  Thinning Out Redundant Empirical Data. 375-392
  Electronic Edition (link) BibTeX
• Itnuit Janovitz-Freireich, Lajos Rónyai, Ágnes Szántó:
  Approximate Radical for Clusters: A Global Approach Using Gaussian Elimination or SVD. 393-425
  Electronic Edition (link) BibTeX
• Dongxia Sun, Lihong Zhi:
  Structured Low Rank Approximation of a Bezout Matrix. 427-437
  Electronic Edition (link) BibTeX

Volume 1, Number 3, March 2008

• Ilias S. Kotsireas:
  Foreword. 439
  Electronic Edition (link) BibTeX
• William Y. C. Chen, Andreas W. M. Dress, Winking Q. Yu:
  Community Structures of Networks. 441-457
  Electronic Edition (link) BibTeX
• Elena I. Ganzha, Valery M. Loginov, Sergey P. Tsarev:
  Exact Solutions of Hyperbolic Systems of Kinetic Equations. Application to Verhulst Model with Random Perturbation. 459-472
  Electronic Edition (link) BibTeX
• Hiroshi Yoshida, Katsuhisa Horimoto, Hirokazu Anai:
  Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination. 473-485
  Electronic Edition (link) BibTeX
• Sven Kosub:
  Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems. 487-505
  Electronic Edition (link) BibTeX
• Wei Niu, Dongming Wang:
  Algebraic Approaches to Stability Analysis of Biological Systems. 507-539
  Electronic Edition (link) BibTeX