Stack Exchange

Adam

top accounts reputation activity subscriptions

Top Questions

How could we formalize the introduction of new notation?

logic notation asked Jul 18, 2016 at 14:02

math.stackexchange.com

Rigorous proof of the following C++ code's property?

c++ static-analysis coq proof-of-correctness asked Jan 8, 2018 at 13:45

stackoverflow.com

What is the correct definition of a group?

group-theory logic asked Jul 18, 2016 at 10:27

math.stackexchange.com

Strange timing behavior in javascript

javascript asked Aug 9, 2016 at 10:46

stackoverflow.com

What is the proper definition of Schwinger functions?

quantum-field-theory definition wick-rotation asked Aug 4, 2016 at 10:47

physics.stackexchange.com

How do I define my own notation for mixed operators?

custom-notation notation asked May 10, 2018 at 9:19

mathematica.stackexchange.com

Top Answers

WebSocket server does not work with SSL

stackoverflow.com

Shouldn't sound travel better through doors?

physics.stackexchange.com