-
- Downloads
add stackmaxima 2024111900
Showing
- README.md 2 additions, 1 deletionREADME.md
- docker-compose.yml 1 addition, 1 deletiondocker-compose.yml
- stack/2024111900/maxima/assessment.mac 2579 additions, 0 deletionsstack/2024111900/maxima/assessment.mac
- stack/2024111900/maxima/assessment.texi 568 additions, 0 deletionsstack/2024111900/maxima/assessment.texi
- stack/2024111900/maxima/contrib/builder.mac 205 additions, 0 deletionsstack/2024111900/maxima/contrib/builder.mac
- stack/2024111900/maxima/contrib/matchlib.mac 253 additions, 0 deletionsstack/2024111900/maxima/contrib/matchlib.mac
- stack/2024111900/maxima/contrib/prooflib.mac 461 additions, 0 deletionsstack/2024111900/maxima/contrib/prooflib.mac
- stack/2024111900/maxima/contrib/prooflib_test.mac 47 additions, 0 deletionsstack/2024111900/maxima/contrib/prooflib_test.mac
- stack/2024111900/maxima/contrib/proofsamples/analysis-sequence-sum-diverge.mac 23 additions, 0 deletions...ma/contrib/proofsamples/analysis-sequence-sum-diverge.mac
- stack/2024111900/maxima/contrib/proofsamples/harmonic-series.mac 16 additions, 0 deletions...024111900/maxima/contrib/proofsamples/harmonic-series.mac
- stack/2024111900/maxima/contrib/proofsamples/index.md 26 additions, 0 deletionsstack/2024111900/maxima/contrib/proofsamples/index.md
- stack/2024111900/maxima/contrib/proofsamples/inf-primes.mac 26 additions, 0 deletionsstack/2024111900/maxima/contrib/proofsamples/inf-primes.mac
- stack/2024111900/maxima/contrib/proofsamples/irrational-power-irrational.mac 17 additions, 0 deletions...xima/contrib/proofsamples/irrational-power-irrational.mac
- stack/2024111900/maxima/contrib/proofsamples/log-two-three-irrational.mac 36 additions, 0 deletions.../maxima/contrib/proofsamples/log-two-three-irrational.mac
- stack/2024111900/maxima/contrib/proofsamples/odd-squaredodd.mac 30 additions, 0 deletions...2024111900/maxima/contrib/proofsamples/odd-squaredodd.mac
- stack/2024111900/maxima/contrib/proofsamples/root-two-irrational.mac 30 additions, 0 deletions...11900/maxima/contrib/proofsamples/root-two-irrational.mac
- stack/2024111900/maxima/contrib/proofsamples/set-equality.mac 20 additions, 0 deletions...k/2024111900/maxima/contrib/proofsamples/set-equality.mac
- stack/2024111900/maxima/contrib/proofsamples/sum-odd-int.mac 23 additions, 0 deletionsstack/2024111900/maxima/contrib/proofsamples/sum-odd-int.mac
- stack/2024111900/maxima/contrib/validators.mac 47 additions, 0 deletionsstack/2024111900/maxima/contrib/validators.mac
- stack/2024111900/maxima/contrib/validators_test.mac 41 additions, 0 deletionsstack/2024111900/maxima/contrib/validators_test.mac
Loading
Please register or sign in to comment