Mathematical Aspects of Computer and Information Sciences

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Automated Reasoning for Knot Semigroups and  $$\pi $$ π -orbifold Groups of Knots
3. Altmetric Badge
   Chapter 2 Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation
4. Altmetric Badge
   Chapter 3 Certification Using Newton-Invariant Subspaces
5. Altmetric Badge
   Chapter 4 Decomposition of Low Rank Multi-symmetric Tensor
6. Altmetric Badge
   Chapter 5 Dimension Quasi-polynomials of Inversive Difference Field Extensions with Weighted Translations
7. Altmetric Badge
   Chapter 6 Efficient Certification of Numeric Solutions to Eigenproblems
8. Altmetric Badge
   Chapter 7 Fast Chinese Remaindering in Practice
9. Altmetric Badge
   Chapter 8 Homotopies for Connected Components of Algebraic Sets with Application to Computing Critical Sets
10. Altmetric Badge
    Chapter 9 Implementing Fast Carryless Multiplication
11. Altmetric Badge
    Chapter 10 Improving Enclosure of Interval Scalar Projection Operation
12. Altmetric Badge
    Chapter 11 Integrating Algebraic and SAT Solvers
13. Altmetric Badge
    Chapter 12 Isabelle Formalization of Set Theoretic Structures and Set Comprehensions
14. Altmetric Badge
    Chapter 13 Jordan Canonical Form with Parameters from Frobenius Form with Parameters
15. Altmetric Badge
    Chapter 14 Knowledge-Based Interoperability for Mathematical Software Systems
16. Altmetric Badge
    Chapter 15 On Interval Methods with Zero Rewriting and Exact Geometric Computation
17. Altmetric Badge
    Chapter 16 Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients
18. Altmetric Badge
    Chapter 17 Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases
19. Altmetric Badge
    Chapter 18 On Real Roots Counting for Non-radical Parametric Ideals
20. Altmetric Badge
    Chapter 19 On the Bit-Size of Non-radical Triangular Sets
21. Altmetric Badge
    Chapter 20 Rapidly Convergent Integrals and Function Evaluation
22. Altmetric Badge
    Chapter 21 Stirling Numbers, Lambert W and the Gamma Function
23. Altmetric Badge
    Chapter 22 The Potential and Challenges of CAD with Equational Constraints for SC-Square
24. Altmetric Badge
    Chapter 23 New Small 4-Designs with Nonabelian Automorphism Groups
25. Altmetric Badge
    Chapter 24 On Classifying Steiner Triple Systems by Their 3-Rank
26. Altmetric Badge
    Chapter 25 Right-Justified Characterization for Generating Regular Pattern Avoiding Permutations
27. Altmetric Badge
    Chapter 26 Experimental Study of the Ehrhart Interpolation Polytope
28. Altmetric Badge
    Chapter 27 On Testing Isomorphism of Graphs of Bounded Eigenvalue Multiplicity
29. Altmetric Badge
    Chapter 28 A Simple Streaming Bit-Parallel Algorithm for Swap Pattern Matching
30. Altmetric Badge
    Chapter 29 Epidemic Intelligence Statistical Modelling for Biosurveillance
31. Altmetric Badge
    Chapter 30 Mining Acute Stroke Patients’ Data Using Supervised Machine Learning
32. Altmetric Badge
    Chapter 31 Parallel and Robust Empirical Risk Minimization via the Median Trick
33. Altmetric Badge
    Chapter 32 Leakage-Resilient Riffle Shuffle
34. Altmetric Badge
    Chapter 33 Ordinary Pairing-Friendly Genus 2 Hyperelliptic Curves with Absolutely Simple Jacobians
35. Altmetric Badge
    Chapter 34 Statistical Testing of PRNG: Generalized Gambler’s Ruin Problem
36. Altmetric Badge
    Chapter 35 Subtleties in Security Definitions for Predicate Encryption with Public Index
37. Altmetric Badge
    Chapter 36 Code-Based Key Encapsulation from McEliece’s Cryptosystem