Entity usage
From MaRDI portal
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 22 results in range #1 to #22.
- Hierarchical Representations with Signatures for Large Expression Management: Label: en
- A Search Engine for Mathematical Formulae: Label: en
- Finding Relations Among Linear Constraints: Label: en
- Using Hajós’ Construction to Generate Hard Graph 3-Colorability Instances: Label: en
- Constraints for Continuous Reachability in the Verification of Hybrid Systems: Label: en
- Solving Dynamic Geometric Constraints Involving Inequalities: Label: en
- Operator Calculus Approach to Solving Analytic Systems: Label: en
- Implicitization of Rational Curves: Label: en
- On the Mixed Cayley-Sylvester Resultant Matrix: Label: en
- Quantifier Elimination for Quartics: Label: en
- An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial: Label: en
- A Full System of Invariants for Third-Order Linear Partial Differential Operators: Label: en
- A New Definition for Passivity and Its Relation to Coherence: Label: en
- Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer: Label: en
- The Confluence Problem for Flat TRSs: Label: en
- Extension of First-Order Theories into Trees: Label: en
- Enhanced Theorem Reuse by Partial Theory Inclusions: Label: en
- Labeled @-Calculus: Formalism for Time-Concerned Human Factors: Label: en
- Semantic Guidance for Saturation Provers: Label: en
- An Inductive Inference System and Its Rationality: Label: en
- Algebra and Geometry: Label: en
- Interactive Mathematical Documents: Label: en
