Skip to main content
Mathematica
magma's user avatar
magma's user avatar
magma's user avatar
magma
  • Member for 12 years, 8 months
  • Last seen more than a month ago
Profile Activity
Stats
5,300
reputation
83k
reached
31
answers
32
questions
Communities
View all
About

My scientific interests:

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

My Websites:

WildCats
Premiere Mathematica package for category theory

xPrint Premiere GUI for tensor input and manipulation

Visit 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

Badges
View all badges
This user doesn’t have any gold badges yet.
25
silver badges
46
bronze badges
Top tags
View all tags
39
Score
14
Posts
22
Posts %
32
Score
4
Posts
6
Posts %
26
Score
10
Posts
16
Posts %
23
Score
14
Posts
22
Posts %
16
Score
4
Posts
6
Posts %
11
Score
4
Posts
6
Posts %
Top posts
View all questions and answers
question
97
Functions with Options
Jan 20, 2012
answer
32
Creating diagrams for category theory
Jul 24, 2012
question
28
Error checking and trapping techniques with Throw and Catch
Jan 24, 2012
question
25
Best way to add KeyEvents and faster Quit
May 30, 2012
answer
22
Wolfram Workbench - Mathematica Development Alternatives
May 6, 2012
question
18
Making code version aware
Nov 11, 2013
answer
17
How to create a group action table with Mathematica?
Jan 27, 2012
question
15
Incremental build in Workbench 2 Is it possible?
May 18, 2012
question
14
Game theory packages
Jan 24, 2013
answer
14
Functions vs. patterns
Jan 26, 2012
Top Meta posts
1
5
7
What third-party packages do you use?
6
Are questions related to SystemModeler on topic?
5
Include questions on open-source variants of Mathematica in Mathematica.SE?
5
Should we have a standard comment or practice for welcoming new users?
3
What third-party packages do you use?
Top network posts
View all network posts
14
Memoized recursive functions. How to make them fool-proof?
14
Is there a category of categories?
13
How to start with automated theorem proving?
13
Is there a computer program that does diagram chases?
12
Zorn's lemma in categorical language