in computer algebra systems, the old tech is to use symbolic pattern matching e.g. Mathematica. New tech is using type theory.

What's example computer algebra software that use type systems instead of symbolic pattern matching?

Sign in to participate in the conversation
No Agenda Social

Home to Producers and Fans of the
No Agenda Show Podcast If you have an issue please DM @[email protected]