Description |
1 online resource (240 pages) |
Series |
Lecture Notes Series on Computing |
|
Lecture notes series on computing.
|
Contents |
Preface ; Invited Talks ; Finding All the Solutions of Cyclic 9 Using Grobner Basis Techniques ; On the Complexity of Computing Determinants (Extended Abstract) ; Papers |
|
Investigating the Growth of Length of Intermediate Expressions in Polynomial Sequences Using a Maple Program Giesbrecht's Algorithm the HFE Cryptosystem and Ore's p8-polynomials ; Solution of a Linear Differential Equation in the Form of Power Series and its Application |
|
A New Algorithm for Real Roots of a Zero-Dimensional System by a Linear Separating Map On the Specification for Solvers of Polynomial Systems ; On the Construction of a PSE for GCD Computation ; OMEI: An Open Mathematical Engine Interface |
|
Polynomial Solutions of Algebraic Differential Equations The Design and Implementation of OpenXM-RFC 100 and 101 ; FIGUE: Mathematical Formula Layout with Interaction and MathML Support |
|
Symbolic-Numeric Computations of Wu's Method: Comparison of the Cut-off Method and the Stabilization Techniques An Inductive Approach to Formalizing Notions of Number Theory Proofs ; Application of Grobner Basis and Quantifier Elimination in Engineering Design: An Introduction for Engineers |
Summary |
This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find this volume good reading and a valuable reference. Contents: Solution of a Linear Differential Equations in the Form of Power Series and Its Application (T Kitamoto); On the Specification for Solvers of Polynomial Systems (D Lazard) |
Notes |
Print version record |
Subject |
Computer science -- Mathematics -- Congresses
|
|
Computer science -- Congresses
|
|
Computer science
|
|
Computer science -- Mathematics
|
Genre/Form |
Conference papers and proceedings
|
Form |
Electronic book
|
Author |
Yokoyama, Kazuhiro
|
ISBN |
9789812799661 |
|
9812799664 |
|