Publication:3782726
From MaRDI portal
zbMath0641.68005MaRDI QIDQ3782726
Masanori Idesawa, Sumio Abe, Tetsuo Ida, Shunsuke Akahori, Keiichi Tsuboi, Hideaki Ishida, Eiichi Goto, Kentaro Shimizu, Kei Hiraki, Takashi Soma, Nobuyuki Inada, Masayuki Suzuki, Koji Ujihara
Publication date: 1985
symbolic computation; REDUCE; VLSI; garbage collection; algebraic manipulation computer; big number arithmetic; FLATS; formula-processing software; paging function; parallel hash
68W30: Symbolic computation and algebraic computation
68N25: Theory of operating systems
68N99: Theory of software