Journal: Mathematics in Computer Science

Volume 5, Issue 4

357 -- 358Georgios E. Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan. Foreword
359 -- 375Stef Graillat, Fabienne Jézéquel, Shiyue Wang, Yuxiang Zhu. Stochastic Arithmetic in Multiprecision
377 -- 393Sylvie Boldo, Claude Marché. Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs
395 -- 426Stephen F. Siegel, Timothy K. Zirkel. TASS: The Toolkit for Accurate Scientific Software
427 -- 435Stephen F. Siegel, Timothy K. Zirkel. FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing
437 -- 467Pieter Collins, Milad Niqui, Nathalie Revol. A Validated Real Function Calculus
469 -- 497Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans. PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata

Volume 5, Issue 3

245 -- 246Hirokazu Anai. Foreword
247 -- 262Xiaoliang Li, Chenqi Mou, Wei Niu, Dongming Wang. Stability Analysis for Discrete Biological Models Using Algebraic Methods
263 -- 288Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard. Embedding of Biological Regulatory Networks and Property Preservation
289 -- 301François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant. Model Reduction of Chemical Reaction Systems using Elimination
303 -- 314Hiroyuki Ichihara, Hirokazu Anai. An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems
315 -- 334Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai. A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design
335 -- 356Gabriel Dos Reis, Bjarne Stroustrup. A Principled, Complete, and Efficient Representation of C++

Volume 5, Issue 2

133 -- 170Yuri I. Manin, Matilde Marcolli. Error-Correcting Codes and Phase Transitions
171 -- 178Shmuel T. Klein, Dana Shapira. Huffman Coding with Non-Sorted Frequencies
179 -- 194Jean-Charles Faugère, Ye Liang. Pivoting in Extended Rings for Computing Approximate Gröbner Bases
195 -- 207Mingfu Zhu, Guangran Jiang, Shuhong Gao. Solving the 100 Swiss Francs Problem
209 -- 221Silvia Gandy, Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama. Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition
223 -- 235Bert Jüttler, Brian Moore. A Quadratic Clipping Step with Superquadratic Convergence for Bivariate Polynomial Systems
237 -- 243Sanjay Kumar Khattri. Optimal Eighth Order Iterative Methods

Volume 5, Issue 1

1 -- 2Mirka Miller, Bharati Rajan, Joe Ryan 0001. Foreword
3 -- 6B. D. Acharya. Supra-Hereditary Properties of Hypergraphs
7 -- 10Basavanagoud Bommanahal, Keerthi G. Mirajkar. On Plick Graphs with Coarseness Number One
11 -- 20Ljiljana Brankovic, Ian M. Wanless. Graceful Labelling: State of the Art, Applications and Future Directions
21 -- 25Roman Cada, Evelyne Flandrin, Haiyan Kang. A Note on Degree Conditions for Traceability in Locally Claw-Free Graphs
27 -- 39Pranay Chaudhuri, Hussein Thompson. Improved Self-Stabilizing Algorithms for L(2, 1)-Labeling Tree Networks
41 -- 50Rikio Ichishima, Akito Oshima. On Partitional and Other Related Graphs
51 -- 62J. Jeba Jesintha, G. Sethuraman. All Arbitrarily Fixed Generalized Banana Trees Are Graceful
63 -- 68Susana-Clara López, Francesc A. Muntaner-Batle, Miquel Rius-Font. Super Edge-Magic Models
69 -- 80Allen O'Neal, Peter J. Slater. An Introduction to Closed/Open Neighborhood Sums: Minimax, Maximin, and Spread
81 -- 87Oudone Phanalasy, Mirka Miller, Costas S. Iliopoulos, Solon P. Pissis, Elaheh Vaezpour. Construction of Antimagic Labeling for the Cartesian Product of Regular Graphs
89 -- 99Bharati Rajan, K. T. Sonia, Chris Monica M.. Conditional Resolvability of Honeycomb and Hexagonal Networks
101 -- 111Indra Rajasingh, Micheal Arockiaraj. Linear Wirelength of Folded Hypercubes
113 -- 118Kiki A. Sugeng, Joseph F. Ryan 0001. Clique Vertex Magic Cover of a Graph
119 -- 132Rahnuma Islam Nishat, Debajyoti Mondal, Md. Saidur Rahman 0001. Visibility Drawings of Plane 3-Trees with Minimum Area