Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #51 to #100.

Stirling Numbers, Lambert W and the Gamma Function: Label: en
Rapidly Convergent Integrals and Function Evaluation: Label: en
On the Bit-Size of Non-radical Triangular Sets: Label: en
On Real Roots Counting for Non-radical Parametric Ideals: Label: en
Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases: Label: en
Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients: Label: en
On Interval Methods with Zero Rewriting and Exact Geometric Computation: Label: en
Knowledge-Based Interoperability for Mathematical Software Systems: Label: en
Jordan Canonical Form with Parameters from Frobenius Form with Parameters: Label: en
Isabelle Formalization of Set Theoretic Structures and Set Comprehensions: Label: en
Integrating Algebraic and SAT Solvers: Label: en
Improving Enclosure of Interval Scalar Projection Operation: Label: en
Implementing Fast Carryless Multiplication: Label: en
Homotopies for Connected Components of Algebraic Sets with Application to Computing Critical Sets: Label: en
Fast Chinese Remaindering in Practice: Label: en
Efficient Certification of Numeric Solutions to Eigenproblems: Label: en
Dimension Quasi-polynomials of Inversive Difference Field Extensions with Weighted Translations: Label: en
Decomposition of Low Rank Multi-symmetric Tensor: Label: en
Certification Using Newton-Invariant Subspaces: Label: en
Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation: Label: en
Automated Reasoning for Knot Semigroups and $$\pi $$ π -orbifold Groups of Knots: Label: en
Optimal Coverage in Automotive Configuration: Label: en
Relative Hilbert-Post Completeness for Exceptions: Label: en
On the Quality of Some Root-Bounds: Label: en
Maximum Likelihood Estimates for Gaussian Mixtures Are Transcendental: Label: en
The Bernstein Branch-and-Prune Algorithm for Constrained Global Optimization of Multivariate Polynomial MINLPs: Label: en
Global Optimization Based on Contractor Programming: An Overview of the IBEX Library: Label: en
Global Optimization of $$H_\infty $$ Problems: Application to Robust Control Synthesis Under Structural Constraints: Label: en
A New Matrix Splitting Based Relaxation for the Quadratic Assignment Problem: Label: en
Certifying Trajectories of Dynamical Systems: Label: en
Average-Case Bit-Complexity Theory of Real Functions: Label: en
On the Computational Complexity of Positive Linear Functionals on $$\mathcal{C}[0;1]$$: Label: en
Using Taylor Models in Exact Real Arithmetic: Label: en
Rigorous Numerical Computation of Polynomial Differential Equations Over Unbounded Domains: Label: en
Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: Problems and Solutions: Label: en
Another Classroom Example of Robustness Problems in Planar Convex Hull Computation: Label: en
Linear Programs and Convex Hulls Over Fields of Puiseux Fractions: Label: en
Evaluation of a Predictive Algorithm for Converting Linear Strings to Mathematical Formulae for an Input Method: Label: en
Faceted Search for Mathematics: Label: en
New Method for Instance Feature Selection Using Redundant Features for Biological Data: Label: en
Searching for Geometric Theorems Using Features Retrieved from Diagrams: Label: en
A “Polynomial Shifting” Trick in Differential Algebra: Label: en
Dimension Polynomials of Intermediate Fields of Inversive Difference Field Extensions: Label: en
A New Bound for the Existence of Differential Field Extensions: Label: en
Simple Differential Field Extensions and Effective Bounds: Label: en
Subquadratic-Time Algorithms for Abelian Stringology Problems: Label: en
Reconstructing a Sparse Solution from a Compressed Support Vector Machine: Label: en
Trends in Temporal Reasoning: Constraints, Graphs and Posets: Label: en
Compressing Big Data: When the Rate of Convergence to the Entropy Matters: Label: en
Advanced Algebraic Attack on Trivium: Label: en