Sciweavers

AISC
2000
Springer
14 years 4 months ago
Formalizing Rewriting in the ACL2 Theorem Prover
José-Luis Ruiz-Reina, José-Antonio A...
AISC
2000
Springer
14 years 4 months ago
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra
Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsi...
AISC
2000
Springer
14 years 4 months ago
Reasoning about the Elementary Functions of Complex Analysis
There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make “howlers” or not to simplify enough. In thi...
Robert M. Corless, James H. Davenport, David J. Je...