Collaborative Calculation and Data Science

colby

sagemath

cornellcollege

facebook

github

google

depaul

All published worksheets from http://sagenb.org

This notebook is a theorem prover for an extended syllogistic logic which allows one to make assertions about comparative cardinalities of finite sets.   The logic is complete and efficiently decidable.  If an assertion follows from a set of assumptions, this notebook displays the proof.  If it doesn't follow, it outputs a counter-model.   

Using GAP in a CoCalc worksheet (file with extension `.sagews`, which works a bit like a Jupyter sheet, but supports multiple kernels).

With small excerpts from [the GAP tutorial](https://www.gap-system.org/Manuals/doc/tut/manual.pdf).

This file is an interpreter for the tiny programming language 1# used in my classes on theory of computation at Indiana University.   For more on 1# and the class, see https://iulg.sitehost.iu.edu/trm.  Right now, this is just for my students.  But if the move to Cocalc turns out well, I might expand this to cover the basics of computability theory.
 

Logic of "all" + verbs + relative clauses, for a class at Indiana University

M103 - Algèbre linéaire - L1 MPI - U Paris-Saclay - 2020-04-29 10:30--12:30 TD


M103 «Algèbre linéaire» - 2020-05-04 - exo 5.15

M103 «Algèbre linéaire», L1 MPI U Paris-Saclay, TD 21 groupes A2 et B3.  2020-04-27, 15:45--17:45.

To illustrate CoCalc issue #4569: "Jupyter markdown cells: newcommand and LaTeX formulas" -- https://github.com/sagemathinc/cocalc/issues/4569


A Jupyter sheet to illustrate CoCalc issue #4568: "Jupyter markdown cells: zoom quoted text too" -- https://github.com/sagemathinc/cocalc/issues/4568


M103 «Algèbre linéaire» - U Paris-Saclay - L1 MPI - Corrigé exo 5.13.

M103 Algèbre linéaire - gr B4 - L1 MPI - U Paris-Saclay - TD20 - 2020-04-24 - exos 5.13 et 5.14

M103, TD 22, L1 MPI, groupes A2 et B3. Proposé les 2020-04-24 et 2020-04-27.

M103 Algèbre linéaire - gr A2 et B3 - L1 MPI - U Paris-Saclay - TD19 - 2020-03-21 - exos 5.1 et 5.2

M103 séance groupes A2 et B3 du 2020-04-08 , 10:30--12:30. Correction exo 4.7 fin.


## Maxima plots in CoCalc .sagews worksheets

Differential equations using Maxima in SageMath in Jupyter in CoCalc

Install Almond Scala Jupyter kernel in CoCalc

"CoCalc profile page" for Samuel Lelièvre (Labo math Orsay)

First steps with GAP at Software tools for mathematics, Morelia

Instructions to install GAP 4.9.0 and its standard packages in a CoCalc project

Instructions to install GAP 4.8.10 and its standard packages in a CoCalc project

Plots into jpg all rationals in [0,1]^2 with denominator < 21

Polyhedra as done at Software Tools for Mathematics, Koper 2018

Circular Primes as done at Software Tools For Mathematics Koper 2018

syllogistic logic + reasoning about the sizes of finite sets

Example of an init.sage file forcing one to use Python3-style print

Invitation to try Python3-based SageMath in CoCalc

Compute spectral radius of a tree with SageMath

Python - Software Carpentry at Koper 2018

Try Xeus-Cling C++ kernel for Jupyter in CoCalc

Install Xeus Cling C++ kernels in a CoCalc project based on Ubuntu 18.04

Screen captures: xeus-cling kernel for Jupyter in CoCalc

Try the xeus-cling kernel for Jupyter notebook in CoCalc

Try ROOT C++ kernel for Project Jupyter in CoCalc

Try dividing 2 by 4 or 5 in Zmod(6) in Nemo

Install xeus-cling kernel for Jupyter in a CoCalc project

Screen capture: selecting xeus-cling kernel for Jupyter in CoCalc

Screen capture: using xeus-cling kernels for Jupyter in CoCalc

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

SageMath-related talks at Joint math meetings JMM 2018

Using QEPCAD in a CoCalc Sage worksheet -- examples from the SageMath reference manual: http://doc.sagemath.org/html/en/reference/interfaces/sage/interfaces/qepcad.html

Illustrate CoCalc bug report at https://ask.sagemath.org/question/40017 and https://github.com/sagemathinc/cocalc/issues/2564

How to install Discreture as a user in a CoCalc project

Samuel Lelièvre

Product

Resources

Company