Symbolic integration - MaRDI portal

Cited in

(23)

Integration of Algebraic Functions
Factoring Multivariate Polynomials over Algebraic Number Fields
On the complexity of linear quadratic control
Integration in finite terms with special functions: the error function
Integration of elementary functions
Effective Set Membership in Computer Algebra and Beyond
Unification theory
Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration
Risk, uncertainty, and complexity
On transcendental functions arising from integrating differential equations in finite terms
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
Hypercomputation by definition
Macsyma: A personal history
Experiments with a symbolic programming system for complex analysis
MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics
scientific article; zbMATH DE number 3597875 (Why is no real title available?)
On the evolution of artificial intelligence
Generalized means-ends analysis and artificial intelligence
\textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
A program that computes limits using heuristics to evaluate the indeterminate forms
Symbolic and numerical computer analysis of the combined local and overall buckling of rectangular thin-walled columns
On symbolic integration of algebraic functions

This page was built for publication: Symbolic integration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5636298)