Pages that link to "Item:Q2807813"
From MaRDI portal
The following pages link to Mathematical Aspects of Computer and Information Sciences (Q2807813):
Displayed 50 items.
- Optimal Coverage in Automotive Configuration (Q2807882) (← links)
- Automated Reasoning for Knot Semigroups and $$\pi $$ π -orbifold Groups of Knots (Q4628476) (← links)
- Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation (Q4628478) (← links)
- Certification Using Newton-Invariant Subspaces (Q4628479) (← links)
- Decomposition of Low Rank Multi-symmetric Tensor (Q4628480) (← links)
- Dimension Quasi-polynomials of Inversive Difference Field Extensions with Weighted Translations (Q4628481) (← links)
- Efficient Certification of Numeric Solutions to Eigenproblems (Q4628482) (← links)
- Fast Chinese Remaindering in Practice (Q4628483) (← links)
- Homotopies for Connected Components of Algebraic Sets with Application to Computing Critical Sets (Q4628484) (← links)
- Implementing Fast Carryless Multiplication (Q4628485) (← links)
- Improving Enclosure of Interval Scalar Projection Operation (Q4628486) (← links)
- Integrating Algebraic and SAT Solvers (Q4628487) (← links)
- Isabelle Formalization of Set Theoretic Structures and Set Comprehensions (Q4628488) (← links)
- Jordan Canonical Form with Parameters from Frobenius Form with Parameters (Q4628489) (← links)
- Knowledge-Based Interoperability for Mathematical Software Systems (Q4628490) (← links)
- On Interval Methods with Zero Rewriting and Exact Geometric Computation (Q4628491) (← links)
- Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients (Q4628492) (← links)
- Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases (Q4628493) (← links)
- On Real Roots Counting for Non-radical Parametric Ideals (Q4628494) (← links)
- On the Bit-Size of Non-radical Triangular Sets (Q4628495) (← links)
- Rapidly Convergent Integrals and Function Evaluation (Q4628497) (← links)
- Stirling Numbers, Lambert W and the Gamma Function (Q4628499) (← links)
- The Potential and Challenges of CAD with Equational Constraints for SC-Square (Q4628500) (← links)
- New Small 4-Designs with Nonabelian Automorphism Groups (Q4628501) (← links)
- On Classifying Steiner Triple Systems by Their 3-Rank (Q4628502) (← links)
- Right-Justified Characterization for Generating Regular Pattern Avoiding Permutations (Q4628503) (← links)
- Experimental Study of the Ehrhart Interpolation Polytope (Q4628504) (← links)
- On Testing Isomorphism of Graphs of Bounded Eigenvalue Multiplicity (Q4628505) (← links)
- A Simple Streaming Bit-Parallel Algorithm for Swap Pattern Matching (Q4628506) (← links)
- Epidemic Intelligence Statistical Modelling for Biosurveillance (Q4628508) (← links)
- Parallel and Robust Empirical Risk Minimization via the Median Trick (Q4628510) (← links)
- Leakage-Resilient Riffle Shuffle (Q4628511) (← links)
- Ordinary Pairing-Friendly Genus 2 Hyperelliptic Curves with Absolutely Simple Jacobians (Q4628512) (← links)
- Statistical Testing of PRNG: Generalized Gambler’s Ruin Problem (Q4628514) (← links)
- Subtleties in Security Definitions for Predicate Encryption with Public Index (Q4628515) (← links)
- Code-Based Key Encapsulation from McEliece’s Cryptosystem (Q4628516) (← links)
- Certified Hermite Matrices from Approximate Roots - Univariate Case (Q5014656) (← links)
- On Parametric Border Bases (Q5014657) (← links)
- Reliable Computation of the Singularities of the Projection in $$\mathbb R^3$$ of a Generic Surface of $$\mathbb R^4$$ (Q5014658) (← links)
- Evaluation of Chebyshev Polynomials on Intervals and Application to Root Finding (Q5014660) (← links)
- Proving Two Conjectural Series for $$\zeta (7)$$ and Discovering More Series for $$\zeta (7)$$ (Q5014661) (← links)
- Generalized Integral Dependence Relations (Q5014662) (← links)
- Hilbert-Type Dimension Polynomials of Intermediate Difference-Differential Field Extensions (Q5014663) (← links)
- Comprehensive LU Factors of Polynomial Matrices (Q5014666) (← links)
- Sublinear Cost Low Rank Approximation via Subspace Sampling (Q5014667) (← links)
- CUR LRA at Sublinear Cost Based on Volume Maximization (Q5014668) (← links)
- New Practical Advances in Polynomial Root Clustering (Q5014669) (← links)
- On the Chordality of Simple Decomposition in Top-Down Style (Q5014670) (← links)
- Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema (Q5014671) (← links)
- Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical Systems (Q5014672) (← links)