Mathematica
yewang's user avatar
yewang's user avatar
yewang's user avatar
yewang
  • Member for 5 years, 10 months
  • Last seen more than 4 years ago
  • planet earth
Profile Activity
Stats
317
reputation
1k
reached
0
answers
6
questions
Communities
View all
About

dependent types for fun and profit.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
View all tags
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
0
Score
1
Posts
17
Posts %
Top posts
All Questions Answers
Score Newest
question
10
matrix calculus with types (similar to matrixcalculus.org) [duplicate]
Apr 27, 2018
question
4
Reorder matrix for nested dissection
Jun 14, 2018
question
3
Solve simple equation over positive integers [closed]
Feb 10, 2018
question
2
Make File/New/Notebook create a new kernel by default
Jun 10, 2018
question
1
convert vector of expressions to multiplication of matrix with vector of variables
Feb 14, 2018
question
1
Avoid multiple calls to the same symbolic differentiation routine
Jun 12, 2018
Top network posts
View all network posts
11
get updated screen size in python curses
10
does it make sense to talk about third-order (or higher order) optimization methods?
9
Is REINFORCE the same as 'vanilla policy gradient'?
8
Is reinforcement learning using shallow neural networks still deep reinforcement learning?
6
Pass Class as an Argument to page.evaluate in Puppeteer

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.