Mathematica
Technology
>
Application Packages
>
Additional Applications
>
Theorema
ITEMS
3
items are in this category. Listing
all
items:
Equational Prover of THEOREMA
A new symbolic method for solving linear two-point boundary value problems on the level of operators
Theorema: A Proving System based on
Mathematica
© 2008 Wolfram Research, Inc.
•
Terms of Use
•
Privacy Policy
Sign up for our newsletter: