|
Macaulay Computer Algebra System
Macaulay2 is a free computer algebra system created by Daniel Grayson (from the University of Illinois at Urbana–Champaign) and Michael Stillman (from Cornell University) for computation in commutative algebra and algebraic geometry. Overview Macaulay2 is built around fast implementations of algorithms useful for computation in commutative algebra and algebraic geometry. This core functionality includes arithmetic on rings, modules, and matrices, as well as algorithms for Gröbner bases, free resolutions, Hilbert series, determinants and Pfaffians, factoring, and similar. In addition, the system has been extended by a large number of packages. Nearly 200 packages are included in the distribution of Macaulay2 as of 2019, and notable package authors include Craig Huneke and Frank-Olaf Schreyer. The Journal of Software for Algebra and Geometry has published numerous packages and programs for Macaulay2. Macaulay2 has an interactive command-line interface used from the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michael Stillman
Michael Eugene Stillman (born March 24, 1957) is an American mathematician working in computational algebraic geometry and commutative algebra. He is a Professor of Mathematics at Cornell University. He is known for being one of the creators (with Daniel Grayson) of the Macaulay2 computer algebra system. Education and career Michael Stillman completed his PhD at Harvard University in 1983 under the direction of David Mumford. He had postdoctoral positions at the University of Chicago, Brandeis University, and the Massachusetts Institute of Technology before moving to a permanent position at Cornell University in 1987. Stillman is best known for his work on computer algebra systems. In 1983, he began work with Dave Bayer on the Macaulay computer algebra system, which they continued to improve until 1993. To get beyond several limitations in the design of Macaulay, Stillman and Daniel Grayson began work on the Macaulay2 system in 1993. Macaulay2 remains in active development as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Craig Huneke
Craig Lee Huneke (born August 27, 1951) is an American mathematician specializing in commutative algebra. He is a professor at the University of Virginia. Huneke graduated from Oberlin College with a bachelor's degree in 1973 and in 1978 earned a Ph.D. from the Yale University under Nathan Jacobson and David Eisenbud (''Determinantal ideal and questions related to factoriality''). As a post-doctoral fellow, he was at the University of Michigan. In 1979 he became an assistant professor and was at the Massachusetts Institute of Technology and the University of Bonn (1980). In 1981 he became an assistant professor at Purdue University, where in 1984 he became an associate Professor and became a professor in 1987. From 1994 to 1995 he was a visiting professor at the University of Michigan and in 1999 was at the Max Planck Institute for Mathematics in Bonn (as a Fulbright Scholar). In 1999, he was Henry J. Bischoff professor at the University of Kansas. In 2002 he was at MSRI. Since 20 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
European Mathematical Society
The European Mathematical Society (EMS) is a European organization dedicated to the development of mathematics in Europe. Its members are different mathematical societies in Europe, academic institutions and individual mathematicians. The current president is Volker Mehrmann, professor at the Institute for Mathematics at the Technical University of Berlin. Goals The Society seeks to serve all kinds of mathematicians in universities, research institutes and other forms of higher education. Its aims are to #Promote mathematical research, both pure and applied, #Assist and advise on problems of mathematical education, #Concern itself with the broader relations of mathematics to society, #Foster interaction between mathematicians of different countries, #Establish a sense of identity amongst European mathematicians, #Represent the mathematical community in supra-national institutions. The EMS is itself an Affiliate Member of the International Mathematical Union and an Associate Membe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Open-source Software
Open-source software (OSS) is computer software that is released under a license in which the copyright holder grants users the rights to use, study, change, and distribute the software and its source code to anyone and for any purpose. Open-source software may be developed in a collaborative public manner. Open-source software is a prominent example of open collaboration, meaning any capable user is able to participate online in development, making the number of possible contributors indefinite. The ability to examine the code facilitates public trust in the software. Open-source software development can bring in diverse perspectives beyond those of a single company. A 2008 report by the Standish Group stated that adoption of open-source software models has resulted in savings of about $60 billion per year for consumers. Open source code can be used for studying and allows capable end users to adapt software to their personal needs in a similar way user scripts an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Andrei Okounkov
Andrei Yuryevich Okounkov (russian: Андре́й Ю́рьевич Окунько́в, ''Andrej Okun'kov'') (born July 26, 1969) is a Russian mathematician who works on representation theory and its applications to algebraic geometry, mathematical physics, probability theory and special functions. He is currently a professor at the University of California, Berkeley and the academic supervisor of HSE International Laboratory of Representation Theory and Mathematical Physics. In 2006, he received the Fields Medal "for his contributions to bridging probability, representation theory and algebraic geometry.""Information about Andrei Okounkov, Fields Medal winner" ICM Press Release Education and career He received his doctorate at |
Francis Sowerby Macaulay
Francis Sowerby Macaulay FRS (11 February 1862, Witney – 9 February 1937, Cambridge) was an English mathematician who made significant contributions to algebraic geometry. He is known for his 1916 book ''The Algebraic Theory of Modular Systems'' (an old term for ideals), which greatly influenced the later course of commutative algebra. Cohen–Macaulay rings, Macaulay duality, the Macaulay resultant and the Macaulay and Macaulay2 computer algebra systems are named for Macaulay. Macaulay was educated at Kingswood School and graduated with distinction from St John's College, Cambridge. He taught the top mathematics class in St Paul's School in London from 1885 to 1911. His students included J. E. Littlewood and G. N. Watson. In 1928 Macaulay was elected Fellow of the Royal Society Fellowship of the Royal Society (FRS, ForMemRS and HonFRS) is an award granted by the judges of the Royal Society of London to individuals who have made a "substantial contribution to the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dave Bayer
David Allen Bayer (born November 29, 1955) is an American mathematician known for his contributions in algebra and symbolic computation and for his consulting work in the movie industry. He is a professor of mathematics at Barnard College, Columbia University. Education and career Bayer was educated at Swarthmore College as an undergraduate, where he attended a course on combinatorial algorithms given by Herbert Wilf. During that semester, Bayer related several original ideas to Wilf on the subject. These contributions were later incorporated into the second edition of Wilf and Albert Nijenhuis' influential book ''Combinatorial Algorithms'', with a detailed acknowledgement by its authors. Bayer subsequently earned his Ph.D. at Harvard University in 1982 under the direction of Heisuke Hironaka with a dissertation entitled ''The Division Algorithm and the Hilbert Scheme''. He joined Columbia University thereafter. Bayer is the son of Bryce Bayer, the inventor of the Bayer filter. C ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
High-level Programming Language
In computer science, a high-level programming language is a programming language with strong Abstraction (computer science), abstraction from the details of the computer. In contrast to low-level programming languages, it may use natural language ''elements'', be easier to use, or may automate (or even hide entirely) significant areas of computing systems (e.g. memory management), making the process of developing a program simpler and more understandable than when using a lower-level language. The amount of abstraction provided defines how "high-level" a programming language is. In the 1960s, a high-level programming language using a compiler was commonly called an ''autocode''. Examples of autocodes are COBOL and Fortran. The first high-level programming language designed for computers was Plankalkül, created by Konrad Zuse. However, it was not implemented in his time, and his original contributions were largely isolated from other developments due to World War II, aside from th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Interpreted Language
In computer science, an interpreter is a computer program that directly executes instructions written in a programming or scripting language, without requiring them previously to have been compiled into a machine language program. An interpreter generally uses one of the following strategies for program execution: # Parse the source code and perform its behavior directly; # Translate source code into some efficient intermediate representation or object code and immediately execute that; # Explicitly execute stored precompiled bytecode made by a compiler and matched with the interpreter Virtual Machine. Early versions of Lisp programming language and minicomputer and microcomputer BASIC dialects would be examples of the first type. Perl, Raku, Python, MATLAB, and Ruby are examples of the second, while UCSD Pascal is an example of the third type. Source programs are compiled ahead of time and stored as machine independent code, which is then linked at run-time and executed by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
GNU TeXmacs
GNU TeXmacs is a scientific word processor and typesetting component of the GNU Project. It originated as GNU Emacs with TeX functionalities, though it shares no code with those programs, while using TeX fonts. It is written and maintained by Joris van der Hoeven and a group of developers. The program produces structured documents with a WYSIWYG user interface. New document styles can be created by the user. The editor provides high-quality typesetting algorithms and TeX and other fonts for publishing professional looking documents. An outline of interactive editing of structured text (1980s-2020s) As a structured WYSIWYG editor and document preparation system, TeXmacs is similar to earlier structured document editors, such as Interleaf (first release 1985), Framemaker (1986), SoftQuad Author/Editor (1988), Lilac, (1991), and Thot; there was also academic research into interactive editing of complex typographical constructs represented logically. In the 2000s and 2010s, inte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Emacs
Emacs , originally named EMACS (an acronym for "Editor MACroS"), is a family of text editors that are characterized by their extensibility. The manual for the most widely used variant, GNU Emacs, describes it as "the extensible, customizable, self-documenting, real-time display editor". Development of the first Emacs began in the mid-1970s, and work on its direct descendant, GNU Emacs, continues actively; the latest version is 28.2, released in September 2022. Emacs has over 10,000 built-in commands and its user interface allows the user to combine these commands into macros to automate work. Implementations of Emacs typically feature a dialect of the Lisp programming language, allowing users and developers to write new commands and applications for the editor. Extensions have been written to, among other things, manage files, remote access, e-mail, outlines, multimedia, git integration, and RSS feeds, as well as implementations of ''ELIZA'', ''Pong'', '' Conway's Life'', ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
