Lines Matching refs:algebraic

1685 …hine. The feasibility of implementing such a system with a FORTRAN-like algebraic compiler as the …
4677   title =        "Papers from the 2nd symposium on symbolic and algebraic manipulation",
4690   conftitle =    "Papers from the 2nd symposium on symbolic and algebraic manipulation",
4691 …bra; algebraic expressions; equivalence; greatest common divisors; polynomial; polynomials; result…
4713   conftitle =    "Papers from the 2nd symposium on symbolic and algebraic manipulation",
4715 …keywords =     "algebraic; algebraic simplification; computational physics; data handling; physics…
4736   conftitle =    "Papers from the 2nd symposium on symbolic and algebraic manipulation",
4759   conftitle =    "Papers from the 2nd symposium on symbolic and algebraic manipulation",
4784   conftitle =    "Papers from the 2nd symposium on symbolic and algebraic manipulation",
4786 …keywords =     "algebra; algebraic simplification; automatic; simplification capabilities; substit…
4793   title =        "Automatic algebraic manipulation in celestial mechanics",
4806   conftitle =    "Papers from the 2nd symposium on symbolic and algebraic manipulation",
4808 …keywords =     "algebra; automated algebraic manipulation; celestial mechanics; integration; pertu…
4815   title =        "General relativity and the application of algebraic manipulative systems",
4828 …presence of matter in a simple case. Attention is drawn to the strictly algebraic difficulties enc…
4832   conftitle =    "Papers from the 2nd symposium on symbolic and algebraic manipulation",
4834 …keywords =     "algebra; algebraic manipulation; algebraic manipulative systems; equation manipula…
4854 …to Slagle's SAINT and to a large degree to Moses' SIN. The second, from algebraic manipulation, le…
4858   conftitle =    "Papers from the 2nd symposium on symbolic and algebraic manipulation",
9281 …esentation to handling terrain information illustrates its utility. The algebraic properties of th…
13403 … time for that program. The second processor is a set of procedures for algebraic manipulation whi…
15196 …me lines of joint work with A. S. Householder, the character and use of algebraic methods in the t…
15202 …keywords =     "absolute; algebraic methods; Archimedian vector lattice; contraction; L norms; M n…
15385 …ified as compound function expressions in the algebra of functions. The algebraic properties of th…
15391 …keywords =     "algebraic properties; compound; computer metatheory; computer programming; functio…
17092 …keywords =     "algebraic manipulation; analysis; computer programming languages; execution behavi…
20611 …algebraic technique for the specification of abstract data types. Among the examples presented is …
20617 …keywords =     "abstract data types; algebraic technique; computer metatheory; computer programmin…
21209 …keywords =     "algebraic complexity; algorithmic cost functions; algorithms; automata theory; com…
23588 … this paper. These results are obtained by using various computer-aided algebraic manipulation tec…
23594 …keywords =     "algebraic manipulation; availability; computer systems; computer systems, digital;…
24758 …algebraic axioms. The virtue of these axioms is that they permit a representation-independent form…
24764 …keywords =     "abstract data type; algebraic axiomatizations; algebraic axioms; computer programm…