Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,246,638 papers from all fields of science
Search
Sign In
Create Free Account
Symbolic integration
Known as:
Integration
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
21 relations
Algorithm
Coefficient
Computer algebra system
Computer science
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Symbolic integration algorithms in CAS MathPartner
Vyacheslav. A Korabelnikov
Tambov University Reports. Series: Natural and…
2019
Corpus ID: 199020688
Risch theorem, published in 1969, gave beginning to creation of procedure library for symbolic integration. But such library, for…
Expand
2016
2016
A Proposal for Common Dataset in Neural-Symbolic Reasoning Studies
Özgür Yılmaz
,
A. Garcez
,
Daniel L. Silver
NeSy@HLAI
2016
Corpus ID: 15692481
We promote and analyze the needs of a common publicly available benchmark dataset to be used for neural-symbolic studies of…
Expand
2015
2015
Mean Field Theory in Doing Logic Programming Using Hopfield Network
M. Velavan
,
Z. R. Yahya
,
M. Halif
,
S. Sathasivam
2015
Corpus ID: 56292168
Logic program and neural networks are two important perspectives in artificial intelligence. Logic describes connections among…
Expand
2015
2015
Acceleration technique for neuro symbolic integration
S. Sathasivam
2015
Corpus ID: 15802684
This paper presents an improved technique for accelerating the process of doing logic programming in discrete Hopfield neural…
Expand
2015
2015
Computation and theory of Mordell-Tornheim-Witten sums II
D. Bailey
,
J. Borwein
Journal of Approximation Theory
2015
Corpus ID: 266483
Review
2006
Review
2006
Integral Evaluation Using the Mellin Transform and Generalized Hypergeometric Functions: Tutorial and Applications to Antenna Problems
G. Fikioris
IEEE Transactions on Antennas and Propagation
2006
Corpus ID: 25469627
This is a tutorial presentation of the Mellin-transform (MT) method for the exact calculation of one-dimensional definite…
Expand
2005
2005
Symbolic Integration of Dynamical Systems by Collocation Methods
A.P.S. Melipoulos
,
G. Cokkinides
,
G. Stefopoulos
IEEE PES Power Systems Conference and Exposition
2005
Corpus ID: 47574512
Symbolic computational approaches are desirable for many applications and especially for large complex and nonlinear systems…
Expand
1996
1996
SINT - a Symbolic Integration Tutor
A. Mitrovic
International Conference on Intelligent Tutoring…
1996
Corpus ID: 37917131
We present an intelligent tutoring system in the area of symbolic integration. The system is capable of solving problems step-by…
Expand
1995
1995
A rst approach to a Taxonomy of Fuzzy Neural Systems �
L. Magdalena
1995
Corpus ID: 16571378
Fuzzy logic and neural networks are two disci plines applied on information processing Both techniques have their advantages and…
Expand
1984
1984
Learning Problem Solving
B. Porter
1984
Corpus ID: 215933795
Author(s): Porter, Bruce W. | Abstract: Learning to problem solve requires acquiring multiple forms of knowledge. Problem solving…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE