Search results

Removing CI action

Status: Open.

#35 In math-comp/trajectories;

· ybertot opened on Oct 2, 2023

Provide an algorithm for collision of Bezier curves with a set of segments

Status: Open.

#31 In math-comp/trajectories;

· ybertot opened on Mar 1, 2023

remove the less general definition of Mobius

Status: Open.

#30 In math-comp/trajectories;

· affeldt-aist opened on Mar 1, 2023

replace Zp_succ with (_ + 1)%R

Status: Open.

#28 In math-comp/trajectories;

· affeldt-aist opened on Feb 28, 2023

use infotheo here

Status: Open.

#27 In math-comp/trajectories;

· affeldt-aist opened on Feb 28, 2023

unused lemma filter_succ

Status: Open.

#26 In math-comp/trajectories;

· affeldt-aist opened on Feb 27, 2023

eqVneq w.r.t. 0

Status: Open.

#25 In math-comp/trajectories;

· affeldt-aist opened on Feb 27, 2023

Functional Scheme

Status: Open.

#4 In math-comp/trajectories;

· affeldt-aist opened on Jun 28, 2022