Computer Mathematics - Proceedings Of The Fifth Asian Symposium (Ascm 2001)

By: Kiyoshi Shirayanagi (Editor), Kazuhiro Yokoyama (Editor)

Write A Review

Hardcover | 18 September 2001

At a Glance

Hardcover
240 Pages

Dimensions(cm)
21.59 x 15.88 x 1.91

Hardcover

RRP $259.99

$233.99

10%OFF

or 4 interest-free payments of $58.50 with

Ships in 15 to 25 business days

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 should find this volume good reading and a valuable reference.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Discrete Mathematics Applied Mathematics Computing & I.T.Computer Science Mathematical Theory of Computation Computer Programming & Software Development Medicine Medicine in General Booktopia Publisher Services World Scientific Publishing

Preface
Invited Talks
Finding All the Solutions of Cyclic 9 Using Grobner Basis Techniques	p. 1
On the Complexity of Computing Determinants	p. 13
Investigating the Growth of Length of Intermediate Expressions in Polynomial Sequences Using a Maple Program	p. 28
Giesbrecht's Algorithms, the HFE Cryptosystem and Ore's p[superscript s]-polynomials	p. 36
Solution of a Linear Differential Equation in the Form of Power Series and its Application	p. 46
A New Algorithm for Real Roots of a Zero-Dimensional System by a Linear Separating Map	p. 56
On the Specification for Solvers of Polynomial Systems	p. 66
On the Construction of a PSE for GCD Computation	p. 76
OMEI: An Open Mathematical Engine Interface	p. 82
Polynomial Solutions of Algebraic Differential Equations	p. 92
The Design and Implementation of OpenXM-RFC 100 and 101	p. 102
FIGUE: Mathematical Formula Layout with Interaction and MathML Support	p. 112
Symbolic-Numeric Computations of Wu's Method: Comparison of the Cut-off Method and the Stabilization Techniques	p. 122
An Inductive Approach to Formalizing Notions of Number Theory Proofs	p. 131
Application of Grobner Basis of Quantifier Elimination in Engineering Design: An Introduction for Engineers	p. 141
JavaMath: An API for Internet Accessible Mathematical Services	p. 151
Deformation of Double Cusp Singularity on an Irreducible Quartic Curve by Using the Computer Algebra System Risa/Asir	p. 161
A Generalized Algorithm for Computing Characteristic Sets	p. 165
Deciding Inclusion of Differential Quasi-Algebraic Varieties	p. 175
Action Refinement for Timed LOTOS	p. 183
Symbolic Computation and Abundant New Families of Exact Solutions for the Coupled Modified KdV-KdV Equation	p. 193
Exact Analytical Solutions to a Set of Coupled Nonlinear Differential Equations Using Symbolic Computation	p. 201
An Effective Algorithm for Isolating the Real Solutions of Semi-Algebraic Systems and its Applications	p. 211
C-D Integrable System and Computer Aided Solver for Differential Equations	p. 221
Author Index	p. 227
Table of Contents provided by Blackwell. All Rights Reserved.

Computer Mathematics - Proceedings Of The Fifth Asian Symposium (Ascm 2001)

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Creative Machines

AI, Art & Us

Deep Fakes

1st Edition - A Critical Lexicon for Digital Museology

Empire of AI

Inside the reckless race for total domination

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Python All-in-One For Dummies

3rd Edition

Genesis

Artificial Intelligence, Hope, and the Human Spirit

Getting to Know ArcGIS Enterprise

Getting to Know

Transforming Healthcare With AI And IoT

Intelligent Solutions for a Digital Future

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Deep Fakes

A Critical Lexicon for Digital Museology

Machine Learning in Protein Science

Efficient Prediction of Protein Structures and Properties

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Artificial Intelligence in Biomaterials Design and Development

Woodhead Publishing Series in Biomaterials

Explaining Artificial Intelligence

From Epistemological Foundations to Practical Consequences

Multigrid Methods

Finite Element Method and Fast Numerical Solution for Nonlinear Problems

Regarding the Significance of Lexicography / Zur Bedeutsamkeit der Lexikographie

Europe and Australia / Europa und Australien

Economic Sustainability Potentiated by Artificial Intelligence

Contributions to Environmental Sciences & Innovative Business Technology

AI and ChatGPT Technology in Education

An Ethnographic Encounter

Computer Architecture

A Quantitative Approach

The Shortest History of AI

Building Microservices

Designing Fine-Grained Systems 2nd Edition

This product is categorised by