Journal: Mathematics in Computer Science

Volume 6, Issue 4

345 -- 0Stefan Ratschan, Thomas Sturm. Foreword
347 -- 359Luc Jaulin. Combining Interval Analysis with Flatness Theory for State Estimation of Sailboat Robots
361 -- 374Yanli Huang, L. X. Châu Ngô, Franz Winkler. Rational General Solutions of Trivariate Rational Differential Systems
375 -- 393Vladimir Anashin. The Non-Archimedean Theory of Discrete Systems
395 -- 408Jiang Liu 0009, Naijun Zhan, Hengjun Zhao. Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems
409 -- 425Arnaud Fietzke, Christoph Weidenbach. Superposition as a Decision Procedure for Timed Automata
427 -- 456Evgeny Kruglov, Christoph Weidenbach. Superposition Decides the First-Order Logic Fragment Over Ground Theories
457 -- 473Marc Moreno Maza, Bican Xia, Rong Xiao. On Solving Parametric Polynomial Systems
475 -- 497Luís Soares Barbosa, Sun Meng. A Calculus for Generic, QoS-Aware Component Composition

Volume 6, Issue 3

199 -- 215Matilde Marcolli, Christopher Perez. Codes as Fractals and Noncommutative Spaces
217 -- 233Sébastien Orange, Guénaël Renault, Kazuhiro Yokoyama. Efficient Arithmetic in Successive Algebraic Extension Fields Using Symmetries
235 -- 260Michael Kohlhase, Florian Rabe. Semantics of OpenMath and MathML3
261 -- 266Franz Aurenhammer, Bert Jüttler. On Computing the Convex Hull of (Piecewise) Curved Objects
267 -- 268Hongbo Li, Rida T. Farouki, DingKang Wang. Foreword to the Special Focus on Mathematics and Algorithms for CAM and CNC
269 -- 279Alessandro Gasparetto, Paolo Boscariol, Albano Lanzutti, Renato Vidoni. Trajectory Planning in Robotics
281 -- 296Hongbo Li, Shoubin Yao, Ge Li, Yuanjie Liu, Lixian Zhang. Power Series Solution for Isoscallop Tool Path Generation on Free-form Surface with Ball-end Cutter
297 -- 313Stephen P. Radzevich. The DG/K-Based Approach for Synthesizing of CAM System for Sculptured Surface Machining on Multi-Axis NC Machine
315 -- 326Yongqing Wang, Haibo Liu, Sennan Yu. Curvature-Based Real-Time NURBS Surface Interpolator with Look-Ahead ACC/DEC Control
327 -- 344Hongbo Li, Xiao-Shan Gao, Lixian Zhang, Ruiyong Sun. Discrete Interpolation of G01 Codes in 2D Machining under Bounded Accelerations

Volume 6, Issue 2

107 -- 108Ilias S. Kotsireas, Irene Marquez Corbella, Edgar Martínez-Moro. Foreword
109 -- 120Relinde Jurrius. Relations Between Möbius and Coboundary Polynomials
121 -- 133Relinde Jurrius, Ruud Pellikaan. Truncation Formulas for Invariant Polynomials of Matroids and Geometric Lattices
135 -- 146Gary Gordon. On Brylawski's Generalized Duality
147 -- 165Irene Marquez Corbella, Edgar Martínez-Moro. Decomposition of Modular Codes for Computing Test Sets and Graver Basis
167 -- 180Urszula Romanczuk, Vasyl Ustimenko. On Families of Graphs of Large Cycle Indicator, Matrices of Large Order and Key Exchange Protocols With Nonlinear Polynomial Maps of Small Degree
181 -- 198Michal Klisowski, Vasyl Ustimenko. On the Comparison of Cryptographical Properties of Two Different Families of Graphs with Large Cycle Indicator

Volume 6, Issue 1

1 -- 32Marc Hellmuth, Lydia Ostermeier, Peter F. Stadler. A Survey on Hypergraph Products
33 -- 41Akul Rana, Anita Pal, Madhumangal Pal. The Conditional Covering Problem on Unweighted Interval Graphs with Nonuniform Coverage Radius
43 -- 59Samuel Lundqvist. Multiplication Matrices and Ideals of Projective Dimension Zero
61 -- 77Peter Horn, Wolfram Koepf, Torsten Sprenger. m-Fold Hypergeometric Solutions of Linear Recurrence Equations Revisited
79 -- 105John Michael Nahay. nth Order Implicit Differentiation Formula for Two Variables with an Application to Computing All Roots of a Transcendental Function