Mathematica
user avatar
user avatar
user avatar
magma
  • Member for 10 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
5,210
reputation
75k
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.
22
silver badges
46
bronze badges
Top tags
View all tags
39
Score
14
Posts
22
Posts %
28
Score
4
Posts
6
Posts %
26
Score
10
Posts
16
Posts %
22
Score
14
Posts
22
Posts %
16
Score
4
Posts
6
Posts %
11
Score
4
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
96
Functions with Options
Jan 20, 2012
question
28
Error checking and trapping techniques with Throw and Catch
Jan 24, 2012
answer
28
Creating diagrams for category theory
Jul 24, 2012
question
24
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
16
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
Should we have a standard comment or practice for welcoming new users?
3
Include questions on open-source variants of Mathematica in Mathematica.SE?
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?
13
How to start with automated theorem proving?
12
Unwanted evaluation in assignments in Mathematica: why it happens and how to debug it during the package-loading?
12
Is there a computer program that does diagram chases?
12
Symbolic predicate logic for "for all elements in a set except this one..."

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.