MathOverflow
Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante
  • Member for 7 years, 8 months
  • Last seen more than a month ago
Profile Activity
Stats
121
reputation
294
reached
0
answers
3
questions
Communities
View all
About

Researcher at the Free University of Bozen-Bolzano working on temporal reasoning in formal methods and AI.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
question
1
Connections between algebraic semantics and computational complexity of a logic?
Feb 5, 2018
question
1
Numerical methods for systems of trilinear polynomials
Jan 9, 2023
question
0
Conditions for logarithmic upper bound on size of antichains in a partial order
Nov 2, 2023
Top network posts
View all network posts
102
Hyperref warning - Token not allowed in a PDF string
39
How can I detect if a type can be streamed to an std::ostream?
26
Why can't TeX show us the actual "undefined control sequence"?
26
Why the libc++ std::vector internally keeps three pointers instead of one pointer and two sizes?
22
Has the semantics of TeX (as a programming language) ever been formalized?