Read our cookies policy and privacy statement for more information.
×Davis, California•
Project (Term Project).Introduction to computational mathematics, symbolic computation, and computer generated/verified proofs in algebra, analysis and geometry. Investigation of rigorous new mathematics developed in conjunction with modern computational questions and the role that computers play in mathematical conjecture and experimentation
Units: 4.0
Hours: Lecture—3 hour(s);