The following pages link to Symbolic integration (Q5636298):
Displaying 23 items.
- Macsyma: A personal history (Q655565) (← links)
- On transcendental functions arising from integrating differential equations in finite terms (Q748504) (← links)
- Parallel state-space search for a first solution with consistent linear speedups (Q757044) (← links)
- Integration in finite terms with special functions: the error function (Q1071502) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- Unification theory (Q1124375) (← links)
- Symbolic and numerical computer analysis of the combined local and overall buckling of rectangular thin-walled columns (Q1224442) (← links)
- Risk, uncertainty, and complexity (Q1309846) (← links)
- On the complexity of linear quadratic control (Q1330536) (← links)
- Hypercomputation by definition (Q1434375) (← links)
- On symbolic integration of algebraic functions (Q2229735) (← links)
- On difference schemes approximating first-order differential equations and defining a projective correspondence between layers (Q2307968) (← links)
- On the evolution of artificial intelligence (Q2540658) (← links)
- Generalized means-ends analysis and artificial intelligence (Q2545653) (← links)
- A program that computes limits using heuristics to evaluate the indeterminate forms (Q2562568) (← links)
- Integration of elementary functions (Q2639105) (← links)
- Partitioning of algebraic subexpressions in computer algebra systems (Q2802385) (← links)
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
- Factoring Multivariate Polynomials over Algebraic Number Fields (Q4100173) (← links)
- Experiments with a symbolic programming system for complex analysis (Q4104803) (← links)
- (Q4164818) (← links)
- Integration of Algebraic Functions (Q5050161) (← links)
- Effective Set Membership in Computer Algebra and Beyond (Q5505506) (← links)
