Indefinite integration with validation
From MaRDI portal
Publication:4371634
DOI10.1145/76909.76915zbMath0900.65043OpenAlexW2092650410MaRDI QIDQ4371634
Gary S. Krenz, George F. Corliss
Publication date: 18 March 1998
Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)
Full work available at URL: http://www.acm.org/pubs/contents/journals/toms/1989-15/
algorithmssymbolic computationerror analysisadaptive quadraturevalidationinterval techniquesindefinite integration
Symbolic computation and algebraic computation (68W30) Interval and finite arithmetic (65G30) Numerical integration (65D30)