Symbolic integration - MaRDI portal

Cited in

(25)

Integration in finite terms with special functions: the error function
MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics
Unification theory
Symbolic and numerical computer analysis of the combined local and overall buckling of rectangular thin-walled columns
Risk, uncertainty, and complexity
On the complexity of linear quadratic control
Hypercomputation by definition
On symbolic integration of algebraic functions
On difference schemes approximating first-order differential equations and defining a projective correspondence between layers
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
Integration of elementary functions
Partitioning of algebraic subexpressions in computer algebra systems: an alternative to matching with an application to symbolic integration
\textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
Factoring Multivariate Polynomials over Algebraic Number Fields
Experiments with a symbolic programming system for complex analysis
scientific article; zbMATH DE number 3597875 (Why is no real title available?)
Integration of Algebraic Functions
Effective Set Membership in Computer Algebra and Beyond
Macsyma: A personal history
Symbolic mathematical computation 1965--1975: the emergence of a discipline
Low-temperature sampling on sparse random graphs
On transcendental functions arising from integrating differential equations in finite terms
Parallel state-space search for a first solution with consistent linear speedups

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)