In calculus, symbolic integration is the problem of finding a formula for the antiderivative, or indefinite integral, of a given function f(x), i.eâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2009

2009

- Sebastian Bader
- 2009

The field of neural-symbolic integration has received much attention recently. While with propositional paradigms, theâ€¦Â (More)

Is this relevant?

2006

2006

- Andreas Witzel
- 2006

The field of neural-symbolic integration has received much attention recently. While with propositional paradigms, theâ€¦Â (More)

Is this relevant?

2005

2005

- A.P.S. Melipoulos, G. J. Cokkinides, G. K. Stefopoulos
- 2006 IEEE PES Power Systems Conference andâ€¦
- 2005

Symbolic computational approaches are desirable for many applications and especially for large complex and nonlinear systemsâ€¦Â (More)

Is this relevant?

2004

2004

- JÃ¼rgen Gerhard
- Lecture Notes in Computer Science
- 2004

Where you can find the modular algorithms in symbolic summation and symbolic integration easily? Is it in the book store? On-lineâ€¦Â (More)

Is this relevant?

2000

2000

- Thomas J A Wolf
- J. Symb. Comput.
- 2000

An algorithm is described which decides if a given polynomial diierential expression of multivariate functions is exact, i.eâ€¦Â (More)

Is this relevant?

1999

1999

- Stefan Wermter
- IJCAI
- 1999

This paper describes multidimensional neural preference classes and preference Moore machines as a principle for integratingâ€¦Â (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- Robert M. Corless, Gaston H. Gonnet, D. E. G. Hare, David J. Jeffrey, Donald E. Knuth
- Adv. Comput. Math.
- 1996

The Lambert W function is defined to be the multivalued inverse of the function w 7â†’ we. It has many applications in pure andâ€¦Â (More)

Is this relevant?

1988

1988

- Graham H. Campbell
- ACM SIGSAM Bulletin
- 1988

The problem of determining an expression whose derivative is a specified expression when that expression involves unspecifiedâ€¦Â (More)

Is this relevant?

1971

1971

- Joel Moses
- Commun. ACM
- 1971

Three approaches to symbolic integration in the 1960's are described. The first, from artificial intelligence, led to Slagle'sâ€¦Â (More)

Is this relevant?

Highly Cited

1963

Highly Cited

1963

- James R. Slagle
- J. ACM
- 1963

A large high-speed general-purpose digital computer (IBM 7090) was programmed to solve elementary symbolic integration problemsâ€¦Â (More)

Is this relevant?