Symbolic integration
From MaRDI portal
Publication:5636298
DOI10.1145/362637.362651zbMath0228.68009OpenAlexW2123806880MaRDI QIDQ5636298
Publication date: 1971
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/362637.362651
Related Items
On the complexity of linear quadratic control, Integration of Algebraic Functions, Integration of elementary functions, MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics, Unnamed Item, Unification theory, Macsyma: A personal history, Hypercomputation by definition, On symbolic integration of algebraic functions, Factoring Multivariate Polynomials over Algebraic Number Fields, Experiments with a symbolic programming system for complex analysis, Symbolic and numerical computer analysis of the combined local and overall buckling of rectangular thin-walled columns, Partitioning of algebraic subexpressions in computer algebra systems, On transcendental functions arising from integrating differential equations in finite terms, $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation, On difference schemes approximating first-order differential equations and defining a projective correspondence between layers, Parallel state-space search for a first solution with consistent linear speedups, On the evolution of artificial intelligence, Generalized means-ends analysis and artificial intelligence, A program that computes limits using heuristics to evaluate the indeterminate forms, Effective Set Membership in Computer Algebra and Beyond, Risk, uncertainty, and complexity, Integration in finite terms with special functions: the error function
