Skip to content

Instantly share code, notes, and snippets.

View olivierverdier's full-sized avatar

Olivier Verdier olivierverdier

104 followers · 73 following
View GitHub Profile
@olivierverdier
olivierverdier / homogint_demo.ipynb
Created October 4, 2024 12:23
Demo of `homogint`
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@olivierverdier
olivierverdier / Matching.ipynb
Created September 27, 2024 13:27
Diffeopt matching
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@olivierverdier
olivierverdier / Polynomial Roots.ipynb
Created April 25, 2024 15:02
Polynomial roots exploration
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@olivierverdier
olivierverdier / pychebfun_demo.ipynb
Created March 28, 2024 15:11
pychebfun demo
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@olivierverdier
olivierverdier / matching.ipynb
Last active October 4, 2024 07:43
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@olivierverdier
olivierverdier / run_invars.ipynb
Created November 4, 2018 10:00
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@olivierverdier
olivierverdier / shape_test.ipynb
Created November 4, 2018 09:59
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@olivierverdier
olivierverdier / separate_shapes.ipynb
Created November 4, 2018 09:58
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@olivierverdier
olivierverdier / indirect.ipynb
Last active June 20, 2018 12:06
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@olivierverdier
olivierverdier / graph.v
Created December 8, 2016 13:39
Definition associative {A:Type} (op: A -> A -> A) :=
forall x y z, op x (op y z) = op (op x y) z.
Definition commutative {A:Type} (op: A -> A -> A) :=
forall x y, op x y = op y x.
Definition is_unit_left {A:Type} (op: A -> A -> A) one :=
forall x, op one x = x.
Definition is_unit_right {A:Type} (op: A -> A -> A) one :=