Kumiko Nakagawa

Learn More
The Theorema project aims at integrating computation and deduction in a system that can be used by the working scientist for building and checking mathematical models, including the design and veriica-tion of new algorithms. Currently, the system uses the rewrite engine of the computer algebra system Mathematica for building and combining a number of(More)
  • 1