Author: Victor G. Ganzha
Publisher: Springer Science & Business Media
ISBN: 3642602185
Category : Computers
Languages : en
Pages : 507
Book Description
The development of powerful computer algebra systems has considerably ex tended the scope of problems of scientific computing which can now be solved successfully with the aid of computers. However, as the field of applications of computer algebra in scientific computing becomes broader and more complex, there is a danger of separation between theory, systems, and applications. For this reason, we felt the need to bring together the researchers who now ap ply the tools of computer algebra for the solution of problems in scientific computing, in order to foster new and closer interactions. CASC'99 is the second conference devoted to applications of computer al gebra in scientific computing. The first conference in this sequence, CASC'98, was held 20-24 April 1998 in St. Petersburg, Russia. This volume contains revised versions of the papers submitted by the par ticipants and accepted by the program committee after a thorough reviewing process. The collection of papers included in the proceedings covers various topics of computer algebra methods, algorithms and software applied to scien tific computing: symbolic-numeric analysis and solving differential equations, efficient computations with polynomials, groups, matrices and other related objects, special purpose programming environments, application to physics, mechanics, optics and to other areas. In particular, a significant group of papers deals with applications of com puter algebra methods for the solution of current problems in group theory, which mostly arise in mathematical physics.
Computer Algebra in Scientific Computing CASC’99
Author: Victor G. Ganzha
Publisher: Springer Science & Business Media
ISBN: 3642602185
Category : Computers
Languages : en
Pages : 507
Book Description
The development of powerful computer algebra systems has considerably ex tended the scope of problems of scientific computing which can now be solved successfully with the aid of computers. However, as the field of applications of computer algebra in scientific computing becomes broader and more complex, there is a danger of separation between theory, systems, and applications. For this reason, we felt the need to bring together the researchers who now ap ply the tools of computer algebra for the solution of problems in scientific computing, in order to foster new and closer interactions. CASC'99 is the second conference devoted to applications of computer al gebra in scientific computing. The first conference in this sequence, CASC'98, was held 20-24 April 1998 in St. Petersburg, Russia. This volume contains revised versions of the papers submitted by the par ticipants and accepted by the program committee after a thorough reviewing process. The collection of papers included in the proceedings covers various topics of computer algebra methods, algorithms and software applied to scien tific computing: symbolic-numeric analysis and solving differential equations, efficient computations with polynomials, groups, matrices and other related objects, special purpose programming environments, application to physics, mechanics, optics and to other areas. In particular, a significant group of papers deals with applications of com puter algebra methods for the solution of current problems in group theory, which mostly arise in mathematical physics.
Publisher: Springer Science & Business Media
ISBN: 3642602185
Category : Computers
Languages : en
Pages : 507
Book Description
The development of powerful computer algebra systems has considerably ex tended the scope of problems of scientific computing which can now be solved successfully with the aid of computers. However, as the field of applications of computer algebra in scientific computing becomes broader and more complex, there is a danger of separation between theory, systems, and applications. For this reason, we felt the need to bring together the researchers who now ap ply the tools of computer algebra for the solution of problems in scientific computing, in order to foster new and closer interactions. CASC'99 is the second conference devoted to applications of computer al gebra in scientific computing. The first conference in this sequence, CASC'98, was held 20-24 April 1998 in St. Petersburg, Russia. This volume contains revised versions of the papers submitted by the par ticipants and accepted by the program committee after a thorough reviewing process. The collection of papers included in the proceedings covers various topics of computer algebra methods, algorithms and software applied to scien tific computing: symbolic-numeric analysis and solving differential equations, efficient computations with polynomials, groups, matrices and other related objects, special purpose programming environments, application to physics, mechanics, optics and to other areas. In particular, a significant group of papers deals with applications of com puter algebra methods for the solution of current problems in group theory, which mostly arise in mathematical physics.
Computer Algebra in Scientific Computing
Author: Viktor G. Ganzha
Publisher: Springer Science & Business Media
ISBN: 3642572014
Category : Computers
Languages : en
Pages : 431
Book Description
Proceedings of the Third Workshop on Computer Algebra in Scientific Computing, Samarkand, Octobe5r 5-9, 2000
Publisher: Springer Science & Business Media
ISBN: 3642572014
Category : Computers
Languages : en
Pages : 431
Book Description
Proceedings of the Third Workshop on Computer Algebra in Scientific Computing, Samarkand, Octobe5r 5-9, 2000
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.
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
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: Victor Grigorʹevich Ganzha
Publisher: Springer Science & Business Media
ISBN: 9783540423553
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: 9783540423553
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.
Computational Science - ICCS 2006
Author: Vassil N. Alexandrov
Publisher: Springer
ISBN: 3540343865
Category : Computers
Languages : en
Pages : 1128
Book Description
This is Volume IV of the four-volume set LNCS 3991-3994 constituting the refereed proceedings of the 6th International Conference on Computational Science, ICCS 2006. The 98 revised full papers and 29 revised poster papers of the main track presented together with 500 accepted workshop papers were carefully reviewed and selected for inclusion in the four volumes. The coverage spans the whole range of computational science.
Publisher: Springer
ISBN: 3540343865
Category : Computers
Languages : en
Pages : 1128
Book Description
This is Volume IV of the four-volume set LNCS 3991-3994 constituting the refereed proceedings of the 6th International Conference on Computational Science, ICCS 2006. The 98 revised full papers and 29 revised poster papers of the main track presented together with 500 accepted workshop papers were carefully reviewed and selected for inclusion in the four volumes. The coverage spans the whole range of computational science.
Computational Science — ICCS 2002
Author: Peter M.A. Sloot
Publisher: Springer
ISBN: 3540477896
Category : Computers
Languages : en
Pages : 1265
Book Description
Computational Science is the scientific discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems. The area of application includes natural systems - such as biology environ mental and geo-sciences, physics, and chemistry - and synthetic systems such as electronics and financial and economic systems. The discipline is a bridge bet ween 'classical' computer science - logic, complexity, architecture, algorithm- mathematics, and the use of computers in the aforementioned areas. The relevance for society stems from the numerous challenges that exist in the various science and engineering disciplines, which can be tackled by advances made in this field. For instance new models and methods to study environmental issues like the quality of air, water, and soil, and weather and climate predictions through simulations, as well as the simulation-supported development of cars, airplanes, and medical and transport systems etc. Paraphrasing R. Kenway (R.D. Kenway, Contemporary Physics. 1994): 'There is an important message to scientists, politicians, and industrialists: in the future science, the best industrial design and manufacture, the greatest medical progress, and the most accurate environmental monitoring and forecasting will be done by countries that most rapidly exploit the full potential of computational science'. Nowadays we have access to high-end computer architectures and a large range of computing environments, mainly as a consequence of the enormous sti mulus from the various international programs on advanced computing, e.g.
Publisher: Springer
ISBN: 3540477896
Category : Computers
Languages : en
Pages : 1265
Book Description
Computational Science is the scientific discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems. The area of application includes natural systems - such as biology environ mental and geo-sciences, physics, and chemistry - and synthetic systems such as electronics and financial and economic systems. The discipline is a bridge bet ween 'classical' computer science - logic, complexity, architecture, algorithm- mathematics, and the use of computers in the aforementioned areas. The relevance for society stems from the numerous challenges that exist in the various science and engineering disciplines, which can be tackled by advances made in this field. For instance new models and methods to study environmental issues like the quality of air, water, and soil, and weather and climate predictions through simulations, as well as the simulation-supported development of cars, airplanes, and medical and transport systems etc. Paraphrasing R. Kenway (R.D. Kenway, Contemporary Physics. 1994): 'There is an important message to scientists, politicians, and industrialists: in the future science, the best industrial design and manufacture, the greatest medical progress, and the most accurate environmental monitoring and forecasting will be done by countries that most rapidly exploit the full potential of computational science'. Nowadays we have access to high-end computer architectures and a large range of computing environments, mainly as a consequence of the enormous sti mulus from the various international programs on advanced computing, e.g.
Differential Equations with Symbolic Computation
Author: Dongming Wang
Publisher: Springer Science & Business Media
ISBN: 3764374292
Category : Mathematics
Languages : en
Pages : 374
Book Description
This book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic computation. It focuses on the symbolic-computational aspects of three kinds of fundamental problems in differential equations: transforming the equations, solving the equations, and studying the structure and properties of their solutions.
Publisher: Springer Science & Business Media
ISBN: 3764374292
Category : Mathematics
Languages : en
Pages : 374
Book Description
This book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic computation. It focuses on the symbolic-computational aspects of three kinds of fundamental problems in differential equations: transforming the equations, solving the equations, and studying the structure and properties of their solutions.
Computational Science and Its Applications - ICCSA 2005
Author: Osvaldo Gervasi
Publisher: Springer Science & Business Media
ISBN: 3540258620
Category : Computers
Languages : en
Pages : 1403
Book Description
The four-volume set LNCS 3480-3483 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2005, held in Singapore in May 2005. The four volumes present a total of 540 papers selected from around 2700 submissions. The papers span the whole range of computational science, comprising advanced applications in virtually all sciences making use of computational techniques as well as foundations, techniques, and methodologies from computer science and mathematics, such as high performance computing and communication, networking, optimization, information systems and technologies, scientific visualization, graphics, image processing, data analysis, simulation and modelling, software systems, algorithms, security, multimedia etc.
Publisher: Springer Science & Business Media
ISBN: 3540258620
Category : Computers
Languages : en
Pages : 1403
Book Description
The four-volume set LNCS 3480-3483 constitutes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2005, held in Singapore in May 2005. The four volumes present a total of 540 papers selected from around 2700 submissions. The papers span the whole range of computational science, comprising advanced applications in virtually all sciences making use of computational techniques as well as foundations, techniques, and methodologies from computer science and mathematics, such as high performance computing and communication, networking, optimization, information systems and technologies, scientific visualization, graphics, image processing, data analysis, simulation and modelling, software systems, algorithms, security, multimedia etc.