Solving symbolic equations with PRESS
conference contribution
posted on 2024-07-13, 06:52 authored by Leon SterlingLeon Sterling, Alan Bundy, Lawrence Byrd, Richard O'Keefe, Bernard SilverWe outline a program, PRESS (PRolog Equation Solving System) for solving symbolic, transcendental, non-differential equations. The methods used for solving equations are described, together with the service facilities. The principal technique, meta-level inference, appears to have applications in the broader field of symbolic and algebraic manipulation.
History
Available versions
PDF (Accepted manuscript)Publisher DOI
ISBN
9783540116073Journal title
European Computer Algebra Conference (EUROCAM 82), Marseille, France, 05-07 April 1982 / Jacques Calmet (ed.)Conference name
European Computer Algebra Conference EUROCAM 82, Marseille, France, 05-07 April 1982 / Jacques Calmet ed.Volume
144Pagination
7 ppPublisher
SpringerCopyright statement
Copyright © Springer-Verlag Berlin Heidelberg 1982. The accepted manuscript is reproduced in accordance with the copyright policy of the publisher. The definitive version of the publication is available at www.springer.com.Language
engUsage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC