L Spice

539
Reputation
1223 views
Is this your account?

Registered User 

Name L Spice
Member for 3 years
Seen Mar 8 at 17:48
Website
Location
Age
4

Questions
votes newest views recent
12
22
votes
5
answers
2k
views

Proof assistants for mathematics

feb 18 10 at 13:53 Charles Stewart 1,669●8●15

1
4
votes
1
answer
319
views

Commutativity and Kostant sections

sep 20 at 12:50 Alexander Premet 1,389●3●6

1
2
votes
3
answers
409
views

Non-affine, projective vector field on $R^n$

apr 12 10 at 8:04 Benoît Kloeckner 5,489●18●29

 
1
vote
1
answer
264
views

Decidable real arithmetic

mar 5 10 at 22:01 L Spice 539●5●9

 

 

856

Votes
852
4

 

41

Tags
× 7
× 3
× 3
× 3
× 3
× 2
× 2
× 2
× 2
× 2
 × 2
× 2
× 2
× 2
× 2
× 2




















 

14

Badges
● Necromancer
● Yearling× 2
● Popular Question
 ● Civic Duty
● Enthusiast
● Critic
 ● Commentator
● Scholar
● Nice Question
 ● Editor
● Student
● Supporter
 ● Teacher