Page 1
Page 1
Granite genesis : in-situ melting and crustal evolution
In this book we suggest an alternative model for the origin of granite in terms of in-situ meltingintracrustal convection that physically determines the process from partial melting of mid-upper crustal rocks to formation of a convecting magma layer. We illustrate the model using the geological, geochemical and geophysical studies from Australia, North and South America, Europe and China, and conclude that heat convection within a crustal partial melting layer is essential for formation of granite magma and that without convection, partial melting of rocks produces migmatites rather than granites. Granite is layer-like within the crust, and shape and size of granite bodies reflect the geometric relationship between an irregular upper surface of the crystallised magma layer and erosion surface. Repeated melting of the crust generates downward-younging granite sequences. Chemical and isotopic compositions of granites indicate differentiation within the magma rather than different deep sources.
Dynamic Magma Evolution
Understanding the magmatic processes responsible for the chemical and textural signatures of volcanic products and igneous rocks is crucial for monitoring, forecasting, and mitigating the impacts of volcanic activity. Dynamic Magma Evolution is a compilation of recent geochemical, petrological, physical, and thermodynamic studies. It combines field research, experimental results, theoretical approaches, unconventional and novel techniques, and computational modeling to present the latest developments in the field.
Discovering Mathematics with Magma : Reducing the Abstract to the Concrete
This volume celebrates the first decade of the Computer Algebra system Magma. With a design based on the ontology and semantics of algebra, Magma enables users to rapidly formulate and perform calculations in the more abstract parts of mathematics. The book range over much of Magma's coverage of algorithmic algebra: from number theory and algebraic geometry, via representation theory and group theory to some branches of discrete mathematics and graph theory. A basic introduction to the Magma language is given in an appendix. The book is simultaneously an invitation to learn a new programming language in the context of contemporary research problems, and an exposition of the types of problem that can be investigated using computational algebra.
Computer algebra in scientific computing ; Vol. 3718 ; 8th International workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
This volume contains the proceedings of the CASC 2005 continued a tradition — started in 1998 — of international con-ferences on the latest advances in the application of computer algebra systems(CASs) and methods to the solution of various problems in scientific computing.The methods of scientific computing play an important role in research andengineering applications in the natural and the engineering sciences. The signif-icance and impact of computer algebra methods and computer algebra systemsfor scientific computing has increased considerably in recent times. Nowadays,such general-purpose computer algebra systems as Maple, Magma, Mathematica,MuPAD, Singular, CoCoA and others enable their users to solve the followingthree important tasks within a uniform framework:(a) symbolic manipulation;(b) numerical computation;(c) visualization. The result of this job is reflected in this volume, which contains revised versionsof the accepted papers. The collection of papers included in the proceedingscovers various topics of computer algebra methods, algorithms, and softwareapplied to scientific computing:
