Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540420712, 9783540449904
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formalizing Rewriting in the ACL2 Theorem Prover

2001 ◽  
pp. 92-106
Author(s):  
José-Luis Ruiz-Reina ◽  
José-Antonio Alonso ◽  
María-José Hidalgo ◽  
Francisco-Jesús Martín-Mateos
Keyword(s):  
Theorem Prover

Reasoning about the Elementary Functions of Complex Analysis

2001 ◽  
pp. 115-126 ◽  
Author(s):  
Robert M. Corless ◽  
James H. Davenport ◽  
David J. Jeffrey ◽  
Gurjeet Litt ◽  
Stephen M. Watt
Keyword(s):  
Complex Analysis ◽  
Elementary Functions

Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra

2001 ◽  
pp. 174-183 ◽  
Author(s):  
Robert M. Corless ◽  
Mark W. Giesbrecht ◽  
Ilias S. Kotsireas ◽  
Stephen M. Watt
Keyword(s):  
Linear Algebra
Load More ...
Sign in / Sign up

Export Citation Format

Share Document