C/C++で数式処理をしたい。

Question

###前提・実現したいこと

C/C++で数式処理をしたいと思っています。
ここでいう数式処理とは文字を含む四則演算，微分，積分などの演算のことです。
自分で作るのはあまりにも難しすぎるため，ライブラリを探すことにしました。
しかし，調べてみたところLinux用のライブラリばかりでした。
もし，Windowsでも使えるライブラリがあれば教えていただきたいです。
また，どうしてLinux用のライブラリが多いのか知りたいです。

###追記

調べて見つけたライブラリはGiNaCというものです。
GiNaC is Not a CAS
GiNaC - Wikipedia

どうやらGiNaCはCLNというライブラリが必要なようです。

Before manually installing GiNaC you should have downloaded the library CLN and installed it on your system. GiNaC is worthless without that library.

CLN - Class Library for Numbers
Class Library for Numbers - Wikipedia

Answer 1

Leptonというのが有りました。
どこまで処理できるのかはわかりません。Windowsでも動くのではないかと。
GiNaCについてはここに日本語の簡単な解説がありました。

追記：
数式処理システム一覧
に、網羅されているようです。これによると、GiNaCはWindows対応になっているようです。

Answer 2

自分が前に同じ様な事をやる必要が出てきた時に、 unixでは、yacc/lex を使って処理を作り、
windows側は、bison を使って作りました。

Answer 3

調べて見つけたライブラリはGiNaCというものです。

https://ja.m.wikipedia.org/wiki/GiNaC

対応OSはクロスプラットフォームって書いてありますし、本家(http://theor.jinr.ru/~varg/web/proj/ginac/woe32/)にWindowsへの導入方法書いてませんかね？(はやとちりだったらすみません)

Comments

[episteme]

MingWin/Cygwin による ”なんちゃってWindows対応”みたいです。Visual C++でbuildするわけじゃなさそう。

Answer 4

「数式処理」のような、純粋にプログラムとしての処理を行うライブラリでは、C/C++の規格に沿って書いてあれば、LinuxでもWindowsでも動きます。どのようなライブラリを使いたいのか、まずは挙げてみてください。

逆に以下のようなものでは、両対応するにはそれなりの対応が必要です。

• スレッドやforkなどの実行制御が入るもの
• ネットワーク通信を行うもの（BSDソケットとWinsockに違いがあります）
• グラフィックス、GUI処理
• インラインアセンブラなど、ハードウェアに密着した処理