Author: Xiao-Shan Gao
Publisher: World Scientific
ISBN: 9810244983
Category : Computers
Languages : en
Pages : 338
Get Book Here
Book Description
This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathematics. 39 peer-reviewed original contributions together with full papers and extended abstracts by the four invited speakers, G H Gonnet, D Lazard, W McCune, and W-T Wu, cover 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, teachers, students, and engineers interested in doing mathematics using computers will find this volume good reading and a valuable reference.
Author: Xiaoshan Gao
Publisher: World Scientific
ISBN: 9814491888
Category : Mathematics
Languages : en
Pages : 338
Get Book Here
Book Description
This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathematics. 39 peer-reviewed original contributions together with full papers and extended abstracts by the four invited speakers, G H Gonnet, D Lazard, W McCune, and W-T Wu, cover 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, teachers, students, and engineers interested in doing mathematics using computers will find this volume good reading and a valuable reference.
Author: Ziming Li
Publisher: World Scientific
ISBN: 9814487090
Category : Mathematics
Languages : en
Pages : 310
Get Book Here
Book Description
This volume covers some of the most recent and significant advances in computer mathematics. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find it good reading as well as a valuable reference.
Author: Falai Chen
Publisher: World Scientific
ISBN: 9812794832
Category : Computers
Languages : en
Pages : 423
Get Book Here
Book Description
This book contains tutorial surveys and original research contributions in geometric computing, modeling, and reasoning. Highlighting the role of algebraic computation, it covers: surface blending, implicitization, and parametrization; automated deduction with Clifford algebra and in real geometry; and exact geometric computation. Basic techniques, advanced methods, and new findings are presented coherently, with many examples and illustrations. Using this book the reader will easily cross the frontiers of symbolic computation, computer aided geometric design, and automated reasoning. The book is also a valuable reference for people working in other relevant areas, such as scientific computing, computer graphics, and artificial intelligence. Contents: Algebraic Methods in Computer Aided Geometric Design: Theoretical and Practical Applications (L Gonzilez-Vega et al.); Constructing Piecewise Algebraic Blending Surfaces (Y Feng et al.); Rational Curves and Surfaces: Algorithms and Some Applications (J R Sendra); Panorama of Methods for Exact Implicitization of Algebraic Curves and Surfaces (I S Kotsireas); Implicitization and Offsetting via Regular Systems (D Wang); Determining the Intersection Curve of Two 3D Implicit Surfaces by Using Differential Geometry and Algebraic Techniques (L Gonzilez-Vega et al.); Analytical Properties of Semi-Stationary Subdivision Schemes (H Zhang & G Wang); Meshless Method for Numerical Solution of PDE Using Hermitian Interpolation with Radial Basis (Z Wu & J Liu); Clifford Algebras in Geometric Computation (H Li); Automated Deduction in Real Geometry (L Yang & B Xia); Automated Derivation of Unknown Relations and Determination of Geometric Loci (Y Li); On Guaranteed Accuracy Computation (C K Yap); Dixon A-Resultant Quotients for 6-Point Isosceles Triangular Corner Cutting (M-C Foo & E-W Chionh); Face Recognition Using Hidden Markov Models and Artificial Neural Network Techniques (Z Ou & B Xue). Readership: Upper-level undergraduates, graduate students, researchers and engineers in geometric modeling."
Author: Takao Nishizeki
Publisher: World Scientific Publishing Company
ISBN: 9813106409
Category : Computers
Languages : en
Pages : 310
Get Book Here
Book Description
The book presents the important fundamental theorems and algorithms on planar graph drawing with easy-to-understand and constructive proofs. Extensively illustrated and with exercises included at the end of each chapter, it is suitable for use in advanced undergraduate and graduate level courses on algorithms, graph theory, graph drawing, information visualization and computational geometry. The book will also serve as a useful reference source for researchers in the field of graph drawing and software developers in information visualization, VLSI design and CAD.
Author: Kiyoshi Shirayanagi
Publisher: World Scientific
ISBN: 9814490016
Category : Mathematics
Languages : en
Pages : 241
Get Book Here
Book Description
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.
Author: Ziming Li
Publisher: World Scientific
ISBN: 9789812704436
Category : Computers
Languages : en
Pages : 314
Get Book Here
Book Description
This volume covers some of the most recent and significant advances in computer mathematics. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find it good reading as well as a valuable reference.
Author: Maotai Zhao
Publisher: Springer
ISBN: 3642319653
Category : Computers
Languages : en
Pages : 790
Get Book Here
Book Description
The two volume set, CCIS 288 and 289, constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Communications and Information Processing, ICCIP 2012, held in Aveiro, Portugal, in March 2012. The 168 revised full papers of both volumes were carefully reviewed and selected from numerous submissions. The papers present the state-of-the-art in communications and information processing and feature current research on the theory, analysis, design, test and deployment related to communications and information processing systems.
Author: Hepu Deng
Publisher: Springer Science & Business Media
ISBN: 3642242812
Category : Computers
Languages : en
Pages : 624
Get Book Here
Book Description
This book constitutes, together with LNAI 7002, LNAI 7003, and LNAI 7004, the refereed proceedings of the International Conference on Artificial Intelligence and ComputationaI Intelligence, AICI 2011, held in Taiyuan, China, in September 2011. The 265 revised full papers presented in the four volumes were carefully reviewed and selected from 1073 submissions. The 83 papers presented in this volume are organized in topical sections on applications of artificial intelligence; applications of computational intelligence; automated problem solving; brain models/cognitive science; data mining and knowledge discovering; expert and decision support systems; fuzzy logic and soft computing; intelligent agents and systems; intelligent control; intelligent image processing; intelligent scheduling; intelligent signal processing; natural language processing; nature computation; neural computation; pattern recognition; rough set theory.
Author: Johannes Grabmeier
Publisher: Springer Science & Business Media
ISBN: 3642558267
Category : Computers
Languages : en
Pages : 656
Get Book Here
Book Description
This Handbook gives a comprehensive snapshot of a field at the intersection of mathematics and computer science with applications in physics, engineering and education. Reviews 67 software systems and offers 100 pages on applications in physics, mathematics, computer science, engineering chemistry and education.
