Sciweavers

AISC
2000
Springer
16 years 12 days ago
Formalizing Rewriting in the ACL2 Theorem Prover
José-Luis Ruiz-Reina, José-Antonio A...
157
Voted
AISC
2000
Springer
16 years 12 days ago
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra
Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsi...
AISC
2000
Springer
16 years 12 days 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...