solver Questions
1
I would like to understand the general idea behind hybrid modelling (in particular state events) from a numerical point of view (although I am not a mathematician :)). Given the following Modelica ...
Kat asked 26/3, 2017 at 9:57
2
Solved
I am working on a program in Python in which a small part involves optimizing a system of equations / inequalities. Ideally, I would have wanted to do as can be done in Modelica, write out the equa...
5
Solved
I'm using R 3.3.1 (64-bit) on Windows 10. I have an x-y dataset that I've fit with a 2nd order polynomial. I'd like to solve that best-fit polynomial for x at y=4, and plot drop-down lines from y=4...
Colquitt asked 17/1, 2017 at 0:49
2
Solved
The documentation on nonlinsolve gives this example:
from sympy.core.symbol import symbols
from sympy.solvers.solveset import nonlinsolve
x, y, z = symbols('x, y, z', real=True)
nonlinsolve([x*y -...
5
Solved
This is the error I'm getting when trying to compile some code that uses taucs (not my code):
.../taucs/src/taucs.h:554: error: conflicting declaration ‘typedef struct taucs_ccs_matrix taucs_ccs_m...
2
How do I solve a non-linear equation in SymPy which is of the form
y = P*x + Q + sqrt(S*x + T)
where I know y(0), y'(0), y(c), y'(c). I want to find P, Q, S and T. and represent y as a function ...
Jodijodie asked 26/3, 2016 at 7:40
8
Solved
Here is a simple calculation that I do in Excel. I will like to know if it can be done python or any other language.
Loan amount 7692
Period : 12 months
Rate of interest 18 Per Annum
The formula ...
2
Solved
I'm conceptualizing a solver for a variant of sudoku called multi-sudoku, where multiple boards overlap like so:
If I understand the game correctly, you must solve each grid in such a way that t...
Tyrontyrone asked 13/12, 2015 at 1:19
1
Solved
I have a rather large symbolic function that is evaluated for different values of a parameter in a loop. In each iteration, after finding the expression of the function, partial derivatives are der...
Fulguration asked 10/12, 2015 at 6:53
1
Solved
I want to know how many iterations scipy.sparse.linalg.gmres is taking to converge, but there doesn't seem to be an argument for that. There is a maxiter argument that one could set to terminate th...
Mclin asked 4/11, 2015 at 1:14
2
Solved
What I would like to do is split a group of (n) items into groups of equal size (groups of size m, and for simplicity assume that there are no leftovers, i.e. n is divisible by m). Doing this multi...
Flour asked 26/9, 2015 at 21:38
2
Solved
Suppose that you want to find a λ-calculus program, T, that satisfies the following equations:
(T (λ f x . x)) = (λ a t . a)
(T (λ f x . (f x))) = (λ a t . (t a))
(T (λ f x . (f (f x)))) = (λ a b ...
Abduction asked 21/9, 2015 at 4:5
4
Solved
I've recently begun using MathNet to implement our linear algebra, however I'm having some trouble translation MATLAB functions to MathNet.
In MATLAB I often use the simple solve using the backsla...
2
Solved
I have a equation system and I want to solve it using numerical methods. I want to get a close solution given a starting seed. Let me explain.
I have a vector of constants ,X, of values:
X <...
Nauseous asked 17/9, 2015 at 7:55
1
Solved
This answer to this question works only for situations in which the desired solution to the coupled functions is not restricted to a certain range.
But what if, for example, we wanted a solution s...
Heeheebiejeebies asked 13/9, 2015 at 21:30
1
Solved
Every goal that I have encountered in Isabelle so far that could be solved using arith could also be solved by presburger and vice versa, for example
lemma "odd (n::nat) ⟹ Suc (2 * (n div 2)) = n"...
Strawser asked 21/2, 2015 at 9:22
1
Solved
In Isabelle, I often find that I can prove a goal successfully using different solvers.
Generally I would prefer to use the weakest solver that can just about prove the goal. Based on my experienc...
Geodesic asked 13/2, 2015 at 19:21
1
Solved
I am trying to create a solvability function for a game algorithm. Basically a function that returns true or false for a given game if it is solvable or not.
The game is a type of lights-out...
2
Solved
I have an equation, as follows:
R - ((1.0 - np.exp(-tau))/(1.0 - np.exp(-a*tau))) = 0.
I want to solve for tau in this equation using a numerical solver available within numpy. What is the best w...
Philina asked 30/3, 2014 at 10:39
2
Solved
Please can you help optimize this working MiniZinc code:
Task: There is a conference which has 6x time slots. There are 3 speakers attending the conference who are each available at certain slots....
Disconnect asked 23/12, 2013 at 16:6
1
Solved
I'm fairly new to R and I'm trying to write a script for what I used to do with Solver in Excel. In my data below, I have a list of workers with job types A-E. Each worker has a salary and a produc...
Effort asked 3/10, 2013 at 14:32
4
Solved
In my last question seen here: Sudoku - Region testing I asked how to check the 3x3 regions and someone was able to give me a satisfactory answer (although it involved a LOT of tinkering to get it ...
5
I'm trying to solve an equation in python using SymPy. I have a generated equation (something like function = y(8.0-(y**3.0)) which I use with SymPy to create a new equation like this: eq = sympy.E...
3
Solved
Answers in C, Python, C++ or Javascript would be very much appreciated.
I've read a few books, done all the examples. Now I'd like to write a simple program.
But, I already ran into the following r...
1
I've a problem with my sudoku solving method. The program works like this; the board is empty when started, the users adds a couple of numbers to the board and then by hitting a Solve-button the pr...
Schlicher asked 21/3, 2013 at 16:16
© 2022 - 2025 — McMap. All rights reserved.