magma

less info

822 reputation

212

My scientific interests:

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

Visit the newly launched Mathematica.SE!

My non-scientific interests:

More or less fluent in (random order):

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

	822 reputation	bio	website		visits	member for	4 months
212 badges		location	Somewhere over the rainbow		seen	2 hours ago

8 Answers

votes activity newest

9	How to create a group action table with Mathematica?
9	Functions vs. patterns
6	Difficulties in creating strict and robust equivalence between two symbols using the Notation package
4	Wolfram Workbench - Mathematica Development Alternatives
4	How to represent and manipulate abstract indexed vector (or tensor) expressions?

+20	How to create a floating image with no window background
+20	Managing formatted usage messages in Wolfram Workbench
+10	Functions vs. patterns
+15	Wolfram Workbench - Mathematica Development Alternatives

votes activity newest

36	Functions with Options
11	Error checking and trapping techniques with Throw and Catch
4	How to create a floating image with no window background
4	Prenex and Skolem normal forms