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

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