I found the undocumented EquationalLogic`FindCounterexample[] by browsing the lists of available symbols, but I have no clue about its purpose. The name is intriguing! So far I found the following: Accepts 2 or 3 arguments Returns an Integer (1, 10, 15, 31, 100 ...) For the first two argumen...

I want to know if there is a way of typing into Mathematica an expression like the following, $\epsilon^{\mu \nu \lambda} f^{abc} A^a_\mu A^b_\nu A^c_\lambda + g\epsilon^{\mu \nu \lambda} A^a_\mu \partial_\lambda A^a_\nu + \bar{\psi}(\gamma^\mu(\partial_\mu + gA^a_\mu T^a))\psi$ $ (..repeate...

Whenever I start Mathematica 8 on my Mac the built-in Mac OS firewall asks if I want to allow JLink to accept incoming connections. Then, during running, I'll get the same question about Mathematica.app. Sometimes the requests occur several times during the day, though not always. It's a minor ir...

I understand that JLink loads each time Mathematica launches or each time a kernel starts, and that this can require permission from the firewall, if it is enabled but OS X provides settings the provide this permission by default, so that I don't have to provide it each time Mathematica starts...