Results 231 to 240 of about 49,972 (258)
Some of the next articles are maybe not open access.
Exercises in formula manipulation
1990No abstract.
Feijen, W.H.J., Bijlsma, A.
openaire +1 more source
Application of formula manipulation to nonequilibrium fluid flow
International Journal of Heat and Mass Transfer, 1976Abstract The problems of nonisothermal fluid flow between parallel plates and in a circular tube are solved for the case when the thermal conductivity and viscosity are functions of temperature. The solutions are obtained using formula manipulation techniques.
openaire +1 more source
A user's examination of the formula manipulation language - SYMBAL
ACM SIGSAM Bulletin, 1971The highlights of the SYMBAL system and language are reviewed in this paper. The main strengths and weaknesses of SYMBAL are discussed. Three examples are included to illustrate the language. Several recommendations are made for improving the language.
openaire +1 more source
Functional analysis, formula manipulation, and satellite geodesy
Journal of Geophysical Research, 1973Functional analysis algorithms as developed by Kantorovich provide a rigorous theory for the convergence of iterative methods, specifically Newton's method, to a wide class of nonlinear functional equations on Banach spaces. The numerical application of the Newton-Kantorovich theorem, quasilinearization, has been demonstrated by Bellman.
openaire +1 more source
RALF — A Relation-Algebraic Formula Manipulation System and Proof Checker
1994In the last years, relational calculus of Tarski and his co-workers has widely been used by computer scientists who view it as a convenient formalism for describing fundamental concepts of programming languages. Among other things, this was motivated by the simple component-free and “linear” nature of the relational formulae and terms which allows ...
Claudia Hattensperger +2 more
openaire +1 more source
Efficient Manipulation of Logical Formulas as Decision Diagrams
Proceedings of the 31th MinisymposiumConstraint solving and the manipulation of Satisfiability Modulo Theories (SMT) formulas is a fundamental task in symbolic model checking. SMT solvers have proven to be efficient tools in exploiting the high expressive power and flexibility offered by SMT formulas.
Mondok, Milán, Molnár, Vince
openaire +1 more source
The method of moments for higher moments and the usefulness of formula manipulation systems
1995Though often not explicitly stated, the method of moments is one of the heavily used methods in queueing analysis. By tracing a typical, tagged customer as it proceeds through the system expected values for a wide range of systems, especially single server systems with Poisson arrivals, have been obtained in the last decades.
Martin Paterok +2 more
openaire +1 more source
Design and implementation of a language for manipulating algebraic formulae.
2013This thesis explores the possibilities of doing mathematical problems involving algebra on a computer. A language is designed which allows names to occur as unknown quantities. This language has all the facilities of a general purpose language such as IMP, but is designed to be used inter-actively by a user at a console.
openaire +1 more source