とりあえずシンプルなものでもいい。そう思って探してみたところ、Simple algebraic data types for C というものを見つけました。 論文などもあるのですが、使い方がよくわかりませんでした。
This project contains a very simple, and incomplete, symbolic math library in Scala ... and there is a ML style "let" expression. Here is a short example that demonstrates the differentiation feature: ...
Basic algebraic problems involve one or two steps. More difficult ones involve forming equations and solving them before using the answer in some way. Most algebraic problems will involve forming ...
Prerequisites are kept to a minimum, and numerous examples illustrating the material occur throughout ... dependent upon the depth of theory and those details dependent on simple algebraic and ...
Basic algebraic problems involve one or two steps. More difficult ones involve forming equations and solving them before using the answer in some way. Most algebraic problems will involve forming ...