कवर छवि

Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023, Proceedings /

This book constitutes the refereed proceedings of the 25th International Workshop on Computer Algebra in Scientific Computing, CASC 2023, which took place in Havana, Cuba, during August 28-September 1, 2023. The 22 full papers included in this book were carefully reviewed and selected from 29 submis...

पूर्ण विवरण

में बचाया:
ग्रंथसूची विवरण
निगमित लेखक: SpringerLink (Online service)
अन्य लेखक: Boulier, François (संपादक), England, Matthew (संपादक), Kotsireas, Ilias (संपादक), Sadykov, Timur M. (संपादक), Vorozhtsov, Evgenii V. (संपादक)
स्वरूप: इलेक्ट्रोनिक ई-पुस्तक
भाषा:अंग्रेज़ी
प्रकाशित: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
संस्करण:1st ed. 2023.
श्रृंखला:Lecture Notes in Computer Science, 14139
विषय:
Algorithms.
Artificial intelligence.
Computer science > Mathematics.
Computer networks .
Design and Analysis of Algorithms.
Artificial Intelligence.
Mathematics of Computing.
Computer Communication Networks.
ऑनलाइन पहुंच:https://doi.org/10.1007/978-3-031-41724-5
टैग: टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
विषय - सूची:
  • 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.

समान संसाधन