Solving symbolic equations with PRESS

DOI10.1016/S0747-7171(89)80007-0zbMath0668.68035MaRDI QIDQ1118401

Bernard Silver, Lawrence Byrd, Alan Bundy, Leon S. Sterling, Richard A. O'Keefe

Publication date: 1989

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

isolationsimplificationsymbolic equationsinterval packagesymbolic solving

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (1)

PRESS

Uses Software

• MACSYMA
• INT

Cites Work

• Unnamed Item
• Unnamed Item
• A generalized interval package and its use for semantic checking
• Commentary on: solving symbolic equations with PRESS
• Some undecidable problems involving elementary functions of a real variable

This page was built for publication: Solving symbolic equations with PRESS