2,110 reputation
626
bio website wildcatsformma.wordpress.com
location Somewhere over the rainbow
age
visits member for 2 years, 3 months
seen 7 hours ago

My scientific interests:

  • Mathematics: Category Theory, Algebra, Logic (Model-Theory, ATP), Control Systems
  • Physics: General Relativity, QFT
  • Amateur Astronomer and Astrophotographer
  • Mathematica programming

My Website:WildCats
Premiere Mathematica package for category theory

Visit the newly launched Mathematica.SE!

My non-scientific interests:

  • Skiing, Sailing, Windsurfing
  • Argentine Tango dancer

More or less fluent in (random order):

Italian, English, German, French, Spanish, Dutch and struggling with Russian


Feb
28
comment How change order of items added to the Palettes menu?
murray could you please give a link to the package location on the internet?
Feb
22
awarded  Good Question
Feb
22
awarded  Nice Question
Feb
1
comment Prenex and Skolem normal forms
Daniel, thank you for your help. I will be offline for several days. Afterwards I will clarify my question.
Jan
31
comment Prenex and Skolem normal forms
Daniel: I imagined something like that (about grep). The ToPrenexForm works very well in my MMA. If it's possible, could you please grep further (or ask around) if -from the prenexed or skolemized form- the full resolution algorithm is implemented Resolution maybe using the DPLL algorithm ?
Jan
31
comment How to create a group action table with Mathematica?
I do not understand -completely- your comment. Anyway: I copied G from your question. MMA will immediately transform it into G = {1, a, a ** a, b, b ** a,a ** b} (using my code), so you may as well start from this directly. The alternative rule a ** b := b ** a ** a is not good since you would replace a short string (a**b) with a longer one.
Jan
31
comment Prenex and Skolem normal forms
Daniel, I do not really understand what does it mean "I learned this via grep"?. AFAIK grep is a Unix command so....?
Jan
29
comment How to make a drop-shadow for Graphics3D objects
Very good answer!
Jan
28
awarded  Tag Editor
Jan
28
revised
added 240 characters in body
Jan
28
revised
added 62 characters in body
Jan
28
suggested suggested edit on
Jan
28
suggested suggested edit on
Jan
28
wiki
Jan
28
wiki
Jan
27
revised How to create a group action table with Mathematica?
edited tags
Jan
27
comment How to create a group action table with Mathematica?
I can make another answer - tomorrow - using the Group theory functions in MMA v.8 if you are interested.
Jan
27
comment How to create a group action table with Mathematica?
This does not work correctly, since the multiplication in D3 is not commutative, while Times is commutative. You would get wrong results using this table.
Jan
27
answered How to create a group action table with Mathematica?
Jan
27
revised How to create a group action table with Mathematica?
corrected a mathematical formula