[图书][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 …
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 …
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 …
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 …
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 …
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 …
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≤ …
we efficiently" refine" this factorization of m to a more complete factorization m= Π 1≤ j≤ …
Algebraic general solutions of algebraic ordinary differential equations
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 …
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 …
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 …
of Genus at Least 2 Bjorn Poonen* Department of Mathematics, Princeton University …