TomKern

Member for 3 years, 8 months
Last seen this week

Summary

Reputation

429

429

Mar
Jun
Sep
Dec

Top tag

numerical-integration

Next privilege

500 Rep.

Access review queues

Badges

2

9

Newest

Commentator

Next badge

0/1

Critic

Impact

~8k

people reached

0

posts edited

0

helpful flags

2

votes cast

Questions

View all 9 questions

7

What is known about first order logic of $\mathbb{N}$ with + and a unary predicate?

Oct 19, 2022

6

Are "germ" automata studied?

Aug 18, 2022

5

What does the Ehrenfeucht-Fraïssé game on structures with infinitely many relations tell us?

Dec 29, 2022

4

Are semilinear sets piecewise periodic?

Mar 6, 2023

4

Corollaries of Kleene's Theorem (Regular Languages)

Sep 11, 2022

Answers

11

How does Mathematica do symbolic integration?

Mar 29, 2021

Tags

View all 18 tags

numerical-integration

11

Score

1

post

computer-algebra

11

Score

1

post

na.numerical-analysis

11

Score

1

post

lo.logic

0

Score

6

posts

model-theory

0

Score

5

posts

Reputation

This user has no recent positive reputation changes.

Badges

View all badges

This user doesn’t have any gold badges yet.

2

silver badges

Yearling

× 2

Jul 26, 2023

9

bronze badges

Promoter

Sep 16, 2022
Curious

Dec 30, 2022
Commentator

Jul 27, 2023

Accounts

View all 17 accounts

Mathematics Educators

4,875
15
20

3,202
1
4
12

Theoretical Computer Science

581
1
7

429
2
9

279
2
3

Active bounties (0)

This user has no active bounties

Votes cast

2

upvotes

2

answer votes