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.
- Current Challenges in Developing Open Source Computer Algebra Systems (Q2807814) (← links)
- Exploiting Structure in Floating-Point Arithmetic (Q2807815) (← links)
- Symbolic Geometric Reasoning with Advanced Invariant Algebras (Q2807816) (← links)
- Congruence Testing of Point Sets in Three and Four Dimensions (Q2807817) (← links)
- Mesh Reduction to Exterior Surface Parts via Random Convex-Edge Affine Features (Q2807819) (← links)
- Numeric and Certified Isolation of the Singularities of the Projection of a Smooth Space Curve (Q2807820) (← links)
- Linear k-Monotonicity Preserving Algorithms and Their Approximation Properties (Q2807821) (← links)
- Workspace Multiplicity and Fault Tolerance of Cooperating Robots (Q2807823) (← links)
- Numerical Local Irreducible Decomposition (Q2807824) (← links)
- Computing the Chow Variety of Quadratic Space Curves (Q2807825) (← links)
- Numerically Testing Generically Reduced Projective Schemes for the Arithmetic Gorenstein Property (Q2807826) (← links)
- Some Results Concerning the Explicit Isomorphism Problem over Number Fields (Q2807827) (← links)
- Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures (Q2807830) (← links)
- Short Group Signatures with Distributed Traceability (Q2807832) (← links)
- On the Optimality of Differential Fault Analyses on CLEFIA (Q2807834) (← links)
- $$H^3$$ and $$H^4$$ Regularities of the Poisson Equation on Polygonal Domains (Q2807835) (← links)
- Explicit Error Bound for Modified Numerical Iterated Integration by Means of Sinc Methods (Q2807836) (← links)
- Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator (Q2807837) (← links)
- Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval (Q2807839) (← links)
- Improving a CGS-QE Algorithm (Q2807840) (← links)
- Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas (Q2807841) (← links)
- Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Gröbner Bases (Q2807842) (← links)
- Advanced Algebraic Attack on Trivium (Q2807844) (← links)
- Compressing Big Data: When the Rate of Convergence to the Entropy Matters (Q2807846) (← links)
- Trends in Temporal Reasoning: Constraints, Graphs and Posets (Q2807847) (← links)
- Reconstructing a Sparse Solution from a Compressed Support Vector Machine (Q2807849) (← links)
- Subquadratic-Time Algorithms for Abelian Stringology Problems (Q2807851) (← links)
- Simple Differential Field Extensions and Effective Bounds (Q2807852) (← links)
- A New Bound for the Existence of Differential Field Extensions (Q2807853) (← links)
- Dimension Polynomials of Intermediate Fields of Inversive Difference Field Extensions (Q2807854) (← links)
- A “Polynomial Shifting” Trick in Differential Algebra (Q2807855) (← links)
- Searching for Geometric Theorems Using Features Retrieved from Diagrams (Q2807857) (← links)
- New Method for Instance Feature Selection Using Redundant Features for Biological Data (Q2807861) (← links)
- Faceted Search for Mathematics (Q2807863) (← links)
- Evaluation of a Predictive Algorithm for Converting Linear Strings to Mathematical Formulae for an Input Method (Q2807864) (← links)
- Linear Programs and Convex Hulls Over Fields of Puiseux Fractions (Q2807865) (← links)
- Another Classroom Example of Robustness Problems in Planar Convex Hull Computation (Q2807866) (← links)
- Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: Problems and Solutions (Q2807867) (← links)
- Rigorous Numerical Computation of Polynomial Differential Equations Over Unbounded Domains (Q2807868) (← links)
- Using Taylor Models in Exact Real Arithmetic (Q2807869) (← links)
- On the Computational Complexity of Positive Linear Functionals on $$\mathcal{C}[0;1]$$ (Q2807870) (← links)
- Average-Case Bit-Complexity Theory of Real Functions (Q2807871) (← links)
- Certifying Trajectories of Dynamical Systems (Q2807872) (← links)
- A New Matrix Splitting Based Relaxation for the Quadratic Assignment Problem (Q2807873) (← links)
- Global Optimization of $$H_\infty $$ Problems: Application to Robust Control Synthesis Under Structural Constraints (Q2807874) (← links)
- Global Optimization Based on Contractor Programming: An Overview of the IBEX Library (Q2807875) (← links)
- The Bernstein Branch-and-Prune Algorithm for Constrained Global Optimization of Multivariate Polynomial MINLPs (Q2807876) (← links)
- Maximum Likelihood Estimates for Gaussian Mixtures Are Transcendental (Q2807877) (← links)
- On the Quality of Some Root-Bounds (Q2807878) (← links)
- Relative Hilbert-Post Completeness for Exceptions (Q2807879) (← links)