Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.
Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente
The 22 full papers included in this book were carefully reviewed and selected from 29 submissions. They focus on the theory of symbolic computation and its implementation in computer algebra systems as well as all other areas of scientific computing with regard to their benefit from or use of computer algebra methods and software.
Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions.- Generating Elementary Integrable Expressions.- How to Automatise Proofs of Operator Statements: Moore–Penrose Inverse a Case Study.- A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface.- Certified Study of Internal Solitary Waves.- Root-Squaring for Root-Finding.- Symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex Potential.- On the Complexity of Linear Algebra Operations over Algebraic Extension Fields.- Range Functions of Any Convergence Order and their Amortized Complexity Analysis.- Stability and Zero-Hopf Bifurcation Analysis of the Lorenz–Stenflo System Using Symbolic Methods.- Non-Principal Branches of Lambert W. A Tale of 2 circles.- On the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical System.- Solving Parametric Linear Systems Using Sparse Rational Function Interpolation.- On the Distance to the Nearest Defective Matrix.- Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals.- On the Structure and Generators of Differential Invariant Algebras.- An Algorithm for the Intersection Problem of Planar Parametric Curves.- A Symbolic-numeric Method for Solving the Poisson Equation in Polar Coordinates.- Two Variants of B´ezout Subresultants for Several Univariate Polynomials.- Efficient Quotients of Non-Commutative Polynomials.- Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems.
Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.