Language for the On-Line Investigation and Transformation of Abstractions

Technology Dictionary -> Language for the On-Line Investigation and Transformation of Abstractions

Search:

Language for the On-Line Investigation and Transformation of Abstractions



(LOLITA) An extension of the Culler-Fried System for symbolic mathematics.

["An On- line Symbol Manipulation System", F.W. Blackwell, Proc ACM 22nd Natl Conf, 1967].

[Sammet 1969, p. 464].

(2003-07-29)