|
Macsyma
Macsyma (; "Project MAC's SYmbolic MAnipulator") is one of the oldest general-purpose computer algebra systems still in wide use. It was originally developed from 1968 to 1982 at MIT's Project MAC. In 1982, Macsyma was licensed to Symbolics and became a commercial product. In 1992, Symbolics Macsyma was spun off to Macsyma, Inc., which continued to develop Macsyma until 1999. That version is still available for Microsoft's Windows XP operating system. The 1982 version of MIT Macsyma remained available to academics and US government agencies, and it is distributed by the US Department of Energy (DOE). That version, DOE Macsyma, was maintained by Bill Schelter. Under the name of Maxima, it was released under the GPL in 1999, and remains under active maintenance. Development The project was initiated in July, 1968 by Carl Engelman, William A. Martin (front end, expression display, polynomial arithmetic) and Joel Moses (simplifier, indefinite integration: heuristic/Risch). Martin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Maxima (software)
Maxima () is a computer algebra system (CAS) based on a 1982 version of Macsyma. It is written in Common Lisp and runs on all POSIX platforms such as macOS, Unix, BSD, and Linux, as well as under Microsoft Windows and Android. It is free software released under the terms of the GNU General Public License (GPL). History Maxima is based on a 1982 version of Macsyma, which was developed at Massachusetts Institute of Technology, MIT with funding from the United States Department of Energy and other government agencies. A version of Macsyma was maintained by Bill Schelter from 1982 until his death in 2001. In 1998, Schelter obtained permission from the Department of Energy to release his version under the GPL. That version, now called Maxima, is maintained by an independent group of users and developers. Maxima does not include any of the many modifications and enhancements made to the commercial version of Macsyma during 1982–1999. Though the core functionality remains similar, cod ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bill Gosper
Ralph William Gosper Jr. (born April 26, 1943), known as Bill Gosper, is an American mathematician and programmer. Along with Richard Greenblatt, he may be considered to have founded the hacker community, and he holds a place of pride in the Lisp community. The Gosper curve and the Gosper's algorithm are named after him. Becoming a hacker In high school, Gosper was interested in model rockets until one of his friends was injured in a rocketry accident and contracted a fatal brain infection.. Gosper enrolled in MIT in 1961, and he received his bachelor's degree in mathematics from MIT in 1965 despite becoming disaffected with the mathematics department because of their anti-computer attitude. In his second year at MIT, Gosper took a programming course from John McCarthy and became affiliated with the MIT AI Lab. His contributions to computational mathematics include HAKMEM and the MIT Maclisp system. He made major contributions to Macsyma, Project MAC's computer algebra sys ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Joel Moses
Joel Moses (24 November 1941 – 29 May 2022) was an Israeli-American mathematician, computer scientist, and Institute Professor at the Massachusetts Institute of Technology (MIT). Biography Joel Moses was born in Mandatory Palestine on 24 November 1941 and emigrated to the United States in 1954. He attended Midwood High School in Brooklyn, New York. He received his Bachelor of Science (B.Sc.) degree in mathematics from Columbia University and a Master of Science (M.Sc.) in mathematics, also from Columbia. Under the supervision of Marvin Minsky, Moses received his Doctor of Philosophy (Ph.D.) in mathematics at MIT in 1967 with a thesis entitled ''Symbolic Integration''. This laid the groundwork for the Macsyma symbolic mathematics program that was created at MIT largely under his supervision between 1969 and 1983. Macsyma was able to solve problems such as simplification, polynomial factorization, indefinite integration, solution of differential equations, and other higher-order ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Algebra System
A computer algebra system (CAS) or symbolic algebra system (SAS) is any mathematical software with the ability to manipulate mathematical expressions in a way similar to the traditional manual computations of mathematicians and scientists. The development of the computer algebra systems in the second half of the 20th century is part of the discipline of "computer algebra" or "symbolic computation", which has spurred work in algorithms over mathematical objects such as polynomials. Computer algebra systems may be divided into two classes: specialized and general-purpose. The specialized ones are devoted to a specific part of mathematics, such as number theory, group theory, or teaching of elementary mathematics. General-purpose computer algebra systems aim to be useful to a user working in any scientific field that requires manipulation of mathematical expressions. To be useful, a general-purpose computer algebra system must include various features such as: *a user interface allo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michael Genesereth
Michael Genesereth (born 1948) is an American logician and computer scientist, who is most known for his work on computational logic and applications of that work in enterprise management, computational law, and general game playing. Genesereth is professor in the Computer Science Department at Stanford University and a professor by courtesy in the Stanford Law School. His 1987 textbook on Logical Foundations of Artificial Intelligence remains one of the key references on Symbolic artificial intelligence. He is the author of the influential Game Description Language (GDL) and Knowledge Interchange Format (KIF), the latter of which led to the ISO Common Logic standard. Education Genesereth received a B.S. in Physics (1972) from Massachusetts Institute of Technology, and both an M.S. (1974) and Ph.D. (1978) in Applied Mathematics from Harvard University. As a graduate student, he worked on the Macsyma computer algebra system and wrote his dissertation on an automated advisor for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Richard Fateman
Richard J Fateman (born November 4, 1946) Who's who in California, Volume 22, Alice Catt Armstrong, Sarah Alice Vitale, Who's Who Historical Society, 1993 - California is a professor emeritus of at the . He received a BS in Physics and Mathematics from |
Carl Engelman
Carl Engelman (October 21, 1929 – November 26, 1983) was an American computer scientist. Carl is best known as the creator of MATHLAB. He was employed by Mitre Corporation and Symbolics. He was a visiting professor at the University of Turin through a grant provided by National Research Council (Italy) The National Research Council (Italian: ''Consiglio Nazionale delle Ricerche, CNR'') is the largest research council in Italy. As a public organisation, its remit is to support scientific and technological research. Its headquarters are in Rome. .... References {{DEFAULTSORT:Engelman, Carl 1929 births 1983 deaths 20th-century American mathematicians American computer scientists Burials at Mount Auburn Cemetery ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
LispM
Lisp machines are general-purpose computers designed to efficiently run Lisp as their main software and programming language, usually via hardware support. They are an example of a high-level language computer architecture, and in a sense, they were the first commercial single-user workstations. Despite being modest in number (perhaps 7,000 units total as of 1988) Lisp machines commercially pioneered many now-commonplace technologies, including effective garbage collection, laser printing, windowing systems, computer mice, high-resolution bit-mapped raster graphics, computer graphic rendering, and networking innovations such as Chaosnet. Several firms built and sold Lisp machines in the 1980s: Symbolics (3600, 3640, XL1200, MacIvory, and other models), Lisp Machines Incorporated (LMI Lambda), Texas Instruments ( Explorer, MicroExplorer), and Xerox (Interlisp-D workstations). The operating systems were written in Lisp Machine Lisp, Interlisp (Xerox), and later partly in Common Li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bill Schelter
William Frederick Schelter (1947 – July 30, 2001) was a professor of mathematics at The University of Texas at Austin and a Lisp developer and programmer. Schelter is credited with the development of the GNU Common Lisp (GCL) implementation of Common Lisp and the GPL'd version of the computer algebra system Macsyma called Maxima. Schelter authored Austin Kyoto Common Lisp (AKCL) under contract with IBM. AKCL formed the foundation for Axiom, another computer algebra system. AKCL eventually became GNU Common Lisp. He is also credited with the first port of the GNU C compiler to the Intel 386 architecture, used in the original implementation of the Linux kernel. Schelter obtained his at |
Symbolics
Symbolics was a computer manufacturer Symbolics, Inc., and a privately held company that acquired the assets of the former company and continues to sell and maintain the Open Genera Lisp system and the Macsyma computer algebra system.Symbolics Sales by David Schmidt The symbolics.com domain was originally registered on March 15, 1985, making it the first -domain in the world. In August 2009, it was sold to napkin.com (formerly XF.com) Investments. History Symbolics, Inc. was a |
Formula Editor
A formula editor is a computer program that is used to typeset mathematical formulas and mathematical expressions. Formula editors typically serve two purposes: * They allow word processing and publication of technical content either for print publication, or to generate raster images for web pages or screen presentations. * They provide a means for users to specify input to computational systems that is easier to read and check than plain text input and output from computational systems that is easy to understand or ready for publication. Content for formula editors can be provided manually using a markup language,e.g. TeX or MathML, via a point-and-click GUI, or as computer generated results from symbolic computations such as Mathematica. Typical features include the ability to nest fractions, radicals, superscripts, subscripts, overscripts and underscripts together with special characters such as mathematical symbols, arrows and scalable parentheses. Some systems are capabl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ordinary Differential Equation
In mathematics, an ordinary differential equation (ODE) is a differential equation whose unknown(s) consists of one (or more) function(s) of one variable and involves the derivatives of those functions. The term ''ordinary'' is used in contrast with the term partial differential equation which may be with respect to ''more than'' one independent variable. Differential equations A linear differential equation is a differential equation that is defined by a linear polynomial in the unknown function and its derivatives, that is an equation of the form :a_0(x)y +a_1(x)y' + a_2(x)y'' +\cdots +a_n(x)y^+b(x)=0, where , ..., and are arbitrary differentiable functions that do not need to be linear, and are the successive derivatives of the unknown function of the variable . Among ordinary differential equations, linear differential equations play a prominent role for several reasons. Most elementary and special functions that are encountered in physics and applied mathematics are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
