The symposium "MEGA-90 - Effective Methods in Algebraic Geome try" was held in Castiglioncello (Livorno, Italy) in April 17-211990. The themes - we quote from the "Call for papers"--Were the fol lowing: - Effective methods and complexity issues in commutative algebra, pro jectiv…
A quick guide to computing in algebraic geometry with many explicit computational examples introducing the computer algebra system Singular.
This is a quick guide to computing in algebraic geometry with many explicit computational examples introducing the computer algebra system Singular.
A quick guide to computing in algebraic geometry with many explicit computational examples introducing the computer algebra system Singular.
by Kemper, Gregor, Derksen, Harm
fromEncyclopaedia of mathematical sciences
by Kemper, Gregor, Derksen, Harm
fromEncyclopaedia of mathematical sciences
"This book is about the computational aspects of invariant theory. Of central interest is the question how the invariant ring of a given group action can be calculated. Algorithms for this purpose form the main pillars around which the book is built." -- Back cover.
The author presents the first in-depth study of the work of Edmund Husserl and Jacob Klein on the philosophical foundations of the logic of modern symbolic mathematics. Accounts of the philosophical origins of formalized concepts--especially mathematical concepts and the process…
Burt C. Hopkins presents the first in-depth study of the work of Edmund Husserl and Jacob Klein on the philosophical foundations of the logic of modern symbolic mathematics. Accounts of the philosophical origins of formalized concepts-especially mathematical concepts and the pro…
This book offers an introduction to computer programming, numerical analysis, and other mathematical ideas that extend the basic topics learned in calculus. It illustrates how mathematicians and scientists write computer programs, covering the general building blocks of programm…
