Cantitate/Preț
Produs
Total produse
Vezi coșul
Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers de Deepak Kapur

Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers: Lecture Notes in Computer Science, cartea 5081

Editat de Deepak Kapur
en Limba Engleză Paperback – 29 sep 2008

Sub coordonarea lui Deepak Kapur, un cercetător cu o contribuție marcantă în domeniul raționamentului automatizat și al verificării software-ului, volumul Computer Mathematics reunește cercetări avansate prezentate la cel de-al 8-lea Simpozion Asiatic de Matematică Computațională. Experiența editorului, reflectată și în lucrările sale anterioare precum Automated Reasoning sau Theoretical Aspects of Computing - ICTAC 2017, garantează o selecție riguroasă axată pe intersecția dintre rigoarea matematică și eficiența algoritmică.

Structura volumului este una tehnică și aplicativă, fiind împărțită în patru piloni fundamentali: algoritmi și implementări, metode numerice, criptologie și logică computațională. Remarcăm o atenție deosebită acordată manipulării polinoamelor, de la calculul valorilor Minkowski până la algoritmi de diviziune independenți de bază. Progresia materialului permite cititorului să treacă de la fundamente teoretice la studii de caz privind stabilitatea metodelor numerice, precum analiza stabilității pentru GPBiCG_AR sau evaluarea sistemelor de algebră computațională bazate pe Java.

Complementar lucrării Mathematical Software - ICMS 2016, care se concentrează pe infrastructura software pentru raționament matematic, acest volum pune accent pe dezvoltarea de algoritmi noi și pe optimizarea proceselor de calcul numeric și simbolic. În timp ce Effective Polynomial Computation oferă o introducere sistematică în algoritmi de algebră, lucrarea de față extinde aceste concepte către aplicații de nișă în criptologie și logică, oferind soluții pentru probleme de minimizare parametrică și normalizare Noether. Reținem faptul că această ediție revizuită reprezintă un punct de referință pentru cercetătorii care urmăresc evoluția metodelor computaționale în contextul inteligenței artificiale.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 62033 lei

Preț vechi: 77542 lei
-20%

Puncte Express: 930

Carte disponibilă

Livrare economică 04-18 iunie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783540878261
ISBN-10: 3540878262
Pagini: 358
Ilustrații: XI, 359 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.57 kg
Ediția:2008
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

De ce să citești această carte

Recomandăm acest volum cercetătorilor și studenților la doctorat care au nevoie de o bază solidă în matematica computațională aplicată. Cititorul câștigă acces la metode avansate de optimizare polinomială și algoritmi numerici rafinați, esențiali în dezvoltarea sistemelor moderne de inteligență artificială și criptografie. Este o resursă indispensabilă pentru cei care vor să înțeleagă implementările de ultimă oră ale logicii computaționale.

Cuprins

Algorithms and Implementations.- Computing the Minkowski Value of the Exponential Function over a Complex Disk.- Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact.- The Nearest Real Polynomial with a Real Multiple Zero in a Given Real Interval.- Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping.- Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?.- Basis-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis.- Computing the Greatest Common Divisor of Polynomials Using the Comrade Matrix.- Efficient Algorithms for Computing Nœther Normalization.- Stability of GPBiCG_AR Method Based on Minimization of Associate Residual.- Evaluation of a Java Computer Algebra System.- A New Property of Hamming Graphs and Mesh of d-ary Trees.- Numerical Methods and Applications.- An Interpolation Method That Minimizes an Energy Integral of Fractional Order.- Solving Biomechanical Model Using Third-Order Runge-Kutta Methods.- An Efficient Fourth Order Implicit Runge-Kutta Algorithm for Second Order Systems.- Laplace Equation Inside a Cylinder: Computational Analysis and Asymptotic Behavior of the Solution.- A Method and Its Implementation for Constructing Bäcklund Transformations to Nonlinear Evolution Equations.- On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators.- Symbolic Solution to Magnetohydrodynamic Hiemenz Flow in Porous Media.- Local Similarity Solutions for Laminar Boundary Layer Flow along a Moving Cylinder in a Parallel Stream.- Elimination: Triangular Forms, Resultants, Equation Solving.- An Algorithm for Transforming Regular Chain into NormalChain.- A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals.- Regular Decompositions.- Floating-Point Gröbner Basis Computation with Ill-conditionedness Estimation.- The Maximality of the Dixon Matrix on Corner-Cut Monomial Supports.- Properties of Ascending Chains for Partial Difference Polynomial Systems.- Cryptology.- Some Mathematical Problems in Cryptanalysis.- A Reduction Attack on Algebraic Surface Public-Key Cryptosystems.- Computational Logic.- The Four Colour Theorem: Engineering of a Formal Proof.- On the Computation of Elimination Ideals of Boolean Polynomial Rings.- Computer Search for Large Sets of Idempotent Quasigroups.

Textul de pe ultima copertă

This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ASCM 2007, held in Singapore in December 2007.
The 22 revised full papers and 5 revised poster papers presented together with 3 invited lectures were carefully selected during two rounds of reviewing and improvement from 65 submissions. The papers are organized in topical sections on algorithms and implementations, numerical methods and applications, cryptology, and computational logic.