Computer Algebra in Scientific Computing
portes grátis
Computer Algebra in Scientific Computing
24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022, Proceedings
England, Matthew; Vorozhtsov, Evgenii V.; Boulier, Francois; Sadykov, Timur M.
Springer International Publishing AG
08/2022
397
Mole
Inglês
9783031147876
15 a 20 dias
629
Descrição não disponível.
Survey on Generalizations of the Intermediate Value Theorem and Applications (Invited Talk).- On Truncated Series Involved in Exponential-Logarithmic Solutions of Truncated LODEs.- Subresultant Chains Using B?ezout Matrices.- Application of Symbolic-Numerical Modeling Tools for Analysis of Gyroscopic Stabilization of Gyrostat Equilibria.- Computer Science for Continuous Data: Vision, Theory, and Practice of a Computer (Algebra) ANALYSIS System.- Computational Aspects of Equivariant Hilbert Series of Canonical Rings for Algebraic Curves.- Symbolic-Numeric Algorithm for Calculations in Geometric Collective Model of Atomic Nuclei.- Analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition.- Accelerated Subdivision for Clustering Roots of Polynomials Given by Evaluation Oracles.- On Equilibrium Positions in the Problem of the Motion of a System of Two Bodies in a Uniform Gravity Field.- An Interpolation Algorithm for Computing Dixon Resultants.- Distance Evaluation to the Set of Matrices with Multiple Eigenvalues.- On Boundary Conditions Parametrized by Analytic Functions.- Computing the Integer Hull of Convex Polyhedral Sets.- A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences.- Stability Analysis of Periodic Motion of the Swinging Atwood Machine.- New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis.- An Implementation of Parallel Number-Theoretic Transform Using Intel AVX-512 Instructions.- Locating the Closest Singularity in a Polynomial Homotopy.- A General Method of Finding New Symplectic Schemes for Hamiltonian Mechanics.- A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
adaptive algorithms;applications to natural sciences and engineering;artificial intelligence;complexity;computability;computer algebra systems;continuous data in computer science;correlation analysis;design and analysis of algorithms;differential equations;differential, algebraic and transcendental equations;Groebner bases;mathematical software;modeling and simulation;numerical analysis;numerical methods;parallel computing;Power, Laurent and Puiseux series in several variables;signal processing;symbolic and algebraic algorithms
Survey on Generalizations of the Intermediate Value Theorem and Applications (Invited Talk).- On Truncated Series Involved in Exponential-Logarithmic Solutions of Truncated LODEs.- Subresultant Chains Using B?ezout Matrices.- Application of Symbolic-Numerical Modeling Tools for Analysis of Gyroscopic Stabilization of Gyrostat Equilibria.- Computer Science for Continuous Data: Vision, Theory, and Practice of a Computer (Algebra) ANALYSIS System.- Computational Aspects of Equivariant Hilbert Series of Canonical Rings for Algebraic Curves.- Symbolic-Numeric Algorithm for Calculations in Geometric Collective Model of Atomic Nuclei.- Analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition.- Accelerated Subdivision for Clustering Roots of Polynomials Given by Evaluation Oracles.- On Equilibrium Positions in the Problem of the Motion of a System of Two Bodies in a Uniform Gravity Field.- An Interpolation Algorithm for Computing Dixon Resultants.- Distance Evaluation to the Set of Matrices with Multiple Eigenvalues.- On Boundary Conditions Parametrized by Analytic Functions.- Computing the Integer Hull of Convex Polyhedral Sets.- A Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences.- Stability Analysis of Periodic Motion of the Swinging Atwood Machine.- New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis.- An Implementation of Parallel Number-Theoretic Transform Using Intel AVX-512 Instructions.- Locating the Closest Singularity in a Polynomial Homotopy.- A General Method of Finding New Symplectic Schemes for Hamiltonian Mechanics.- A Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
adaptive algorithms;applications to natural sciences and engineering;artificial intelligence;complexity;computability;computer algebra systems;continuous data in computer science;correlation analysis;design and analysis of algorithms;differential equations;differential, algebraic and transcendental equations;Groebner bases;mathematical software;modeling and simulation;numerical analysis;numerical methods;parallel computing;Power, Laurent and Puiseux series in several variables;signal processing;symbolic and algebraic algorithms
