Skip to content

Qualitative analysis of mathematical expressions using computer symbolic mathematics.

David R. Stoutemyer

VenueBISSAC
Year1976
ProceedingsSYMSACC

Browse the full ISSAC paper archive.