2297 search results - page 23 / 460 » An Algorithm for Computing the Integral Closure |
JAR
1998
13 years 8 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
CGI
2009
IEEE
14 years 17 days ago
2009
IEEE
Despite the clear benefits that stream and path surfaces bring when visualizing 3D vector fields, their use in both industry and for research has not proliferated. This is due, in...
ICCS
2007
Springer
14 years 2 months ago
2007
Springer
In this work we study the computational complexity of a class of grid Monte Carlo algorithms for integral equations. The idea of the algorithms consists in an approximation of the ...
ICICIC
2006
IEEE
14 years 2 months ago
2006
IEEE
Genetic algorithm and neural network (GNN) are integrated to build a financial early warning system. An example of Taiwanese banking industry is discussed to test the hit ratio of...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
In this paper we study planar polynomial differential systems of this form: dX dt = X = A(X, Y ), dY dt = Y = B(X, Y ), where A, B Z[X, Y ] and deg A d, deg B d, A H and B H. ...