Вопросы с тегом «symbolic-computation»

У меня есть несколько сложных невыпуклых задач глобальной оптимизации. В настоящее время я использую MATLAB Optimization Toolbox (в частности, fmincon()с алгоритмом = 'sqp'), что довольно эффективно . Тем не менее, большая часть моего кода написана на Python, и я бы тоже хотел провести оптимизацию на Python. Есть ли решатель НЛП …

77 python  optimization  nonlinear-programming  linear-algebra  linear-solver  sparse-matrix  ode  automatic-differentiation  efficiency  matrix  symbolic-computation  pde  multiphysics  operator-splitting  fluid-dynamics  pde  multigrid  pde  hyperbolic-pde  quadrature  precision  numerical-analysis  fluid-dynamics  interpolation  c  ode  testing  data-sets  pde  fluid-dynamics  hyperbolic-pde  pde  finite-element  fluid-dynamics  stability  incompressible  pde  hyperbolic-pde  fluid-dynamics  pde  precision  floating-point  convex-optimization  conditioning  pde  hyperbolic-pde  stability  implicit-methods  explicit-methods  fluid-dynamics  accuracy  pde  hyperbolic-pde  petsc  linear-algebra 

Мы знаем, что симметрична и положительно определена. Мы знаем, что B ортогонально:AA\mathbf AВB\mathbf B Вопрос: является ли симметричным и положительно определенным? Ответ: да.B ⋅ A ⋅ B⊤B⋅A⋅B⊤\mathbf B \cdot\mathbf A \cdot\mathbf B^\top Вопрос: Мог ли компьютер сказать нам это? Ответ: возможно. Существуют ли системы символической алгебры (например, Mathematica), которые обрабатывают …

36 matrix  symbolic-computation 

Я всегда вычисляю вещи вручную, но теперь мои товарищи становятся противными и делают много повторяющихся упражнений, в том числе просто вставляя вещи, как показано выше. Я особенно заинтересован в программном обеспечении с открытым исходным кодом, таком как Python или R, чтобы упростить эти виды уравнений. Я пытался использовать Wolfram Alpha …

17 education  symbolic-computation 

Обычно можно обратиться к статье или книге, чтобы найти точки интеграции и веса для единичного треугольника и тетраэдра. Я ищу метод для автоматического вычисления таких точек и весов. В следующем примере кода Mathematica вычисляются веса и точки интеграции для элементов единичной линии (четырехугольник / шестигранник): unitGaussianQuadraturePoints[points_] := Sort[x /. Solve[Evaluate[LegendreP[points, …

12 symbolic-computation  reference-request 

В недавнем вопросе о решении системы из 7 нелинейных алгебраических уравнений символически Брайан Борхерс экспериментально подтвердил, что Maple может решать полиномиальную систему, с которой не справляется Matlab / Mupad. В прошлом я слышал от людей, работающих в этой области, что в Maple реализована высококачественная реализация базисов Грёбнера и связанных с …

10 reference-request  polynomials  symbolic-computation  maple 

Я решаю нелинейную систему связанных уравнений и вычисляю якобиан дискретной системы. Результат действительно сложный, ниже приведены (только!) Первые 3 столбца матрицы ,3 × 93×93\times 9 (Сложность возникает отчасти потому, что численная схема требует экспоненциального подбора для устойчивости.) У меня довольно общий вопрос о реализации числовых кодов с использованием якобианов. Я …

10 symbolic-computation  jacobian  design-patterns  sympy 

У меня есть система обыкновенных дифференциальных уравнений - 7 уравнений и ~ 30 параметров, управляющих их поведением, как часть математической модели передачи болезни. Я бы хотел , чтобы найти устойчивые состояния для этих уравнений Changing dx/dt = rest of the equationдля 0 = equationкаждого из уравнений делает простую проблему алгебры. …

9 ode  symbolic-computation  computational-biology