H ? « ‹ ← → › »

Language peer sets for Korsvold:
United States↑
United States/1965↑
Designed 1965 ↑
1960s languages ↑
Third generation↑
Early Cold War↑
Genus Symbolic ↑
Non-numerical Scientific ↑
Symbolic↑
Logical↑
Expression-oriented ↑
Symbolic/1965↑
Logical/1965↑
Expression-oriented/1965↑
Symbolic/United States↑
Logical/United States↑
Expression-oriented/United States↑
Non-numerical Scientific ↑
Non-numerical Scientific/1965↑
Non-numerical Scientific/us ↑

Korsvold(ID:7284/kor003)

Interactive non-numeric symbolic language

alternate simple view

Country: United States
Designed 1965
Genus: Symbolic
Sammet category: Non-numerical Scientific

Interactive non-numerical algebra, created by Korsvold from the Norwegian DRE at Stanford

Related languages

ALPAK	→	Korsvold	Influence
Wooldridge	→	Korsvold	Influence
Korsvold	→	MACSYMA	Incorporated some features of
Korsvold	→	MATHLAB 68	Incorporated some features of
Korsvold	→	Scratchpad	Incorporated some features of

References:

Korsvold, K (1965) Korsvold, K "An On Line Algebraic Simplify Program" Stanford Artificial Intelligence Project, Memo No 37,0 (November 1965)

Collins GE and JH Griesmer, (1966) Collins GE and JH Griesmer, "Comparison of Computing Times in ALPAK, FORMAC, PM, and Korsvold's System," SICSAM Bulletin, No. 4, September 1966.

Korsvold, Knut (1966) Korsvold, Knut "An on line program for non-numerical algebra" pp1301-1314 Abstract Extract: Form of Input Extract: Introduction Extract: Introduction Extract: Functional Substitution Extract: Limitations and improvements

Engelman, C. (1976) Engelman, C. "Algebraic Manipulation Languages" Extract: FORMAC Extract: Symbolic systems
in Encyclopedia of Computer Science, Ralston, Anthony (1976) Encyclopedia of Computer Science, Ralston, Anthony, and Meek, Chester L. (eds) New York, NY Petrocelli/Charter 1976
Resources

Reminiscence by Fateman Historical tidbit... you may wonder how GR is mnemonic for
"base" and POT is mnemonic for "power"  as in ((mexpt) GR POT).

It turns out that the macsyma simplifer owes its roots to a
program written by Knut Korsvold in 1963 or so at Stanford University.
It seems that Knut's native language  (Norwegian?) has words
for these parts.  I don't know what they really are, but
I think they are something like  grosse  and potenz.

How much is left of Korsvold's simplifier? In terms of
actual code, it is probably a very small percentage.  The idea
of hanging the simplification tools on the property lists of
symbols (like MEXPT) was in the original code.  Korsvold's
program, called "simplify"  I think, also allowed for adding
rules.  This was eliminated in the Macsyma version by the
time I saw it in 1968.

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder