33 results on '"ELIMINATION (Mathematics)"'
Search Results
2. An unambiguous correlation function for generic sine-phased binary offset carrier signal tracking.
3. Plus ultra.
4. AUTOMATED THEOREM PROVING IN PROJECTIVE GEOMETRY WITH BRACKET ALGEBRA.
5. Fast and scalable rendezvousing.
6. The rolling ball problem on the plane revisited.
7. Automatic computation of the complete root classification for a parametric polynomial
8. Syntactic cut-elimination for common knowledge
9. Relationships Between Two Approaches: Rigged Configurations and 10-Eliminations.
10. Bidiagonal factorizations and quasi-oscillatory rectangular matrices
11. Combining multivariate voxel selection and support vector machines for mapping and classification of fMRI spatial patterns
12. Strong normalization of classical natural deduction with disjunctions
13. Sequent Calculi for Some Strict Implication Logics.
14. Cut elimination for a simple formulation of epsilon calculus
15. Investigation of the role of the base in the synthesis of [18F]FLT
16. General Jacobi Identity Revisited Again.
17. Functionalized Cyclobutanes via Heck Cyclization.
18. Strongly simplicial vertices of powers of trees
19. Obtaining shorter regular expressions from finite-state automata
20. The symmetric group given by a Gröbner basis
21. A Connection Between Cut Elimination and Normalization.
22. MP2 study of substituent effects of 2-substituted alkyl ethyl methylcarbamates in homogeneous, unimolecular gas phase elimination reaction
23. A term calculus for (co-)recursive definitions on streamlike data structures
24. Geometric axioms for existentially closed Hasse fields
25. Adiabatic elimination, the rotating-wave approximation and two-photon transitions
26. A DFT study on the intramolecular dissociation pathways of ethyl fluoroformate radical cation in the gas phase; II. Keto path.
27. Sequenced elimination–reduction and elimination–cyclopropanation reactions of 2,3-epoxyamides promoted by samarium diiodide. Synthesis of 2,3-dideuterioamides and cyclopropanamides
28. A TOTALLY POSITIVE FACTORIZATION OF RECTANGULAR MATRICES BY THE NEVILLE ELIMINATION.
29. Simultaneous backward stability of Gauss and Gauss–Jordan elimination.
30. Non-effective Quantifier Elimination.
31. On P Versus NP for Parameter-Free Programs Over Algebraic Structures.
32. A Nonlinear Least-Squares Approach for Identification of the Induction Motor Parameters.
33. Constant scoring rules, Condorcet criteria and single-peaked preferences.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.