-
0 votesanswersviews
在求解方程时它意味着什么,只有括号以最大值回归
在求解方程时它意味着什么,只有括号以最大值回归? 我试图解决phi,它保持双方的phi . 我试着解决A并用括号回来任何想法为什么? 这是等式 eq2:acos(A*cos((2*%pi*f*t+phi)/A) -2*%pi*f*t)=phi; wxWidgets:3.0.0 Unicode支持:是Maxima版本:5.32.1 即使我在其中添加值仍然拒绝将phi放在一边 -
0 votesanswersviews
是否有可能用z3证明包括阶乘的数学陈述?
我试图证明以下内容 wolfram alpha似乎能够辨别它确实是true,虽然它没有决定(没有意外): declare(n, integer) $ assume(n > 0) $ is(equals(2^n - n - 1 - sum(binomial(n,k), k, 2, n), 0)); => unknown 现在我想我会带出大枪并尝试Z3(即使我只完成了教程),但我仍然试... -
0 votesanswersviews
如何解决涉及行列式的Maxima中的矩阵方程?
我需要在Maxima中从这个等式中得到alpha值,这涉及行列式 . 顺便说一句,M和K是8x8矩阵,它们是已知的,只有未知的是alpha . 有人可以提出解决方法吗? 我尝试了这段代码,但我需要添加一些命令来查找alpha矢量 . eqchar:ratsimp(determinant(ev(-lambda^2*(M_cond)+K_cond)))$ eq:eqchar=0;