Библиотека символьных вычислений на чистом C

Существует ли библиотека символьных вычислений, написанная на чистом C? Символьные вычисления, как при манипулировании математическими уравнениями в символьной форме.

Я знаю, что есть Mathematica и Sympy . Но я заинтересован в создании высокопроизводительной реализации библиотеки символьных вычислений на чистом C для привязки к языку сценариев, в частности к Ruby для начала.

Казалось бы, нужна такая библиотека символьной математики. Со временем, в идеале, библиотека может быть построена по аналогии с libgit2 , где есть центральная реализация проекта на C и различные ответвления реализации с целью создания привязок к другим языкам?