| Publication | Date of Publication | Type |
|---|
| Bounding the number of roots of multi-homogeneous systems | 2025-01-17 | Paper |
| A greedy approach to the canny-emiris formula | 2025-01-17 | Paper |
Mixed subdivisions suitable for the greedy Canny-Emiris formula
Mathematics in Computer Science | 2024-09-30 | Paper |
| Comparative structural insights and functional analysis for the distinct unbound states of Human AGO proteins - Molecular dynamics trajectories and analysis scripts | 2024-09-26 | Dataset |
| Sparse discriminants and applications | 2024-09-03 | Paper |
A practical algorithm for volume estimation based on billiard trajectories and simulated annealing
ACM Journal of Experimental Algorithmics | 2024-07-26 | Paper |
Geometric algorithms for sampling the flux space of metabolic networks
(available as arXiv preprint) | 2023-12-08 | Paper |
| Geometric algorithms for sampling the flux space of metabolic networks | 2023-12-08 | Paper |
Near-Neighbor Preserving Dimension Reduction for Doubling Subsets of L1
(available as arXiv preprint) | 2023-02-03 | Paper |
An asymptotic upper bound for graph embeddings
Discrete Applied Mathematics | 2023-01-11 | Paper |
Near-neighbor preserving dimension reduction via coverings for doubling subsets of _1
Theoretical Computer Science | 2022-12-21 | Paper |
Practical volume approximation of high-dimensional convex bodies, applied to modeling portfolio dependencies and financial crises
Computational Geometry | 2022-11-16 | Paper |
Practical volume estimation of zonotopes by a new annealing schedule for cooling convex bodies
Lecture Notes in Computer Science | 2022-10-13 | Paper |
New upper bounds for the number of embeddings of minimally rigid graphs
Discrete & Computational Geometry | 2022-09-16 | Paper |
| Identifying and profiling structural similarities between Spike of SARS-CoV-2 and other viral or host proteins with Machaon - Pre-computed features for replication | 2022-06-16 | Dataset |
Efficient sampling in spectrahedra and volume approximation
Linear Algebra and its Applications | 2022-06-01 | Paper |
| The m-Bézout bound and distance geometry | 2022-03-24 | Paper |
On the multihomogeneous Bézout bound on the number of embeddings of minimally rigid graphs
Applicable Algebra in Engineering, Communication and Computing | 2021-05-14 | Paper |
Multilinear polynomial systems: root isolation and bit complexity
Journal of Symbolic Computation | 2021-02-18 | Paper |
On the maximal number of real embeddings of minimally rigid graphs in \(\mathbb{R}^2,\mathbb{R}^3\) and \(S^2\)
Journal of Symbolic Computation | 2020-09-19 | Paper |
On the maximal number of real embeddings of spatial minimally rigid graphs
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Matrix representations by means of interpolation
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
scientific article; zbMATH DE number 7236441 (Why is no real title available?)
(available as arXiv preprint) | 2020-08-18 | Paper |
scientific article; zbMATH DE number 7236423 (Why is no real title available?)
(available as arXiv preprint) | 2020-08-18 | Paper |
Neural networks for cryptocurrency evaluation and price fluctuation forecasting
Mathematical Research for Blockchain Economy | 2020-06-29 | Paper |
Separation bounds for polynomial systems
Journal of Symbolic Computation | 2020-06-15 | Paper |
High-dimensional approximate \(r\)-nets
Algorithmica | 2020-04-14 | Paper |
Implicit representations of high-codimension varieties
Computer Aided Geometric Design | 2019-11-27 | Paper |
Practical polytope volume approximation
ACM Transactions on Mathematical Software | 2019-01-18 | Paper |
Randomized embeddings with slack and high-dimensional approximate nearest neighbor
ACM Transactions on Algorithms | 2018-11-13 | Paper |
| Polytope membership in high dimension | 2018-08-17 | Paper |
High-dimensional approximate <i>r</i>-nets
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms | 2018-07-16 | Paper |
Efficient random-walk methods for approximating polytope volume
Proceedings of the thirtieth annual symposium on Computational geometry | 2018-04-23 | Paper |
| Low-quality dimension reduction and high-dimensional approximate nearest neighbor | 2017-10-10 | Paper |
Towards and open curved kernel
Proceedings of the twentieth annual symposium on Computational geometry | 2017-09-29 | Paper |
Computing integer points in Minkowski sums
Proceedings of the sixteenth annual symposium on Computational geometry | 2017-09-29 | Paper |
Approximating multidimensional subset sum and Minkowski decomposition of polygons
Mathematics in Computer Science | 2017-07-25 | Paper |
On the bit complexity of solving bilinear polynomial systems
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
Compact formulae in sparse elimination (extended abstract)
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
Combinatorics of 4-dimensional resultant polytopes
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Hybrid sparse resultant matrices for bivariate systems
Proceedings of the 2001 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
Implicitization of curves and surfaces using predicted support
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation | 2016-09-29 | Paper |
Minkowski decomposition and geometric predicates in sparse implicitization
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation | 2016-09-29 | Paper |
| Discriminants of multilinear systems | 2016-07-06 | Paper |
Plane mixed discriminants and toric Jacobians
SAGA – Advances in ShApes, Geometry, and Algebra | 2016-01-19 | Paper |
Sparse implicitization via interpolation
SAGA – Advances in ShApes, Geometry, and Algebra | 2016-01-19 | Paper |
Root counts of semi-mixed systems, and an application to counting Nash equilibria
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
Random polynomials and expected complexity of bisection methods for real solving
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
The DMM bound: multivariate (aggregate) separation bounds
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
Efficient edge-skeleton computation for polytopes defined by oracles
Journal of Symbolic Computation | 2015-08-24 | Paper |
| Sparse implicitization by interpolation: Geometric computations using matrix representations | 2014-11-11 | Paper |
An oracle-based, output-sensitive algorithm for projections of resultant polytopes
International Journal of Computational Geometry & Applications | 2014-08-11 | Paper |
An output-sensitive algorithm for computing projections of resultant polytopes
Proceedings of the twenty-eighth annual symposium on Computational geometry | 2014-08-07 | Paper |
Exact Voronoi diagram of smooth convex pseudo-circles: general predicates, and implementation for ellipses
Computer Aided Geometric Design | 2014-04-04 | Paper |
| Counting Euclidean embeddings of rigid graphs | 2014-02-06 | Paper |
Implicitization of curves and (hyper)surfaces using predicted support
Theoretical Computer Science | 2013-11-29 | Paper |
Mixed volume and distance geometry techniques for counting Euclidean embeddings of rigid graphs
Distance Geometry | 2013-07-29 | Paper |
| scientific article; zbMATH DE number 6154260 (Why is no real title available?) | 2013-04-15 | Paper |
Multihomogeneous resultant formulae for systems with scaled support
Journal of Symbolic Computation | 2012-05-23 | Paper |
Multihomogeneous resultant formulae for systems with scaled support
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
Single-lifting Macaulay-type formulae of generalized unmixed sparse resultants
Journal of Symbolic Computation | 2011-06-29 | Paper |
Computing the Newton polygon of the implicit equation
Mathematics in Computer Science | 2011-02-19 | Paper |
Algebraic algorithms for structure determination in biological chemistry
International Journal of Quantum Chemistry | 2010-06-10 | Paper |
Algebraic methods for counting Euclidean embeddings of rigid graphs
Graph Drawing | 2010-04-27 | Paper |
On the asymptotic and practical complexity of solving bivariate systems over the reals
Journal of Symbolic Computation | 2009-06-18 | Paper |
THE PREDICATES FOR THE EXACT VORONOI DIAGRAM OF ELLIPSES UNDER THE EUCLIDIEAN METRIC
International Journal of Computational Geometry & Applications | 2009-02-24 | Paper |
| scientific article; zbMATH DE number 5506212 (Why is no real title available?) | 2009-02-10 | Paper |
| Toric resultants and applications to geometric modelling | 2009-01-26 | Paper |
| On the complexity of real solving bivariate systems | 2009-01-20 | Paper |
Real Algebraic Numbers: Complexity Analysis and Experimentation
Reliable Implementation of Real Number Algorithms: Theory and Practice | 2009-01-13 | Paper |
Real algebraic numbers and polynomial systems of small degree
Theoretical Computer Science | 2009-01-08 | Paper |
Distributed Routing in Tree Networks with Few Landmarks
Combinatorial and Algorithmic Aspects of Networking | 2008-04-17 | Paper |
On the complexity of real root isolation using continued fractions
Theoretical Computer Science | 2008-03-11 | Paper |
Univariate Polynomial Real Root Isolation: Continued Fractions Revisited
Lecture Notes in Computer Science | 2008-03-11 | Paper |
Protein Structure Prediction Using Residual Dipolar Couplings
Algebraic Biology | 2007-11-29 | Paper |
\(\beta\)-barrel transmembrane proteins: geometric modelling, detection of transmembrane region, and structural properties
Computational Biology and Chemistry | 2007-06-13 | Paper |
| scientific article; zbMATH DE number 5130863 (Why is no real title available?) | 2007-03-05 | Paper |
A subdivision-based algorithm for the sparse resultant
Journal of the ACM | 2006-09-12 | Paper |
Computer Algebra in Scientific Computing
Lecture Notes in Computer Science | 2006-07-07 | Paper |
The predicates of the Apollonius diagram: algorithmic analysis and implementation
Computational Geometry | 2005-12-05 | Paper |
Algorithms – ESA 2004
Lecture Notes in Computer Science | 2005-08-18 | Paper |
Molecular conformation search by distance matrix perturbations
Journal of Mathematical Chemistry | 2005-08-05 | Paper |
| scientific article; zbMATH DE number 2151217 (Why is no real title available?) | 2005-04-04 | Paper |
Improved algorithms for computing determinants and resultants
Journal of Complexity | 2005-02-22 | Paper |
Multihomogeneous resultant formulae by means of complexes
Journal of Symbolic Computation | 2004-08-20 | Paper |
| scientific article; zbMATH DE number 2079355 (Why is no real title available?) | 2004-07-28 | Paper |
| scientific article; zbMATH DE number 1984133 (Why is no real title available?) | 2003-09-22 | Paper |
| scientific article; zbMATH DE number 1984129 (Why is no real title available?) | 2003-09-22 | Paper |
| scientific article; zbMATH DE number 1984138 (Why is no real title available?) | 2003-09-22 | Paper |
| scientific article; zbMATH DE number 1961537 (Why is no real title available?) | 2003-08-07 | Paper |
| scientific article; zbMATH DE number 1961538 (Why is no real title available?) | 2003-08-07 | Paper |
| scientific article; zbMATH DE number 1736029 (Why is no real title available?) | 2003-07-03 | Paper |
Hybrid sparse resultant matrices for bivariate polynomials
Journal of Symbolic Computation | 2002-09-17 | Paper |
Enumerating a subset of the integer points inside a Minkowski sum
Computational Geometry | 2002-06-24 | Paper |
Symbolic and numeric methods for exploiting structure in constructing resultant matrices
Journal of Symbolic Computation | 2002-06-11 | Paper |
scientific article; zbMATH DE number 1639654 (Why is no real title available?)
(available as arXiv preprint) | 2002-04-23 | Paper |
A Complete Implementation for Computing General Dimensional Convex Hulls
International Journal of Computational Geometry & Applications | 2000-11-07 | Paper |
Matrices in elimination theory
Journal of Symbolic Computation | 2000-09-05 | Paper |
On the complexity of sparse elimination
Journal of Complexity | 2000-05-11 | Paper |
| scientific article; zbMATH DE number 1262455 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 1263401 (Why is no real title available?) | 1999-08-02 | Paper |
| scientific article; zbMATH DE number 1263319 (Why is no real title available?) | 1999-07-20 | Paper |
Modular arithmetic for linear algebra computations in the real field
Journal of Symbolic Computation | 1999-04-22 | Paper |
| scientific article; zbMATH DE number 1253983 (Why is no real title available?) | 1999-02-23 | Paper |
Sign determination in residue number systems
Theoretical Computer Science | 1999-01-12 | Paper |
How to count efficiently all affine roots of a polynomial system
Discrete Applied Mathematics | 1999-01-01 | Paper |
Techniques for exploiting structure in matrix formulae of the sparse resultant
Calcolo | 1998-08-10 | Paper |
Certified approximate univariate GCDs
Journal of Pure and Applied Algebra | 1998-07-19 | Paper |
| scientific article; zbMATH DE number 953021 (Why is no real title available?) | 1997-02-24 | Paper |
Efficient incremental algorithms for the sparse resultant and the mixed volume
Journal of Symbolic Computation | 1996-04-28 | Paper |
A General Approach to Removing Degeneracies
SIAM Journal on Computing | 1995-07-26 | Paper |
| scientific article; zbMATH DE number 503188 (Why is no real title available?) | 1994-02-28 | Paper |
Mixed subdivisions suitable for the Canny-Emiris formula
(available as arXiv preprint) | N/A | Paper |
