MWB

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

California, USA

Network profile

Summary

Reputation

1,667

1.7k
1.4k
1.2k

2021
2022
2023
2024

Top tag

global-optimization

Next privilege

2,000 Rep.

Edit posts

Badges

2

11

20

Newest

Self-Learner

Next badge

0/1

Informed

Impact

~33k

people reached

1

helpful flag

15

votes cast

Questions

157

What makes dependent type theory more suitable than set theory for proof assistants?

Nov 19, 2020

20

Does formalizing math require search and creativity, or is it near-mechanical?

May 15, 2014

16

$\sup \left\| A x + B y\right\|_2$ subject to $\left\|x\right\|_2 = \left\|y\right\|_2 = 1$

Oct 11, 2018

4

Recovering Shared Eigenvector Set

Jan 2, 2013

2

Sampling a uniformly distributed point INSIDE a hypersphere?

Aug 31, 2018

Answers

3

Does formalizing math require search and creativity, or is it near-mechanical?

Jun 13

2

Name for functions with local=global minimum

Oct 28, 2018

Tags

View all 17 tags

global-optimization

2

Score

1

post

terminology

2

Score

1

post

oc.optimization-and-control

2

Score

1

post

convex-optimization

2

Score

1

post

proof-assistants

0

Score

3

posts

Reputation

+1248

What makes dependent type theory more suitable than set theory for proof assistants?

+20

Sampling a uniformly distributed point INSIDE a hypersphere?

+20

Name for functions with local=global minimum

+10

$\sup \left\| A x + B y\right\|_2$ subject to $\left\|x\right\|_2 = \left\|y\right\|_2 = 1$

Badges

View all badges

2

gold badges

Great Question

Nov 24, 2020
Famous Question

Nov 21, 2020

11

silver badges

Favorite Question

Nov 21, 2020
Good Question

Nov 20, 2020
Notable Question

Nov 21, 2020

20

bronze badges

Mortarboard

Nov 20, 2020
Self-Learner

Jun 13
Citizen Patrol

Oct 14, 2018

Accounts

View all 57 accounts

12.4k
9
52
102

1,667
2
11
20

1,478
2
14
33

English Language & Usage

1,436
3
13
30

Cross Validated

1,347
1
11
26

Active bounties (0)

This user has no active bounties

Votes cast

14

upvotes

1

downvotes

1

question vote

14

answer votes