-
- Downloads
add stackmaxima 2024072400
Showing
- README.md 1 addition, 0 deletionsREADME.md
- stack/2024072400/maxima/assessment.mac 2565 additions, 0 deletionsstack/2024072400/maxima/assessment.mac
- stack/2024072400/maxima/assessment.texi 568 additions, 0 deletionsstack/2024072400/maxima/assessment.texi
- stack/2024072400/maxima/contrib/matchlib.mac 160 additions, 0 deletionsstack/2024072400/maxima/contrib/matchlib.mac
- stack/2024072400/maxima/contrib/prooflib.mac 444 additions, 0 deletionsstack/2024072400/maxima/contrib/prooflib.mac
- stack/2024072400/maxima/contrib/prooflib_test.mac 73 additions, 0 deletionsstack/2024072400/maxima/contrib/prooflib_test.mac
- stack/2024072400/maxima/contrib/proofsamples/analysis-sequence-sum-diverge.mac 23 additions, 0 deletions...ma/contrib/proofsamples/analysis-sequence-sum-diverge.mac
- stack/2024072400/maxima/contrib/proofsamples/harmonic-series.mac 16 additions, 0 deletions...024072400/maxima/contrib/proofsamples/harmonic-series.mac
- stack/2024072400/maxima/contrib/proofsamples/index.md 26 additions, 0 deletionsstack/2024072400/maxima/contrib/proofsamples/index.md
- stack/2024072400/maxima/contrib/proofsamples/inf-primes.mac 26 additions, 0 deletionsstack/2024072400/maxima/contrib/proofsamples/inf-primes.mac
- stack/2024072400/maxima/contrib/proofsamples/irrational-power-irrational.mac 17 additions, 0 deletions...xima/contrib/proofsamples/irrational-power-irrational.mac
- stack/2024072400/maxima/contrib/proofsamples/log-two-three-irrational.mac 36 additions, 0 deletions.../maxima/contrib/proofsamples/log-two-three-irrational.mac
- stack/2024072400/maxima/contrib/proofsamples/odd-squaredodd.mac 30 additions, 0 deletions...2024072400/maxima/contrib/proofsamples/odd-squaredodd.mac
- stack/2024072400/maxima/contrib/proofsamples/root-two-irrational.mac 30 additions, 0 deletions...72400/maxima/contrib/proofsamples/root-two-irrational.mac
- stack/2024072400/maxima/contrib/proofsamples/set-equality.mac 20 additions, 0 deletions...k/2024072400/maxima/contrib/proofsamples/set-equality.mac
- stack/2024072400/maxima/contrib/proofsamples/sum-odd-int.mac 23 additions, 0 deletionsstack/2024072400/maxima/contrib/proofsamples/sum-odd-int.mac
- stack/2024072400/maxima/contrib/validators.mac 56 additions, 0 deletionsstack/2024072400/maxima/contrib/validators.mac
- stack/2024072400/maxima/contrib/validators_test.mac 49 additions, 0 deletionsstack/2024072400/maxima/contrib/validators_test.mac
- stack/2024072400/maxima/contrib/vectorcalculus.mac 75 additions, 0 deletionsstack/2024072400/maxima/contrib/vectorcalculus.mac
- stack/2024072400/maxima/contrib/vectorcalculus_test.mac 77 additions, 0 deletionsstack/2024072400/maxima/contrib/vectorcalculus_test.mac
Loading
Please register or sign in to comment