All Projects → byorgey → series-formelles

byorgey / series-formelles

Licence: other
Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of formal series)

Programming Languages

TeX
3793 projects
haskell
3896 projects
Agda
84 projects
shell
77523 projects

Projects that are alternatives of or similar to series-formelles

discrete-math-python-scripts
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Stars: ✭ 98 (+308.33%)
Mutual labels:  mathematics, combinatorics
Math Php
Powerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis; special mathematical functions; Algebra
Stars: ✭ 2,009 (+8270.83%)
Mutual labels:  mathematics, combinatorics
smoothfit
Smooth data fitting in N dimensions.
Stars: ✭ 40 (+66.67%)
Mutual labels:  mathematics
pwsh-prelude
PowerShell “standard” library for supercharging your productivity. Provides a powerful cross-platform scripting environment enabling efficient analysis and sustainable science in myriad contexts.
Stars: ✭ 26 (+8.33%)
Mutual labels:  mathematics
bem-flashcards
Simple single-page flashcards application based on the bem-core/bem-history and BEM methodology
Stars: ✭ 19 (-20.83%)
Mutual labels:  translation
Effective-Java-3rd-Edition-zh
📖 Effective Java (Third Edition) | Effective Java(第三版)翻译计划稿
Stars: ✭ 57 (+137.5%)
Mutual labels:  translation
Project-Euler
Send PRs to contribute and see the Codemasters solving some really mind boggling questions.
Stars: ✭ 21 (-12.5%)
Mutual labels:  mathematics
maths-for-deep-learning-ai
A open source book covering the foundational maths of deep learning and machine learning using TensorFlow
Stars: ✭ 35 (+45.83%)
Mutual labels:  mathematics
ra
Basic Analysis, undergraduate real analysis textbook
Stars: ✭ 33 (+37.5%)
Mutual labels:  mathematics
curve-shortening-demo
Visualize curve shortening flow in your browser.
Stars: ✭ 19 (-20.83%)
Mutual labels:  mathematics
BIFI
[ICML 2021] Break-It-Fix-It: Unsupervised Learning for Program Repair
Stars: ✭ 74 (+208.33%)
Mutual labels:  translation
cafe
🧊 Презентації та Воркшопи
Stars: ✭ 20 (-16.67%)
Mutual labels:  mathematics
math eval
✖️➕➖➗ `math_eval` safely evaluates mathematical expressions
Stars: ✭ 33 (+37.5%)
Mutual labels:  mathematics
mobility-actiontext
Translate Rails Action Text rich text with Mobility.
Stars: ✭ 27 (+12.5%)
Mutual labels:  translation
yandex-translate-api
A simple REST client library for Yandex.Translate
Stars: ✭ 29 (+20.83%)
Mutual labels:  translation
mathlingua
MathLingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.
Stars: ✭ 68 (+183.33%)
Mutual labels:  mathematics
deepl-api-connector
Connector library for deepl.com rest translation api
Stars: ✭ 12 (-50%)
Mutual labels:  translation
combinatorics.rb
Bringing (more) Combinatorics to Ruby.
Stars: ✭ 44 (+83.33%)
Mutual labels:  combinatorics
euclid.js
2D Euclidean geometry classes, utilities, and drawing tools
Stars: ✭ 69 (+187.5%)
Mutual labels:  mathematics
dokuwiki-plugin-translation
Easily setup a multi-language DokuWiki
Stars: ✭ 22 (-8.33%)
Mutual labels:  translation

A translation into English and commentary on André Joyal's classic paper, Une théorie combinatoire des séries formelles (A combinatorial theory of formal series), which introduced the notion of combinatorial species.

This is a work in progress. The latest version of the PDF (automatically updated) can be found here.

To build the document yourself:

  1. If you don't already have it installed, install the stack tool by following the instructions at. https://docs.haskellstack.org/en/stable/README/ .
  2. Run build.sh.

Step 2 will take quite a while (probably tens of minutes) the first time, but subsequent runs should be fast.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].