L Spice

247

Reputation

202 views

Registered User

Name	L Spice
Member for	3 months
Seen	1 hour ago
Website	faculty.tcu.edu/lspice
Location
Age

stats recent reputation favorites

3

Questions

votes newest views recent

8

16

votes

5

answers

764

views

Proof assistants for mathematics

lo.logic soft-question proof-assistant

feb 18 at 13:53 Charles Stewart 739●1●10

1

3

votes

1

answer

135

views

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

dg.differential-geometry linear-algebra

feb 22 at 14:06 HRM 210●7

0

votes

1

answer

87

views

Decidable real arithmetic

computer-science

mar 5 at 22:01 L Spice 247●8

12

Answers

votes newest views recent

Math without “-” * “-” = “+”

Results about the order of a group forcing a particular property.

Lecture notes on representations of finite groups

Algebraically closed fields of positive characteristic

intuitionistic interpretation of classical logic

what is summation in the sense of a principal value?

Unitary representations of SL(2, R)

Best way to teach concept of real numbers using a hands-on activity?

solving f(f(x))=g(x)

Is every finite group a group of “symmetries”?

Free, high quality mathematical writing online?

How to see the Phase Space of a Physical System as the Cotangent Bundle

214

Votes

210

4

28

Tags

8

Badges

● Critic
● Commentator

● Scholar
● Nice Question

● Editor
● Student

● Supporter
● Teacher