Tag Info

New answers tagged

0

You should formulate your problem in its simplest form. Resolve[ForAll[{n, a, b}, n > 0 && a > 0 && b > 0, n a + b > 0]] True You can do it with the complications you introduce into your question. Resolve[ForAll[{n, a, b}, n > 0 && a > 0 && b > 0, n a + b > 0] /. {a -> f[n - 2], b -> ...


4

Preamble/Disclaimer: I will present my thoughts rather than giving a definite answer in the Wolfram language, focused solely on configurator technology/methodology, and will give some humble suggestions. I have NO knowledge about ASP (Answer Set Programming) and in addition have absolutely NO knowledge about the scope and organization of your project. I’m ...



Top 50 recent answers are included