Symbolic Computation and Automated Reasoning 
Subtitle: The Calculemus-2000 Symposium
Contributors: Calculemus-2000 Symposium (Editor); Manfred Kerber (Editor); Symposium on the Integration (Corporate Author)
Publisher: AK Peters
Published: February 15, 2001
Language: eng
Format: Hardcover
Number of pages: 272
ISBN-13: 9781568811451
Subjects: Artificial intelligence; Mathematical theory of computation; Science/Mathematics; Congresses; Algebra; Mathematics; General; Data processing; Algebra - Abstract; Discrete Mathematics; Automatic theorem proving
First sentence: Abstract. In [2] we presented a Definite Integral Table Lookup (the DILTU) for parametric functions, including a minimal prototype implementation demonstrating its capabilities.