Mathematical Aspects of Computer and Information Sciences

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Current Challenges in Developing Open Source Computer Algebra Systems
3. Altmetric Badge
   Chapter 2 Exploiting Structure in Floating-Point Arithmetic
4. Altmetric Badge
   Chapter 3 Symbolic Geometric Reasoning with Advanced Invariant Algebras
5. Altmetric Badge
   Chapter 4 Congruence Testing of Point Sets in Three and Four Dimensions
6. Altmetric Badge
   Chapter 5 Mesh Reduction to Exterior Surface Parts via Random Convex-Edge Affine Features
7. Altmetric Badge
   Chapter 6 Numeric and Certified Isolation of the Singularities of the Projection of a Smooth Space Curve
8. Altmetric Badge
   Chapter 7 Linear k -Monotonicity Preserving Algorithms and Their Approximation Properties
9. Altmetric Badge
   Chapter 8 Workspace Multiplicity and Fault Tolerance of Cooperating Robots
10. Altmetric Badge
    Chapter 9 Numerical Local Irreducible Decomposition
11. Altmetric Badge
    Chapter 10 Computing the Chow Variety of Quadratic Space Curves
12. Altmetric Badge
    Chapter 11 Numerically Testing Generically Reduced Projective Schemes for the Arithmetic Gorenstein Property
13. Altmetric Badge
    Chapter 12 Some Results Concerning the Explicit Isomorphism Problem over Number Fields
14. Altmetric Badge
    Chapter 13 Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures
15. Altmetric Badge
    Chapter 14 Short Group Signatures with Distributed Traceability
16. Altmetric Badge
    Chapter 15 On the Optimality of Differential Fault Analyses on CLEFIA
17. Altmetric Badge
    Chapter 16 $$H^3$$ and $$H^4$$ Regularities of the Poisson Equation on Polygonal Domains
18. Altmetric Badge
    Chapter 17 Explicit Error Bound for Modified Numerical Iterated Integration by Means of Sinc Methods
19. Altmetric Badge
    Chapter 18 Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator
20. Altmetric Badge
    Chapter 19 Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval
21. Altmetric Badge
    Chapter 20 Improving a CGS-QE Algorithm
22. Altmetric Badge
    Chapter 21 Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas
23. Altmetric Badge
    Chapter 22 Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Gröbner Bases
24. Altmetric Badge
    Chapter 23 Advanced Algebraic Attack on Trivium
25. Altmetric Badge
    Chapter 24 Compressing Big Data: When the Rate of Convergence to the Entropy Matters
26. Altmetric Badge
    Chapter 25 Trends in Temporal Reasoning: Constraints, Graphs and Posets
27. Altmetric Badge
    Chapter 26 Reconstructing a Sparse Solution from a Compressed Support Vector Machine
28. Altmetric Badge
    Chapter 27 Subquadratic-Time Algorithms for Abelian Stringology Problems
29. Altmetric Badge
    Chapter 28 Using Statistical Search to Discover Semantic Relations of Political Lexica – Evidences from Bulgarian-Slovak EUROPARL 7 Corpus
30. Altmetric Badge
    Chapter 29 Simple Differential Field Extensions and Effective Bounds
31. Altmetric Badge
    Chapter 30 A New Bound for the Existence of Differential Field Extensions
32. Altmetric Badge
    Chapter 31 Dimension Polynomials of Intermediate Fields of Inversive Difference Field Extensions
33. Altmetric Badge
    Chapter 32 A “Polynomial Shifting” Trick in Differential Algebra
34. Altmetric Badge
    Chapter 33 Searching for Geometric Theorems Using Features Retrieved from Diagrams
35. Altmetric Badge
    Chapter 34 New Method for Instance Feature Selection Using Redundant Features for Biological Data
36. Altmetric Badge
    Chapter 35 Faceted Search for Mathematics
37. Altmetric Badge
    Chapter 36 Evaluation of a Predictive Algorithm for Converting Linear Strings to Mathematical Formulae for an Input Method
38. Altmetric Badge
    Chapter 37 Linear Programs and Convex Hulls Over Fields of Puiseux Fractions
39. Altmetric Badge
    Chapter 38 Another Classroom Example of Robustness Problems in Planar Convex Hull Computation
40. Altmetric Badge
    Chapter 39 Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: Problems and Solutions
41. Altmetric Badge
    Chapter 40 Rigorous Numerical Computation of Polynomial Differential Equations Over Unbounded Domains
42. Altmetric Badge
    Chapter 41 Using Taylor Models in Exact Real Arithmetic
43. Altmetric Badge
    Chapter 42 On the Computational Complexity of Positive Linear Functionals on $$\mathcal{C}[0;1]$$
44. Altmetric Badge
    Chapter 43 Average-Case Bit-Complexity Theory of Real Functions
45. Altmetric Badge
    Chapter 44 Certifying Trajectories of Dynamical Systems
46. Altmetric Badge
    Chapter 45 A New Matrix Splitting Based Relaxation for the Quadratic Assignment Problem
47. Altmetric Badge
    Chapter 46 Global Optimization of $$H_\infty $$ Problems: Application to Robust Control Synthesis Under Structural Constraints
48. Altmetric Badge
    Chapter 47 Global Optimization Based on Contractor Programming: An Overview of the IBEX Library
49. Altmetric Badge
    Chapter 48 The Bernstein Branch-and-Prune Algorithm for Constrained Global Optimization of Multivariate Polynomial MINLPs
50. Altmetric Badge
    Chapter 49 Maximum Likelihood Estimates for Gaussian Mixtures Are Transcendental
51. Altmetric Badge
    Chapter 50 On the Quality of Some Root-Bounds
52. Altmetric Badge
    Chapter 51 Relative Hilbert-Post Completeness for Exceptions
53. Altmetric Badge
    Chapter 52 Optimal Coverage in Automotive Configuration