14 results on '"ELIMINATION (Mathematics)"'
Search Results
2. Automatic computation of the complete root classification for a parametric polynomial
3. Syntactic cut-elimination for common knowledge
4. Strong normalization of classical natural deduction with disjunctions
5. Cut elimination for a simple formulation of epsilon calculus
6. Strongly simplicial vertices of powers of trees
7. The symmetric group given by a Gröbner basis
8. A term calculus for (co-)recursive definitions on streamlike data structures
9. Geometric axioms for existentially closed Hasse fields
10. A Nonlinear Least-Squares Approach for Identification of the Induction Motor Parameters.
11. An unambiguous correlation function for generic sine-phased binary offset carrier signal tracking.
12. Constant scoring rules, Condorcet criteria and single-peaked preferences.
13. Bidiagonal factorizations and quasi-oscillatory rectangular matrices
14. Obtaining shorter regular expressions from finite-state automata
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.