Skip to main content
Mathematics
TomR's user avatar
TomR's user avatar
TomR's user avatar
TomR
  • Member for 11 years, 5 months
  • Last seen this week
Profile Activity
Stats
1,323
reputation
17k
reached
5
answers
103
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
9
silver badges
16
bronze badges
Top tags
View all tags
1
Score
9
Posts
8
Posts %
0
Score
41
Posts
38
Posts %
0
Score
31
Posts
29
Posts %
0
Score
18
Posts
17
Posts %
0
Score
14
Posts
13
Posts %
0
Score
11
Posts
10
Posts %
Top posts
View all questions and answers
7
What mathematics cannot be done in proof assitants (Isabelle/HOL, HOL) and how proof assistants should be improved?
May 15, 2017
7
Importing (translating) Mizar into Coq (Axiomatic set theory into constructive type theory)
Oct 8, 2017
5
Calculi for the category theory?
Jan 26, 2020
5
Are there symbolic methods/computing for stochastic processes and stochastic differential equations?
Jul 19, 2016
4
Are there theories about inverse (or at least adjoint) functor Top -> Diff of the forgetful functor Diff -> Top?
May 29, 2022
4
What is predicate lifting?
Mar 15, 2017
4
Does linear logic have truth tables?
Oct 24, 2019
4
Advanced Math for Reinfrocement Learning - state space and state sequences (policies)
Apr 28, 2019
3
Is there more concise representation of simplicial sets than complete enumeration of its simplices and gluings - application to ∞-categories?
Aug 15, 2023
3
Tool for construction of graph with specified properties
Dec 11, 2014
Top network posts
View all network posts
25
Is it normal design to completely decouple backend and frontend web applications and allow them to communicate with (JSON) REST API?
17
Is there definitive, authoritative scientific/academic consensus about the sustainability and greenness of nuclear energy?
15
How to see org.codehaus.jackson log messages - using logging.properties
14
What is Catholic "Gold ring mass"? What kind of liturgy it is?
13
Good reference about approximate methods for solving logic problems