2,145 reputation
727
bio website wildcatsformma.wordpress.com
location Somewhere over the rainbow
age
visits member for 2 years, 6 months
seen Jul 23 at 19:00

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
  • Ballroom dancing

More or less fluent in (random order):

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


Oct
28
accepted Incremental build in Workbench 2 Is it possible?
Apr
11
accepted How to migrate or export projects with Workbench
Mar
12
accepted Game theory packages
Jun
9
accepted Best way to add KeyEvents and faster Quit
Jan
24
accepted Prenex and Skolem normal forms
Jan
20
accepted Functions with Options