[图书][B] Numerical computation 1: methods, software, and analysis

CW Ueberhuber - 2012 - books.google.com
This book deals with various aspects of scientific numerical computing. No at tempt was
made to be complete or encyclopedic. The successful solution of a numerical problem has …

[图书][B] Introduction to MAPLE

A Heck, W Koepf - 1993 - Springer
In symbolic computation on computers, also known as computer algebra, keyboard and
display replace the traditional pencil and paper in doing mathematical computations …

Algebraic simplification

B Buchberger, R Loos - Computer algebra: symbolic and algebraic …, 1982 - Springer
Some basic techniques for the simplification of terms are surveyed. In two introductory
sections the problem of canonical algebraic simplification is formally stated and some …

Integration of algebraic functions

BM Trager - Integration in Finite Terms: Fundamental Sources, 2022 - Springer
This thesis will provide a practical decision procedure for the indefinite integration of
algebraic functions. Unless explicitly noted, we will always assume x to be our distinguished …

Integration of elementary functions

M Bronstein - Journal of Symbolic Computation, 1990 - Elsevier
We extend a recent algorithm of Trager to a decision procedure for the indefinite integration
of elementary functions. We can express the integral as an elementary function or prove that …

[PDF][PDF] Direct and inverse problems in differential Galois theory

MF Singer - Selected Works of Ellis Kolchin with Commentary, 1999 - Citeseer
Direct and Inverse Problems in Di erential Galois Theory Page 1 Direct and Inverse Problems
in Di erential Galois Theory Michael F. Singer Abstract. This paper surveys recent work on the …

Factor refinement

E Bach, J Driscoll, J Shallit - Journal of Algorithms, 1993 - Elsevier
Suppose we have obtained a partial factorization of an integer m, say m= m 1 m 2··· m k. Can
we efficiently" refine" this factorization of m to a more complete factorization m= Π 1≤ j≤ …

Algebraic general solutions of algebraic ordinary differential equations

JM Aroca, J Cano, R Feng, XS Gao - Proceedings of the 2005 …, 2005 - dl.acm.org
In this paper, we give a necessary and sufficient condition for an algebraic ODE to have an
algebraic general solution. For a first order autonomous ODE, we give an optimal bound for …

Torsion points, Pell's equation, and integration in elementary terms

D Masser, U Zannier - 2020 - edoc.unibas.ch
The main results of this paper involve general algebraic differentials $\omega $ on a general
pencil of algebraic curves. We show how to determine if $\omega $ is integrable in …

Computational aspects of curves of genus at least 2

B Poonen - International Algorithmic Number Theory Symposium, 1996 - Springer
Computational aspects of curves of genus at least 2 Page 1 Computational Aspects of Curves
of Genus at Least 2 Bjorn Poonen* Department of Mathematics, Princeton University …