User Christoph Wintersteiger - German Language Meta Stack Exchange

1. Home
2. Questions
3. Tags
5. Users
6. Unanswered
Teams

Now available on Stack Overflow for Teams! AI features where you work: search, IDE, and chat.
Learn more Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

Christoph Wintersteiger

Member for 11 years, 11 months
Last seen more than 11 years ago

Stats

231

reputation

0

reached

0

answers

0

questions

Loading…

Communities

About

Researcher at Microsoft Research

Badges

This user doesn’t have any gold badges yet.

1

silver badge

Yearling

Dec 11, 2014

1

bronze badge

Autobiographer

Sep 24, 2014

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

13

Use of Konjunktiv II: Why "Ich wünschte", not "ich wünsche"? Compare "I wish" in English!

11

Why are decision problems commonly used in complexity theory?

11

Does Google Scholar have an API available that we can use in our research applications?

8

QF_FPA? Does Z3 support IEEE-754 arithmetic?

8

Z3: Convert between FP and BitVector?