Resultados da pesquisa a pedido "solver"

3 a resposta

C # dll para resolver equações simples

Estou procurando uma dll C # para resolver equações simples. Exemplo .. 10 = 2 + 3 + xO resultado deve ser x = 5; Existe uma DLL grátis?

4 a resposta

SymPy: Limite de símbolo / variável para intervalo

0 a resposta

Problema com a função de solução do Matlab?

O seguinte comando syms x real; f = @(x) log(x^2)*exp(-1/(x^2)); fp(x) = diff(f(x),x); fpp(x) = diff(fp(x),x);e solve(fpp(x)>0,x,'Real',true)retornar o resultado resolva ([0,0 <(8,0 * exp (-1,0 / x ^ 2)) / x ^ 4 - (2,0 * exp (-1,0 / x ^ 2)) ...

1 a resposta

esolução de matrizes com C (dentro da CUD

omo parte de um problema maior, preciso resolver pequenos sistemas lineares (ou seja, NxN, onde N ~ 10), para que as bibliotecas cuda relevantes não façam sentido em termos de velocidad Infelizmente, algo que também não está claro é como ...

10 a resposta

Solucionadores de equações para equações matemáticas lineares

Eu preciso resolver algumas equações matemáticas na minha aplicação. Aqui está um exemplo típico de tal equação:

2 a resposta

Vetor diferente de zero no quantificador

Quero verificar uma fórmula do formulário: Exists p . ForAll x != 0 . f(x, p) > 0Uma implementação (que não está funcionando) é a seguinte: def f0(x0, x1, x, y): return x1 ** 2 * y + x0 ** 2 * x s = Solver() x0, x1 = Reals('x0 x1') p0, p1 = ...

4 a resposta

Alguma boa ferramenta para resolver programas inteiros no linux? [fechadas]

2 a resposta

Solucionador de QP para Java [fechado]

Eu estou procurando um bom e fácil de usar o solucionador de programação quadrática baseada em Java (QP).Pesquisando ao redor me deparei ojAlgo (http://ojalg...

1 a resposta

Erro SOCver Solver para fPortoflio usando o resolvRsocp

Gostaria de usar um solucionador R SOCP para obter resultados semelhantes ao seguinte artigo:http://www.optimization-online.org/DB_FILE/2014/05/4366.pdf [http://www.optimization-online.org/DB_FILE/2014/05/4366.pdf] E pesquisando um pouco, parece ...

1 a resposta

Existe algum software além do Simple Solver que resolva os circuitos digitais considerando as entradas / saídas?