とりあえずシンプルなものでもいい。そう思って探してみたところ、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 ...

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 ...