Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Computer Algebra and Geometric Algebra with Applications

Computer Algebra and Geometric Algebra with Applications

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540262961
Condition
New
Product Description

MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name Mathematics Mechanization has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It di?ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning in that its goal is to make algorithmic studies and applications of mathematics the major trend of mathematics development in the information age. The International Workshop on Mathematics Mechanization (IWMM) was initiated by Prof. Wu in 1992, and has ever since been held by the Key L- oratory of Mathematics Mechanization (KLMM) of the Chinese Academy of Sciences. There have been seven workshops of the series up to now. At each workshop, several experts are invited to deliver plenary lectures on cutting-edge methods and algorithms of the selected theme. The workshop is also a forum for people working on related subjects to meet, collaborate and exchange ideas.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Cometary Science

$179.99

Stability of Time Dependent and Spatially Varying Flows

$109.99

Heidelberger Jahrbcher

$69.99

Upper Main Sequence Stars with Anomalous Abundances

$169.00

China, Engineering, and Ethics: A Sketch of the Landscape

$44.99

Permutation Complexity in Dynamical Systems

$39.99

Wie Wirken Stickstoffkunstdnger auf Vorkommen und Entwicklung von Azotobacter Chroococcum im Boden?

$49.99

Schrdinger Equations and Diffusion Theory

$54.99

Gender and Energy Transition

$159.99

Congenital Mllerian Anomalies

$99.99

Atomic Force Microscopy/Scanning Tunneling Microscopy

$129.00

Food Law and Regulation for Non-Lawyers

$99.99

Interkulturelles Training

$74.99

Introduction to Proteomics

$129.00

Cheers for a Dozen Ears

$5.96

Fairne, Effizienz und Qualitt in der Gesundheitsversorgung

$79.99

Einfhrung in die Programmiersprache FORTRAN IV

$69.99

Pete the Cat and His Four Groovy Buttons

$6.71

Pro Ember Data

$37.99

Normalien fr Leitungen

$54.99

Environmental Archaeology: Meaning and Purpose

$169.99

Data Mining on Multimedia Data

$39.99

Zeit und Kultur

$69.99

The Detective's Companion in Crime Fiction

$169.99

How to Save the FMCG Industry

$54.99

Das Gute und das Gerechte

$19.99

The Comparative Physiology of the Pancreatic Islets

$54.99

Strukturen und Prozesse US-amerikanischer Politik

$59.99

Torhter im Profifuball Werden und Sein

$59.99

Crashworthiness

$169.99

Vaccine Technologies for Veterinary Viral Diseases

$219.99

Measurement of Image Velocity

$84.99

Cytotoxic Drug Resistance Mechanisms

$84.99

Modeling & Imaging of Bioelectrical Activity

$129.00

Emerging Research in Artificial Intelligence and ComputationaI Intelligence

$109.99

Competencies, Higher Education and Career in Japan and the Netherlands

$84.99

Institutions and Organizations of Refugee Integration

$59.99

Advances in Identity Theory and Research

$54.99

Biology of Aging

$109.99

Praxis Internationaler Organisationen - Vertragswandel und vlkerrechtlicher Ordnungsrahmen

$99.99