NDLI: FIDE: a REDUCE package for automation of FInite difference method for solving pDE

Please wait, while we are loading the content...

Normal forms in function fields

A test for λ-confluence for certain prefix rewriting systems with applications to the generalized word problem

PRECOMAS an implementation of constructive matching methodology

A decidable fragment of the elementary theory of relations and some applications

A strong problem reduction method based on function introduction

Resolution proof systems with weak transformation rules

Dataflow for logic program as substitution manipulator

Reexamining intractability of tableau methods

Advances and trends in the design and construction of algebraic manipulation systems

Algebraic programming in the APS system

A delivery system for REDUCE

Univariate power series expansions in REDUCE

SUI: a system independent user interface for an integrated scientific computing environment

Progress report on a system for general-purpose parallel symbolic algebraic computation

How to test in subexponential time whether two points can be connected by a curve in a semialgebraic set

On the isomorphism problem for finite-dimensional binomial algebras

Symbolic solution polynomial equation systems with symmetry

Arithmetic with real algebraic numbers is in NC

On determining the solvability of polynomials

Modular rational sparse multivariate polynomial interpolation

Polynomials over finite fields with large images

Parallel univariate polynomial factorization on shared-memory multiprocessors

Gröbner basis, integration and transcendental functions

Computation of Catalan's constant using Ramanujan's formula

A random base change algorithm for permutation groups

FIDE: a REDUCE package for automation of FInite difference method for solving pDE

Symbolic—numerical computations in the stability analyses of difference schemes

Local approximation study of difference operators by means of REDUCE system

Global theory of ordinary differential equations and formula manipulation

A Critical-pair/completion based integration algorithm

An algorithm of constructing the integral of a module--an infinite dimensional analog of Gröbner basis

The algorithm for calculating integrals of hypergeometric type functions and its realization in REDUCE system

Complexity of irreducibility testing for a system of linear ordinary differential equations

An algorithm for computing the formal solutions of differential systems in the neighborhood of an irregular singular point

On Liouvillian solutions of homogeneous linear differential equations

Reduction problems in the theory of differential equations

Computer generation of necessary integrability conditions for polynomial-nonlinear evolution systems

Automated reasoning in geometries using the characteristic set method and Gröbner basis method

An improvement of the projection operator in cylindrical algebraic decomposition

Methods for mechanical geometry formula deriving

Regular curves and proper parametrizations

Refutational proofs of geometry theorems via characteristic set computation

An algebraic model for the parallel interpretation of equationally defined functions (abstract)

Application of metasystem transition to function inversion and transformation

An execution model for exploiting and-or parallelism in logic programs (abstract)

Equations, disequations and unsolvable subsets (abstract)

A Meta simplifier

Systems for symbolic computations in boolean algebra

Detecting algebraic dependencies between unnested radicals (extended abstract)

Parallel polynomial computations by recursive processes

Solving systems of bivariate algebraic equations by using primitive polynomial remainder sequences

A parallelization of the Buchberger algorithm

On factoring multi-variate polynomials over algebraically closed fields (abstract)

A modular approach to the computation of the number of real roots

Solving algebraic systems which arise as necessary integrability conditions for polynomial-nonlinear evolution equations

An algorithm for finding all isolated zeros of polynomial systems

Application of REDUCE system for analyzing consistency of systems of P.D.E.'s

Some applications of Maple symbolic computation to scientific and engineering problems

On the symbolic/numeric hybrid integration

Optimization techniques for symbolic equation solver in engineering applications

Symbolic and algebraic manipulation for formulae of interpolation and quadrature

The implementation of an algorithm in Macsyma: computing the formal solutions of differential systems in the neighborhood of regular singular point

FIDE: a REDUCE package for automation of FInite difference method for solving pDE

Content Provider	ACM Digital Library
Author	Drsda, L. Liska, R.
Abstract	The article deals with automation of the process of numerical solving of partial differential equations systems (PDES) by means of computer algebra. For solving PDES the finite difference method is applied. The computer algebra system REDUCE and the numerical programming language FORTRAN are used in the methodology presented, its main aim being to speed up the process of preparing numerical programs for solving PDES. Quite often, especially for complicated systems, this process is a tedious and time consuming task.In the process several stages can be found in which computer algebra can be used for performing routine analytical calculations, namely: transformation of differential equations into different coordinate systems, discretization of differential equations, analysis of difference schemes, and generation of numerical programs. The FIDE package consists of the following modules that have been built, tested, and documented:EXPRESS for transforming PDES into any orthogonal coordinate system.IIMET for discretization of PDES by integro-interpolation method.APPROX for determining the order of approximation of difference schemes.CHARPOL for calculating the amplification matrix and characteristic polynomial of difference schemes, which are needed in the Fourier stability analysis.HURWP for locating polynomial roots necessary in verifying the von Neumann stability condition.LINBAND for generating the block of FORTRAN code, which solves a system of linear algebraic equations with band matrix appearing frequently in difference schemes.The FIDE package is applied to two physical problems. The first one is the nonlinear Schrödinger equation, which describes several physical phenomena, e.g. the Langmuir waves in plasma. The second one is the Fokker-Planck equation in diffusive approximation, which is used to describe the kinetics of electrons in plasma, including interactions of electrons with a laser beam through inverse bremsstrahlung. The numerical programs have been tested and compared with similar calculations published so far.
Starting Page	169
Ending Page	176
Page Count	8
File Format	PDF
ISBN	0201548925
DOI	10.1145/96877.96920
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1990-07-01
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in