symbolic-math

1熱度

2回答

我使用Matlab的符號工具箱其解決功能，並試圖解決4個方程的非線性系統，有4個變量： x1 y1 x2 y2 和4個參數 delta1 delta2 alpha beta 該方程式在下面的描述由於圖像：這裏是Matlab代碼： syms x1 x2 y1 y2 alpha beta delta1 delta2 [x1,y1,x2,y2] = solve('delta1 * x1^

2熱度

1回答

matlab符號方程給出未定的結果？

不太確定求解函數在matlab中如何工作？我試圖解決以下符號方程，它給出了x和交換的Y值的結果時，我定義不同的參數： T = [0.3, 1.4, 10; 1.3, 0.4, 15; 0.02, 0.01, 1]; syms x y j i q1 = (T(1,1)*x+T(1,2)*y+T(1,3))/(T(3,1)*x+T(3,2)*y+T(3,3))-j; q2 = (T(2,1)*x

3熱度

1回答

Octave中的符號整合？（需要安裝extantion？使用Ubuntu 12.04）

我想計算GNU Octave中的以下符號表達式： int（exp（ikx- | k |^n），k，-infinity，（ - 它當然是函數'x'，其中'x'是一組數據。）我不成功。我明白，在網上搜索一下，Octave最初並沒有帶有內置的「符號數學」套件。這是真的嗎？如何下載並安裝它（使用Ubuntu 12.04，從'Terminal'？）？感謝您提前！

4熱度

2回答

Pi，Matlab符號數學工具箱有一個錯誤？

你好，我有一個問題。當我在MATLAB計算除法：X /（PI^2） syms x x/(pi.^2) ans = (281474976710656*v)/2778046668940015 正確答案爲x/9.8696，那麼爲什麼MATLAB給我這個結果呢？這是一個錯誤？

-1熱度

1回答

本文討論的KLEE core-utils實驗的輸入是什麼？

我無法再現本文的圖7中的結果： http://www.stanford.edu/~engler/klee-osdi-2008.pdf 具體而言，我試圖測試核心UTIL的「TAC」命令這樣做： klee.cde -max-time=60 --optimize --libc=uclibc --posix-runtime ./tac.bc -r -sym-files 20 1 然而我沒有看到KLEE

0熱度

2回答

Dsolve在matlab中的初始值

假設你有一個微分方程，並且你想用matlab中的dsolve函數來解決這個問題，但是首先你必須詢問用戶初始值並根據他將輸入的內容給出答案。我應該怎麼辦呢？

1熱度

1回答

處理4塊定向矩陣乘積和Maxima中的反演

我很關心尋找符號解決方案並擴展到矩陣乘積和反演。其實，這是我想自己定義的。我會解釋我自己。我想創建一個「數學」對象，我將其稱爲B4MAT，它表示一個矩形矩陣，其元素是4個正方形的半角矩陣。所以我想定義兩個B4MAT之間的產品，讓我回到另一個B4MAT，其組件是通過應用產品規則來計算的，但在矩陣之間，而不是標量。此外，這是一個非常重要的觀點，考慮一個矩陣的Blockwise Inversion。

8熱度

1回答

內容MathML與OpenMath進行模型交換

在我的研究小組中，我們有不同的人在不同的符號工具中進行代數建模，例如Matlab中的Symbolic Toolbox和Python中的Sympy。然後，這些模型通常會導出爲C代碼並複製粘貼到我們自己的基於符號C++的工具中，以進行進一步的符號操作。當尋找替代這種難以維護的方法時，我發現兩種格式看起來差不多標準化：OpenMath和「Content MathML」。請注意，我們只對語義感興趣，沒有

3熱度

1回答

基於平面的幾何的符號擾動

我知道可以將像'Simulation of Simplicity'（SoS）這樣的符號擾動方案應用於幾何謂詞，如4點方向，以避免處理退化情況。我假設它也適用於基於平面的幾何體，其中點由3個平面的交點隱式定義，所以我可以有一個類似的東方謂詞，告訴我在第4個平面的哪一側定義的點由前3個謊言。我會干擾平面方程的係數而不是一個點的笛卡爾座標。問題是，一個點可能由許多不同的平面定義。立方體中的每個頂點由3

1熱度

1回答

最簡單的方法來創建符號正交矩陣

我有8個罪和餘弦，我試圖象徵性地定義，如下所示使用Matlab。我的目標是使用所有這些罪和餘弦象徵性地構建8×8的矩陣H（累積Givens旋轉矩陣），並最終看到該H正交投影矩陣的公式是什麼。我可以這樣做，使用下面的代碼G7*G6*...*G0*I，其中I是身份8x8，Gi是與元素（i：i + 1，i：i + 1）對應的Givens旋轉。 c_0 = sym('c_0'); c_1 = sym('