Skip to content

Instantly share code, notes, and snippets.

View olivierverdier's full-sized avatar

Olivier Verdier olivierverdier

93 followers · 71 following
View GitHub Profile
@olivierverdier
olivierverdier / Polynomial Roots.ipynb
Created April 25, 2024 15:02
Polynomial roots exploration
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
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 December 1, 2021 20:06
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
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
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
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
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 :=
@olivierverdier
olivierverdier / Hares_ sol.ipynb
Created December 11, 2015 11:46
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@olivierverdier
olivierverdier / Mandelbrot.ipynb
Created December 11, 2015 11:41
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.