User Portlet
| Discussions |
|---|
| Is it also possible to set a new shortcut for the modified sign like esc+ un +esc. |
| Hi, Is it possible to implement a Sequent calculus of first order mathematical Logic into mathematica an manipulate expressions of the first order mathematical language? The calculus would consits of 9 rules that tell mathematica which changes can... |
| Cheers your link already helped! |
| nice! This works fine. But now it takes a really long time to compute. The important stuff that I want to hold on is the "For" command and one line above. Have I put the Commands around "For" in a way that they slow down the "For" process because it... |