Mathematical Aspects of Computer and Information Sciences : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015, held in Berlin, Germany, in November 2015. The 48 revised papers presented together with 7 invited papers were carefully reviewed and selected from numerous submissions. The papers are grouped in topical sections on curves and surfaces, applied algebraic geometry, cryptography, verified numerical computation, polynomial system solving, managing massive data, computational theory of differential and difference equations, data and knowledge exploration, algorithm engineering in geometric computing, real complexity: theory and practice, global optimization, and general session. Front Matter....Pages I-XXIII Front Matter....Pages 1-1 Current Challenges in Developing Open Source Computer Algebra Systems....Pages 3-24 Exploiting Structure in Floating-Point Arithmetic....Pages 25-34 Symbolic Geometric Reasoning with Advanced Invariant Algebras....Pages 35-49 Congruence Testing of Point Sets in Three and Four Dimensions....Pages 50-59 Front Matter....Pages 61-61 Mesh Reduction to Exterior Surface Parts via Random Convex-Edge Affine Features....Pages 63-77 Numeric and Certified Isolation of the Singularities of the Projection of a Smooth Space Curve....Pages 78-92 Linear k-Monotonicity Preserving Algorithms and Their Approximation Properties....Pages 93-106 Front Matter....Pages 107-107 Workspace Multiplicity and Fault Tolerance of Cooperating Robots....Pages 109-123 Numerical Local Irreducible Decomposition....Pages 124-129 Computing the Chow Variety of Quadratic Space Curves....Pages 130-136 Numerically Testing Generically Reduced Projective Schemes for the Arithmetic Gorenstein Property....Pages 137-142 Some Results Concerning the Explicit Isomorphism Problem over Number Fields....Pages 143-148 Front Matter....Pages 149-149 Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures....Pages 151-165 Short Group Signatures with Distributed Traceability....Pages 166-180 On the Optimality of Differential Fault Analyses on CLEFIA....Pages 181-196 Front Matter....Pages 197-197 Explicit Error Bound for Modified Numerical Iterated Integration by Means of Sinc Methods....Pages 199-201 Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator....Pages 202-217 Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval....Pages 218-223 Front Matter....Pages 224-228 Improving a CGS-QE Algorithm....Pages 229-229 Front Matter....Pages 231-235 Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas....Pages 229-229 Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Gröbner Bases....Pages 236-251 Advanced Algebraic Attack on Trivium....Pages 252-267 Front Matter....Pages 268-282 Compressing Big Data: When the Rate of Convergence to the Entropy Matters....Pages 283-283 Trends in Temporal Reasoning: Constraints, Graphs and Posets....Pages 285-289 Reconstructing a Sparse Solution from a Compressed Support Vector Machine....Pages 290-304 Subquadratic-Time Algorithms for Abelian Stringology Problems....Pages 305-319 Using Statistical Search to Discover Semantic Relations of Political Lexica – Evidences from Bulgarian-Slovak EUROPARL 7 Corpus....Pages 320-334 Front Matter....Pages 335-339 Simple Differential Field Extensions and Effective Bounds....Pages 341-341 A New Bound for the Existence of Differential Field Extensions....Pages 343-357 Dimension Polynomials of Intermediate Fields of Inversive Difference Field Extensions....Pages 358-361 A “Polynomial Shifting” Trick in Differential Algebra....Pages 362-376 Front Matter....Pages 377-379 Searching for Geometric Theorems Using Features Retrieved from Diagrams....Pages 381-381 New Method for Instance Feature Selection Using Redundant Features for Biological Data....Pages 383-397 Faceted Search for Mathematics....Pages 398-405 Evaluation of a Predictive Algorithm for Converting Linear Strings to Mathematical Formulae for an Input Method....Pages 406-420 Front Matter....Pages 421-425 Linear Programs and Convex Hulls Over Fields of Puiseux Fractions....Pages 427-427 Another Classroom Example of Robustness Problems in Planar Convex Hull Computation....Pages 429-445 Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: Problems and Solutions....Pages 446-450 Front Matter....Pages 451-465 Rigorous Numerical Computation of Polynomial Differential Equations Over Unbounded Domains....Pages 467-467 Front Matter....Pages 469-473 Using Taylor Models in Exact Real Arithmetic....Pages 467-467 Average-Case Bit-Complexity Theory of Real Functions....Pages 474-488 Certifying Trajectories of Dynamical Systems....Pages 489-504 Front Matter....Pages 505-519 A New Matrix Splitting Based Relaxation for the Quadratic Assignment Problem....Pages 520-532 Global Optimization Based on Contractor Programming: An Overview of the IBEX Library....Pages 533-533 The Bernstein Branch-and-Prune Algorithm for Constrained Global Optimization of Multivariate Polynomial MINLPs....Pages 535-549 Front Matter....Pages 550-554 Maximum Likelihood Estimates for Gaussian Mixtures Are Transcendental....Pages 555-559 On the Quality of Some Root-Bounds....Pages 560-575 Relative Hilbert-Post Completeness for Exceptions....Pages 577-577 Optimal Coverage in Automotive Configuration....Pages 579-590 Back Matter....Pages 591-595 ....Pages 596-610