Rozważmy nieliniową najmniejszych modelu kwadratów na badania, na przykład w następującej postaci) y ~ theta/(1 + exp(-(alpha + beta * x)))
(my problemem jest kilka zmiennych, a funkcja zewnętrzna j
Dzień dobry, walczę z R i logarytmu naturalnego (ln). Po pierwsze, nie mogę znaleźć funkcji ln (x) w R. Zauważyłem, że log (x) jest taki sam jak ln (x) (przy użyciu ln (x) z kalkulatorem). W R: log(5)
W Non-linear arithmetic and uninterpreted functions, Leonardo de Moura twierdzi, że taktyka qfnra-nlsat nie została jeszcze w pełni zintegrowana z resztą Z3. Myślałem, że sytuacja zmieniła się za dwa