問題タブ [symbolic-math]

次のような可変境界を持つ2つのシーケンスがあります

nとmは任意の自然数であり、明らかにm>n。から減算して、式を次のように単純化する方法を確認し
たいabMaple

Mapleまたは別のCASで可能ですか？

足し算と掛け算だけを含む計算をするとします。

これは、他の多くの方法で実行できます。

加算と乗算に関しては、示されている 3 つの例のそれぞれに必要な演算の数は、それぞれ (2,1) (3,2) (3,4) です。明らかに、目標が操作の総数を減らすことである場合、最初の操作が優れています。最小数の操作を必要とする計算順序を見つけるための任意の式が与えられた場合、方法はありますか?

注: この質問は、CS クラウドの洞察と視点のために SE.math から再質問されています。

Rに相当する(matlab) symsumはありますか?

ありがとうございました！

次のようにいくつかの機能を設定しています。

そしてそれらを評価しました：

しかし、g(1) については、数値的な答えではなく記号的な答えが得られました。float() を使用することは、数値的な答えを得ようとする試みでしたが、積分のすべての項が浮動小数点数に変わっただけです。

g(1) を数値として取得するにはどうすればよいですか?

私はMatlabが初めてです。シンボリック ツールボックスを使用して逆行列を計算するにはどうすればよいですか? 私の行列には、ラプラス変数「s」があります。

数式処理システム（Matlab、Mathematicaのシンボリックツールボックスなど）での記号計算と関数型プログラミングはどのように関連しているか疑問に思いました。前者は後者に属しますか？

ありがとう、よろしく！

シンボリック計算の反対の概念は何ですか? 言い換えれば、シンボリック計算は何に属し、同じ分類でシンボリック計算以外にどのようなサブカテゴリがあるのでしょうか?

よろしくお願いします！

これは、私の以前の 2 つの質問 link 1、link 2にわずかにリンクします。私は、電気回路のシミュレーションのプロジェクトの一部となる記号評価器に取り組んでいます。前に誰かが言ったように、ラムダ関数と関数の自動生成に注意を向けました。

タスクは簡単です。いくつかのキーと値でハッシュテーブルを定義しましょう。

そして、ここに主要な派生関数があります。派生は、いくつかの再帰を伴うラムダ関数生成プロセスによって実行されます。変数、数値、および 2 つの入力の積の導出を実行できるように、これは単なるサンプルです。

いくつかの便利な条件定義

一部の変数は導出ループから抜け出すことができるため、評価用の特別な関数を定義しました。

データベースにいくつかの変数を導入する

テスト方程式 d(v1*v2)/dv1

私は正しい方法でそれをやっていますか？これはより明確にLISPで行うことができますか？

私の問題: 記号式の操作。

シンボリック式は、+、-、*、/、min、max などの演算子を使用して、整数の定数と変数から作成されます。より正確には、式を次のように表現します (Caml コード):

有用で効率的な計算 (例: a + b - a = 0 または a + 1 > a) を実行するには、ある種の正規形が必要であり、それを操作する必要があると思います。上記の表現はおそらくうまく機能しません。

誰かがこれにどのようにアプローチすべきか教えてもらえますか? コードは必要ありません。やり方がわかれば簡単に書けます。構築/単純化/比較のための正規形および/またはアルゴリズムの表現を提示する論文へのリンクも役立ちます。

また、これを行う Ocaml ライブラリを知っていれば教えてください。

シンボリック計算にはmatlabを使用します。長い計算の結果、ベッセル関数の組み合わせであるxの関数が得られ、それがゼロであることを確認したいと思います。

そのためにfzero、Matlabの関数を使用します。ただし、単一ベッセル関数では完全に機能しますが、鉱山関数では機能しません。

なぜこれが起こるのですか？問題を解決する方法は？

前もって感謝します