Pinned Repositories
2-sphere-curvature
Proof that the 2-sphere is curved
acm16
Algebraic Collective Model in Maple, Version 16
acmpy
Algebraic Collective Model in Python
agryman.github.io
GitHub Pages for Arthur Ryman
air-puck-lab-5
data-shapes
Specifications and code related to OSLC Resource Shapes and W3C Data Shapes.
entropy
mathz
This repository contains formal descriptions of standard mathematical objects using Z notation.
sean
Programming examples for Sean.
z-core-shacl-semantics
Z Specification for the W3C Editor's Draft Core SHACL Semantics by Iovka Boneva and Eric Prud'hommeaux
agryman's Repositories
agryman/mathz
This repository contains formal descriptions of standard mathematical objects using Z notation.
agryman/sean
Programming examples for Sean.
agryman/z-core-shacl-semantics
Z Specification for the W3C Editor's Draft Core SHACL Semantics by Iovka Boneva and Eric Prud'hommeaux
agryman/2-sphere-curvature
Proof that the 2-sphere is curved
agryman/acm16
Algebraic Collective Model in Maple, Version 16
agryman/acmpy
Algebraic Collective Model in Python
agryman/agryman.github.io
GitHub Pages for Arthur Ryman
agryman/air-puck-lab-5
agryman/data-shapes
Specifications and code related to OSLC Resource Shapes and W3C Data Shapes.
agryman/entropy
agryman/investment-cost-basis
R code to compute cost basis and capital gains for a portfolio of investements
agryman/jaime
Math and Physics homework with Jaime.
agryman/jgs-rotenberg-ledger
The JGS Rotenberg Ledger
agryman/jgs-shem-tov-index
Generates web pages from worksheet
agryman/KingdomOfLocations
Widget for Kingdom of Locations iBook
agryman/learn-multibody-dynamics
Interactive computational book on multibody dynamics
agryman/lemmon
agryman/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
agryman/mit-deep-learning-book-pdf
MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville
agryman/neural-networks-and-deep-learning
Code samples for my book "Neural Networks and Deep Learning"
agryman/nuclear-structure
Nuclear structure calculations using group theoretical techniques.
agryman/phonegap-app-developer
PhoneGap Developer App
agryman/probability-and-statistics
Probability and statistics seen from the perspective of category theory.
agryman/proofs-as-programs
agryman/realpython
Course material from real python.com
agryman/shacl-coq
Formal specification of W3C SHACL in Coq
agryman/shape-recursion
Recursion in RDF Data Shape Languages
agryman/sympy
A computer algebra system written in pure Python
agryman/theorem-proving-in-lean
Examples from the book Theorem Proving in Lean
agryman/vibrating-strings
Derivation of wave equations of vibrating strings