Fields- Workshop on Algebra, Geometry and Proofs in Symbolic Computation
-
Title: Numerical Schubert Calculus
Speaker:
Link:
-
Title: Algorithms to Compute Characteristic Classes of Subschemes of Certain Toric Varieties
Speaker:
Link:
-
Title: Equivariant Gröbner bases
Speaker:
Link:
-
Title: Numerically computing Galois groups
Speaker:
Link:
-
Title: Sparse Eliminants vs Sparse Resultants
Speaker:
Link:
-
Title: Sparse polynomial systems with many positive solutions from bipartite simplicial complexes
Speaker:
Link:
-
Title: Separation bounds for polynomial systems
Speaker:
Link:
-
Title: Sparse-FGLM and Linear Recursive Multidimensional Sequences
Speaker:
Link:
-
Title: Limit Points of Constructible Sets
Speaker:
Link:
-
Title: Abstract local Bezout theorems and other constructive aspects of Henselian rings
Speaker:
Link:
-
Title: Computing intersections of two algebraic plane curves : the price of the certification
Speaker:
Link:
-
Title: Quantifier elimination for real closed fields : a purely algebraic variant of CAD
Speaker:
Link:
-
Title: On the computation of the silhouette of an analytic surface
Speaker:
Link:
-
Title: Application of geometric programming in polynomial optimization
Speaker:
Link:
-
Title: Geometry and Symbolic Computation for Analyzing the Singularities of Parallel Robots
Speaker:
Link:
-
Title: On nearly optimal algorithms for computing roadmaps
Speaker:
Link:
-
Title: Degree bounds in sums of squares representations
Speaker:
Link:
-
Title: On the Complexity of Solving Polynomial Systems via Projection
Speaker:
Link:
-
Title: A zero counting symbolic procedure for a class of univariate Pfaffian functions
Speaker:
Link:
-
Title: Sums of squares on projective varieties
Speaker:
Link: