Question

Prove that a function is monotically increasing.

score 47 · Answer 1 · 2019-12-03 20:10:49

47

Views

Prove that a function is monotically increasing.

Published on 03 Dec 2019 - 20:10

score 35 · Answer 2 · 2019-12-04 07:32:00

35

Views

Example of logic (concept) that can not be embedded (expressed) in Isabelle/HOL?

Published on 04 Dec 2019 - 7:32

score 41 · Answer 3 · 2019-12-07 10:44:41

41

Views

Is there a piece of software that can help me compute the expectation of many piecewise-linear functions?

Published on 07 Dec 2019 - 10:44

score 1.8k · Answer 4 · 2019-12-07 15:25:34

1.8k

Views

Online reference book for implementing concepts in type theory.

Published on 07 Dec 2019 - 15:25

score 45 · Answer 5 · 2019-12-13 16:52:09

45

Views

Is there a CAS that by default handles monoid rings?

Published on 13 Dec 2019 - 16:52

score 90 · Answer 6 · 2019-12-21 10:48:19

90

Views

Solve the heat equation by PDE Toolbox of Matlab

Published on 21 Dec 2019 - 10:48

score 809 · Answer 7 · 2019-12-24 12:50:26

809

Views

Math games that let you visualize math and experiment with it.

Published on 24 Dec 2019 - 12:50

score 252 · Answer 8 · 2026-03-26 03:09:43

252

Views

How to define a function with subscripted variable in Mathematica?

Published on 26 Mar 2026 - 3:09

score 70 · Answer 9 · 2020-01-08 13:41:05

70

Views

Why are eigenvalues real as well as complex?

Published on 08 Jan 2020 - 13:41

score 55 · Answer 10 · 2020-01-08 14:11:05

55

Views

Can someone please explain why the roots are real as well as imaginary?

Published on 08 Jan 2020 - 14:11

score 574 · Answer 11 · 2026-03-26 01:00:34

574

Views

Sage/Python program to compute irreducible characters of symmetric groups

Published on 26 Mar 2026 - 1:00

score 94 · Answer 12 · 2020-01-11 23:54:42

94

Views

Strange behavior of the function $f(x)=\frac{x^2+\ln(\cos(x))}{x^4}$ when $x\to +\infty (-\infty)$

Published on 11 Jan 2020 - 23:54

score 155 · Answer 13 · 2026-03-25 11:30:20

155

Views

A mathematical software for manipulating trigonometric polynomials

Published on 25 Mar 2026 - 11:30

score 225 · Answer 14 · 2020-01-18 13:00:05

225

Views

Testing whether polynomial is in algebra of given collection of polynomials

Published on 18 Jan 2020 - 13:00

score 37 · Answer 15 · 2020-01-24 22:05:38

37

Views

What is a good piece of software to plot an affine plane

Published on 24 Jan 2020 - 22:05

List Question

Prove that a function is monotically increasing.

Example of logic (concept) that can not be embedded (expressed) in Isabelle/HOL?

Is there a piece of software that can help me compute the expectation of many piecewise-linear functions?

Online reference book for implementing concepts in type theory.

Is there a CAS that by default handles monoid rings?

Solve the heat equation by PDE Toolbox of Matlab

Math games that let you visualize math and experiment with it.

How to define a function with subscripted variable in Mathematica?

Why are eigenvalues real as well as complex?

Can someone please explain why the roots are real as well as imaginary?

Sage/Python program to compute irreducible characters of symmetric groups

Strange behavior of the function $f(x)=\frac{x^2+\ln(\cos(x))}{x^4}$ when $x\to +\infty (-\infty)$

A mathematical software for manipulating trigonometric polynomials

Testing whether polynomial is in algebra of given collection of polynomials

What is a good piece of software to plot an affine plane

Trending Questions

Popular # Hahtags

Popular Questions