| |
| | Computer Algebra, Theorem Proving, and Types (Site not responding. Last check: ) |
 | | Many computations a mathematician performs can be described in "algebraic" terms, that is, as dealing with various symbolic entities that are combined in restricted ways and are subject to laws (e.g., equations) specifying which combinations are equivalent. |
 | | The term "computer algebra", as it appears in my title, has this general sense (as opposed to the more restrictive sense of "computational commutative algebra"), and my talk will discuss this subject and its relation to automatic theorem proving and type theory. |
 | | A survey of examples of computer algebra drawn from several areas of mathematics, including commutative algebra and algebraic geometry, invariant theory, (algebraic) number theory, group theory, Lie algebra, combinatorics, algebraic topology, and analysis (scientific computation). |
| www.cs.cornell.edu /Nuprl/PRLSeminar/PRLSeminar94_95/Wilson/Oct4.html (200 words) |
|