The web page includes excerpts about the Axiom of Choice, orderings, norms, etc. Computer Algebra Information Network CAIN is an information service dedicated to computer algebra. To disseminate computer algebra news, knowledge and software among users in all scientific, educaional and technical disciplines. The Consortium encompasses a cooperative research effort to develop comprehensive mathematical models of the continuous casting of steel slabs and to apply these models to improve understanding, optimize the process. FMS solves large systems of simultaneous equations which occur in engineering and scientific applications.
Performance is obtained by paral fatman Server of a mathematics professor.