Sciweavers

3 search results - page 1 / 1
» aisc 2000
Sort
View
AISC
2000
Springer
14 years 27 days ago
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra
Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsi...
AISC
2000
Springer
14 years 27 days ago
Formalizing Rewriting in the ACL2 Theorem Prover
José-Luis Ruiz-Reina, José-Antonio A...
AISC
2000
Springer
14 years 27 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...