Type-complete, strongly-typed, imperative programming language with a two-level object model of categories and domains. Improved extension language for the Axiom algebra system; captures the high-level objects and relationships in modern mathematics.
Type-complete, strongly-typed, imperative programming language with a two-level object model of categories and domains. Improved extension language for the Axiom algebra system; captures the high-level objects and relationships in modern mathematics.
We Use Cookies
Some of these cookies are necessary, while others help us to improve
your experience by providing insights into how the site is being
used. We do not use, transmit or sell cookies for marketing
purposes. For more detailed information on the cookies we use,
please check our Privacy
Policy.