Author: Viktor G. Ganzha
Publisher: Springer Science & Business Media
ISBN: 3642566669
Category : Computers
Languages : en
Pages : 543
Book Description
CASC 2001 continues a tradition ~ started in 1998 ~ of international con ferences on the latest advances in the application of computer algebra systems to the solution of various problems in scientific computing. The three ear (CASs) lier conferences in this sequence, CASC'98, CASC'99, and CASC 2000, were held, Petersburg, Russia, in Munich, Germany, and in Samarkand, respectively, in St. Uzbekistan, and proved to be very successful. We have to thank the program committee, listed overleaf, for a tremendous job in soliciting and providing reviews for the submitted papers. There were more than three reviews per submission on average. The result of this job is reflected in the present volume, which contains revised versions of the accepted papers. The collection of papers included in the proceedings covers various topics of computer algebra methods, algorithms and software applied to scientific computing. In particular, five papers are devoted to the implementation of the analysis of involutive systems with the aid of CASso The specific examples include new efficient algorithms for the computation of Janet bases for monomial ideals, involutive division, involutive reduction method, etc. A number of papers deal with application of CASs for obtaining and vali dating new exact solutions to initial and boundary value problems for partial differential equations in mathematical physics. Several papers show how CASs can be used to obtain analytic solutions of initial and boundary value problems for ordinary differential equations and for studying their properties.
Computer Algebra in Scientific Computing CASC 2001
Author: Viktor G. Ganzha
Publisher: Springer Science & Business Media
ISBN: 3642566669
Category : Computers
Languages : en
Pages : 543
Book Description
CASC 2001 continues a tradition ~ started in 1998 ~ of international con ferences on the latest advances in the application of computer algebra systems to the solution of various problems in scientific computing. The three ear (CASs) lier conferences in this sequence, CASC'98, CASC'99, and CASC 2000, were held, Petersburg, Russia, in Munich, Germany, and in Samarkand, respectively, in St. Uzbekistan, and proved to be very successful. We have to thank the program committee, listed overleaf, for a tremendous job in soliciting and providing reviews for the submitted papers. There were more than three reviews per submission on average. The result of this job is reflected in the present volume, which contains revised versions of the accepted papers. The collection of papers included in the proceedings covers various topics of computer algebra methods, algorithms and software applied to scientific computing. In particular, five papers are devoted to the implementation of the analysis of involutive systems with the aid of CASso The specific examples include new efficient algorithms for the computation of Janet bases for monomial ideals, involutive division, involutive reduction method, etc. A number of papers deal with application of CASs for obtaining and vali dating new exact solutions to initial and boundary value problems for partial differential equations in mathematical physics. Several papers show how CASs can be used to obtain analytic solutions of initial and boundary value problems for ordinary differential equations and for studying their properties.
Publisher: Springer Science & Business Media
ISBN: 3642566669
Category : Computers
Languages : en
Pages : 543
Book Description
CASC 2001 continues a tradition ~ started in 1998 ~ of international con ferences on the latest advances in the application of computer algebra systems to the solution of various problems in scientific computing. The three ear (CASs) lier conferences in this sequence, CASC'98, CASC'99, and CASC 2000, were held, Petersburg, Russia, in Munich, Germany, and in Samarkand, respectively, in St. Uzbekistan, and proved to be very successful. We have to thank the program committee, listed overleaf, for a tremendous job in soliciting and providing reviews for the submitted papers. There were more than three reviews per submission on average. The result of this job is reflected in the present volume, which contains revised versions of the accepted papers. The collection of papers included in the proceedings covers various topics of computer algebra methods, algorithms and software applied to scientific computing. In particular, five papers are devoted to the implementation of the analysis of involutive systems with the aid of CASso The specific examples include new efficient algorithms for the computation of Janet bases for monomial ideals, involutive division, involutive reduction method, etc. A number of papers deal with application of CASs for obtaining and vali dating new exact solutions to initial and boundary value problems for partial differential equations in mathematical physics. Several papers show how CASs can be used to obtain analytic solutions of initial and boundary value problems for ordinary differential equations and for studying their properties.
Computer Algebra in Scientific Computing
Author: Victor G. Ganzha
Publisher: Springer Science & Business Media
ISBN: 3540289666
Category : Computers
Languages : en
Pages : 513
Book Description
This book constitutes the refereed proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC 2005, held in Kalamata, Greece in September 2005. The 41 revised full papers presented were carefully reviewed and selected from 75 submissions. The topics addressed in the workshop cover all the basic areas of scientific computing as they benefit from the application of computer algebra methods and software: algebraic methods for nonlinear polynomial equations and inequalities, symbolic-numeric methods for differential and differential-algebraic equations, algorithmic and complexity considerations in computer algebra, algebraic methods in geometric modelling, aspects of computer algebra programming languages, automatic reasoning in algebra and geometry, complexity of algebraic problems, exact and approximate computation, parallel symbolic-numeric computation, Internet accessible symbolic and numeric computation, problem-solving environments, symbolic and numerical computation in systems engineering and modelling, computer algebra in industry, solving problems in the natural sciences, numerical simulation using computer algebra systems, mathematical communication.
Publisher: Springer Science & Business Media
ISBN: 3540289666
Category : Computers
Languages : en
Pages : 513
Book Description
This book constitutes the refereed proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC 2005, held in Kalamata, Greece in September 2005. The 41 revised full papers presented were carefully reviewed and selected from 75 submissions. The topics addressed in the workshop cover all the basic areas of scientific computing as they benefit from the application of computer algebra methods and software: algebraic methods for nonlinear polynomial equations and inequalities, symbolic-numeric methods for differential and differential-algebraic equations, algorithmic and complexity considerations in computer algebra, algebraic methods in geometric modelling, aspects of computer algebra programming languages, automatic reasoning in algebra and geometry, complexity of algebraic problems, exact and approximate computation, parallel symbolic-numeric computation, Internet accessible symbolic and numeric computation, problem-solving environments, symbolic and numerical computation in systems engineering and modelling, computer algebra in industry, solving problems in the natural sciences, numerical simulation using computer algebra systems, mathematical communication.
Computer Algebra in Scientific Computing
Author: Vladimir P. Gerdt
Publisher: Springer Science & Business Media
ISBN: 3642235670
Category : Computers
Languages : en
Pages : 368
Book Description
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011, held in Kassel, Germany, in September 2011. The 26 full papers included in the book were carefully reviewed and selected from numerous submissions. The articles are organized in topical sections on the development of object oriented computer algebra software for the modeling of algebraic structures as typed objects; matrix algorithms; the investigation with the aid of computer algebra; the development of symbolic-numerical algorithms; and the application of symbolic computations in applied problems of physics, mechanics, social science, and engineering.
Publisher: Springer Science & Business Media
ISBN: 3642235670
Category : Computers
Languages : en
Pages : 368
Book Description
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011, held in Kassel, Germany, in September 2011. The 26 full papers included in the book were carefully reviewed and selected from numerous submissions. The articles are organized in topical sections on the development of object oriented computer algebra software for the modeling of algebraic structures as typed objects; matrix algorithms; the investigation with the aid of computer algebra; the development of symbolic-numerical algorithms; and the application of symbolic computations in applied problems of physics, mechanics, social science, and engineering.
Computer Algebra in Scientific Computing
Author: V.G. Ganzha
Publisher: Springer
ISBN: 3540451951
Category : Computers
Languages : en
Pages : 323
Book Description
This book constitutes the refereed proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC 2006. The book presents 25 revised full papers together with 2 invited papers, covering various expanding applications of computer algebra to scientific computing, the computer algebra systems themselves, and the CA algorithms. Topics addressed are studies in Gröbner bases, polynomial algebra, homological algebra, quantifier elimination, celestial mechanics, and more.
Publisher: Springer
ISBN: 3540451951
Category : Computers
Languages : en
Pages : 323
Book Description
This book constitutes the refereed proceedings of the 9th International Workshop on Computer Algebra in Scientific Computing, CASC 2006. The book presents 25 revised full papers together with 2 invited papers, covering various expanding applications of computer algebra to scientific computing, the computer algebra systems themselves, and the CA algorithms. Topics addressed are studies in Gröbner bases, polynomial algebra, homological algebra, quantifier elimination, celestial mechanics, and more.
Computer Algebra in Scientific Computing
Author: Victor Grigorʹevich Ganzha
Publisher: Springer Science & Business Media
ISBN:
Category : Computers
Languages : en
Pages : 576
Book Description
Jets. A Maple-Package for Formal Differential Geometry.- Computing Stratifications of Quotients of Finite Groups and an Application to Shape Memory Alloy.- A MuPAD Library for Differential Equation.- Algebraic Identification Algorithm and Application to Dynamical Systems.- Cooperation Between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery.- On the Stability of Steady Motions of a Solar-Sail Satellite.- Application of Computer Algebra for Investigation of a Group Properties of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas.- Mathematica and Nilpotent Lie Superalgebras.- Neighborhoods of an Ordinary Linear Differential Equation.- Invariants of Finite Groups and Involutive Division.- Symbolic Computation and Boundary Conditions for the Wave Equation.- Parametric Systems of Linear Congruences.- Bifurcation Analysis of Low Resonant Case of the Generalized Henon - Heiles System.- An Involutive Reduction Method to Find Invariant Solutions for Partial Differential Equations.- Recurrence Functions and Numerical Characteristics of Graphs.- A New Combinatorial Algorithm for Large Markov Chains.- GROOME - Tool Supported Graphical Object Oriented Modelling for Computer Algebra and Scientific Computing.- Construction of Janet Bases I.Monomial Bases.- Construction of Janet Bases II.Polynomial Bases.- Low-Dimensional Quasi-Filiform Lie Algebras with Great Length.- Algebraic Methods for Sectioning Parametric Surfaces.- The Methods of Computer Algebra and the Arnold-Moser Theorem.- Symbolic Algorithms of Algebraic Perturbation Theory: Hydrogen Atom in the Field of Distant Charge.- Perturbation versus Differentiation Indices.- Employment of the Gröbner Bases in Analysis of Systems Having Algebraic First Integrals.- "Coalgebra" Structures on 1-Homological Models for Commutative Differential Graded Algebras.- Conservative Finite Difference Schemes for Cosymmetric Systems.- A Mathematica Solver for Two-Point Singularly-Perturbed Boundary Value Problems.- A New Algorithm for Computing Cohomologies of Lie Superalgebras.- Parallel Computing with Mathematica.- Solution of Systems of Linear Diophantine Equations.- SYMOPT: Symbolic Parametric Mathematical Programming.- Representing Graph Properties by Polynomial Ideals.- Parametric G1-Blending of Several Surfaces.- A Method of Logic Deduction and Verification in KBS Using Positive Integers.- Progressive Long Waves on a Slope (A New Solution to the Euler Equation?).- The Method of Newton Polyhedra for Investigating Singular Positions of Some Mechanisms.- Algebraic Predicates for Empirical Data.- Fractional Driftless Fokker-Planck Equation with Power Law Diffusion Coefficients.- Factorization of Overdetermined Systems of Linear Partial Differential Equations with Finite-Dimensional Solution Space.- Semilinear Motion Planning Among Moving Objects in REDLOG.- Author Index.
Publisher: Springer Science & Business Media
ISBN:
Category : Computers
Languages : en
Pages : 576
Book Description
Jets. A Maple-Package for Formal Differential Geometry.- Computing Stratifications of Quotients of Finite Groups and an Application to Shape Memory Alloy.- A MuPAD Library for Differential Equation.- Algebraic Identification Algorithm and Application to Dynamical Systems.- Cooperation Between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery.- On the Stability of Steady Motions of a Solar-Sail Satellite.- Application of Computer Algebra for Investigation of a Group Properties of the Navier-Stokes Equations for Compressible Viscous Heat-Conducting Gas.- Mathematica and Nilpotent Lie Superalgebras.- Neighborhoods of an Ordinary Linear Differential Equation.- Invariants of Finite Groups and Involutive Division.- Symbolic Computation and Boundary Conditions for the Wave Equation.- Parametric Systems of Linear Congruences.- Bifurcation Analysis of Low Resonant Case of the Generalized Henon - Heiles System.- An Involutive Reduction Method to Find Invariant Solutions for Partial Differential Equations.- Recurrence Functions and Numerical Characteristics of Graphs.- A New Combinatorial Algorithm for Large Markov Chains.- GROOME - Tool Supported Graphical Object Oriented Modelling for Computer Algebra and Scientific Computing.- Construction of Janet Bases I.Monomial Bases.- Construction of Janet Bases II.Polynomial Bases.- Low-Dimensional Quasi-Filiform Lie Algebras with Great Length.- Algebraic Methods for Sectioning Parametric Surfaces.- The Methods of Computer Algebra and the Arnold-Moser Theorem.- Symbolic Algorithms of Algebraic Perturbation Theory: Hydrogen Atom in the Field of Distant Charge.- Perturbation versus Differentiation Indices.- Employment of the Gröbner Bases in Analysis of Systems Having Algebraic First Integrals.- "Coalgebra" Structures on 1-Homological Models for Commutative Differential Graded Algebras.- Conservative Finite Difference Schemes for Cosymmetric Systems.- A Mathematica Solver for Two-Point Singularly-Perturbed Boundary Value Problems.- A New Algorithm for Computing Cohomologies of Lie Superalgebras.- Parallel Computing with Mathematica.- Solution of Systems of Linear Diophantine Equations.- SYMOPT: Symbolic Parametric Mathematical Programming.- Representing Graph Properties by Polynomial Ideals.- Parametric G1-Blending of Several Surfaces.- A Method of Logic Deduction and Verification in KBS Using Positive Integers.- Progressive Long Waves on a Slope (A New Solution to the Euler Equation?).- The Method of Newton Polyhedra for Investigating Singular Positions of Some Mechanisms.- Algebraic Predicates for Empirical Data.- Fractional Driftless Fokker-Planck Equation with Power Law Diffusion Coefficients.- Factorization of Overdetermined Systems of Linear Partial Differential Equations with Finite-Dimensional Solution Space.- Semilinear Motion Planning Among Moving Objects in REDLOG.- Author Index.
Computer Algebra in Scientific Computing
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
Book Description
Computer Algebra in Scientific Computing
Author: Andreas Weber
Publisher: MDPI
ISBN: 3039217305
Category : Computers
Languages : en
Pages : 160
Book Description
Although scientific computing is very often associated with numeric computations, the use of computer algebra methods in scientific computing has obtained considerable attention in the last two decades. Computer algebra methods are especially suitable for parametric analysis of the key properties of systems arising in scientific computing. The expression-based computational answers generally provided by these methods are very appealing as they directly relate properties to parameters and speed up testing and tuning of mathematical models through all their possible behaviors. This book contains 8 original research articles dealing with a broad range of topics, ranging from algorithms, data structures, and implementation techniques for high-performance sparse multivariate polynomial arithmetic over the integers and rational numbers over methods for certifying the isolated zeros of polynomial systems to computer algebra problems in quantum computing.
Publisher: MDPI
ISBN: 3039217305
Category : Computers
Languages : en
Pages : 160
Book Description
Although scientific computing is very often associated with numeric computations, the use of computer algebra methods in scientific computing has obtained considerable attention in the last two decades. Computer algebra methods are especially suitable for parametric analysis of the key properties of systems arising in scientific computing. The expression-based computational answers generally provided by these methods are very appealing as they directly relate properties to parameters and speed up testing and tuning of mathematical models through all their possible behaviors. This book contains 8 original research articles dealing with a broad range of topics, ranging from algorithms, data structures, and implementation techniques for high-performance sparse multivariate polynomial arithmetic over the integers and rational numbers over methods for certifying the isolated zeros of polynomial systems to computer algebra problems in quantum computing.
Computer Algebra Handbook
Author: Johannes Grabmeier
Publisher: Springer Science & Business Media
ISBN: 3642558267
Category : Computers
Languages : en
Pages : 656
Book Description
This Handbook gives a comprehensive snapshot of a field at the intersection of mathematics and computer science with applications in physics, engineering and education. Reviews 67 software systems and offers 100 pages on applications in physics, mathematics, computer science, engineering chemistry and education.
Publisher: Springer Science & Business Media
ISBN: 3642558267
Category : Computers
Languages : en
Pages : 656
Book Description
This Handbook gives a comprehensive snapshot of a field at the intersection of mathematics and computer science with applications in physics, engineering and education. Reviews 67 software systems and offers 100 pages on applications in physics, mathematics, computer science, engineering chemistry and education.
Computer Algebra in Scientific Computing
Author: François Boulier
Publisher: Springer Nature
ISBN: 3030600262
Category : Computers
Languages : en
Pages : 659
Book Description
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.
Publisher: Springer Nature
ISBN: 3030600262
Category : Computers
Languages : en
Pages : 659
Book Description
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 34 full papers presented together with 2 invited talks were carefully reviewed and selected from 41 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CAS in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.
Computational Commutative and Non-commutative Algebraic Geometry
Author: Svetlana Cojocaru
Publisher: IOS Press
ISBN: 1586035053
Category : Electronic books
Languages : en
Pages : 336
Book Description
Publisher: IOS Press
ISBN: 1586035053
Category : Electronic books
Languages : en
Pages : 336
Book Description