Journal of Algebra

Last updated

See also


Related Research Articles

<span class="mw-page-title-main">Algebraic geometry</span> Branch of mathematics

Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometrical problems. Classically, it studies zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects.

In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning to valid strings in a programming language syntax. It is closely related to, and often crosses over with, the semantics of mathematical proofs.

Computational science, also known as scientific computing, technical computing or scientific computation (SC), is a division of science that uses advanced computing capabilities to understand and solve complex physical problems. This includes

<span class="mw-page-title-main">Joseph Goguen</span> American computer scientist

Joseph Amadee Goguen was an American computer scientist. He was professor of Computer Science at the University of California and University of Oxford, and held research positions at IBM and SRI International.

<span class="mw-page-title-main">Macaulay2</span> Computer algebra system

Macaulay2 is a free computer algebra system created by Daniel Grayson and Michael Stillman for computation in commutative algebra and algebraic geometry.

<i>Journal of Symbolic Computation</i> Academic journal

The Journal of Symbolic Computation is a peer-reviewed monthly scientific journal covering all aspects of symbolic computation published by Academic Press and then by Elsevier. It is targeted to both mathematicians and computer scientists. It was established in 1985 by Bruno Buchberger, who served as its editor until 1994.

<span class="mw-page-title-main">James H. Davenport</span> British computer scientist

James Harold Davenport is a British computer scientist who works in computer algebra. Having done his PhD and early research at the Computer Laboratory, University of Cambridge, he is the Hebron and Medlock Professor of Information Technology at the University of Bath in Bath, England.

Rostislav Ivanovich Grigorchuk is a mathematician working in different areas of mathematics including group theory, dynamical systems, geometry and computer science. He holds the rank of Distinguished Professor in the Mathematics Department of Texas A&M University. Grigorchuk is particularly well known for having constructed, in a 1984 paper, the first example of a finitely generated group of intermediate growth, thus answering an important problem posed by John Milnor in 1968. This group is now known as the Grigorchuk group and it is one of the important objects studied in geometric group theory, particularly in the study of branch groups, automaton groups and iterated monodromy groups. Grigorchuk is one of the pioneers of asymptotic group theory as well as of the theory of dynamically defined groups. He introduced the notion of branch groups and developed the foundations of the related theory. Grigorchuk, together with his collaborators and students, initiated the theory of groups generated by finite Mealy type automata, interpreted them as groups of fractal type, developed the theory of groups acting on rooted trees, and found numerous applications of these groups in various fields of mathematics including functional analysis, topology, spectral graph theory, dynamical systems and ergodic theory.

Edward W Ng was an American applied mathematician who had also held the positions of senior scientist, senior engineer and technical manager in the U.S. Space Program. He is noted for his broad variety of mathematical applications in space science and engineering. He has also contributed conscientiously in the spin-off of technology from the space program, with applications in such diverse subjects as Bose–Einstein distribution in mathematical physics, symbolic and algebraic computation, computational physics and biomedical research.

<span class="mw-page-title-main">Computer algebra</span> Scientific area at the interface between computer science and mathematics

In mathematics and computer science, computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects. Although computer algebra could be considered a subfield of scientific computing, they are generally considered as distinct fields because scientific computing is usually based on numerical computation with approximate floating point numbers, while symbolic computation emphasizes exact computation with expressions containing variables that have no given value and are manipulated as symbols.

<span class="mw-page-title-main">Applied mathematics</span> Application of mathematical methods to other fields

Applied mathematics is the application of mathematical methods by different fields such as physics, engineering, medicine, biology, finance, business, computer science, and industry. Thus, applied mathematics is a combination of mathematical science and specialized knowledge. The term "applied mathematics" also describes the professional specialty in which mathematicians work on practical problems by formulating and studying mathematical models.

Waldyr Alves Rodrigues, Jr. born at Araraquara, SP, Brazil, obtained his B.Sc. in physics in 1968 at the University of São Paulo (Brazil), where he has been a research student of Mário Schenberg and became an assistant professor in 1969. He then moved to Torino, Italy, where he did postgraduate studies at the Scuola di Perfezionamento in Fisica Nucleare and obtained a degree in theoretical nuclear physics in 1971. Later that year, he returned to Brazil and became an associate professor at the new Physics Institute of Campinas State University (UNICAMP).

Lance Jeremy Fortnow is a computer scientist known for major results in computational complexity and interactive proof systems. He is the Dean of the College of Computing at the Illinois Institute of Technology.

Pieter Johannes Mosterman was Chief Research Scientist and Director of the MathWorks Advanced Research & Technology Office (MARTO) at MathWorks in Natick, Massachusetts. He also holds an Adjunct Professorship at the School of Computer Science at McGill University in Montreal, Canada. His primary research interests are in Computer Automated Multiparadigm Modeling with principal applications in design automation, training systems, and fault detection, isolation, and reconfiguration.

<span class="mw-page-title-main">Joachim von zur Gathen</span> German mathematician and computer scientist

Joachim von zur Gathen is a German computer scientist. His research spans several areas in mathematics and computer science, including computational complexity, cryptography, finite fields, and computer algebra.

Ferdinando 'Teo' Mora is an Italian mathematician, and since 1990 until 2019 a professor of algebra at the University of Genoa.

J. Michael Dunn was Oscar Ewing Professor Emeritus of Philosophy, professor emeritus of Informatics and Computer Science, was twice chair of the Philosophy Department, was Executive Associate Dean of the College of Arts and Sciences, and was founding dean of the School of Informatics at Indiana University.

<span class="mw-page-title-main">Frank-Olaf Schreyer</span>

Frank-Olaf Schreyer is a German mathematician, specializing in algebraic geometry and algorithmic algebraic geometry.

Deepak Kapur is a Distinguished Professor in the Department of Computer Science at the University of New Mexico.

<span class="mw-page-title-main">Daniel B. Szyld</span> Argentinian-American applied mathematician

Daniel B. Szyld is an Argentinian and American mathematician who is a professor at Temple University in Philadelphia. He has made contributions to numerical and applied linear algebra as well as matrix theory.