The joy of formula manipulation
type: Item
instance of: scholarly article
title: The joy of formula manipulation
zbMATH Open document ID: 1003.68078
DOI: 10.1016/S0020-0190(00)00195-2
author: W. H. J. Feijen
published in: Information Processing Letters
publication date: 2002-07-25T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 1771791
zbMATH Keywords: formula manipulation
MaRDI profile type: Publication
cites work: Q4320535
cites work: Q4692630
full work available at URL: s0020-0190(00)00195-2
OpenAlex ID: W2164498112
description: scientific article; zbMATH DE number 1771791