Result 1 to 20 of 44 total
Variant quantifier elimination. (English)
J. Symb. Comput. 47, No. 7, 883-901 (2012).
1
A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface. (English)
Discrete Comput. Geom. 45, No. 1, 181-220 (2011).
2
Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree $(1,1)$: algorithms and complexity. (English)
J. Symb. Comput. 46, No. 4, 406-437 (2011).
3
A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface (English)
Discrete & Computational Geometry 45, No. 1, 181-220 (2011).
4
Deciding reachability of the infimum of a multivariate polynomial (English)
ISSAC, 131-138 (2011).
5
Computing rational points in convex semialgebraic sets and sum of squares decompositions. (English)
SIAM J. Optim. 20, No. 6, 2876-2889 (2010).
6
Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree (1,1): algorithms and complexity. (English)
Comput. Res. Repos. 2010, Article No. 1001.4004 (2010).
7
On the geometry of polar varieties. (English)
Appl. Algebra Eng. Commun. Comput. 21, No. 1, 33-83 (2010).
8
Computing rational points in convex semialgebraic sets and sum of squares decompositions (English)
SIAM Journal on Optimization 20, No. 6, 2876-2889 (2010).
9
Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology (English)
ISSAC, 257-264 (2010).
10
Global optimization of polynomials using generalized critical values and sums of squares (English)
ISSAC, 107-114 (2010).
11
Variant real quantifier elimination: algorithm and application. (English)
May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28‒31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 183-190 (2009).
12
Computing rational points in convex semi-algebraic sets and SOS decompositions. (English)
Comput. Res. Repos. 2009, Article No. 0910.2973 (2009).
13
A baby steps/giant steps Monte Carlo algorithm for computing roadmaps in smooth compact real hypersurfaces. (English)
Comput. Res. Repos. 2009, Article No. 0902.1612 (2009).
14
The Voronoi diagram of three lines. (English)
Discrete Comput. Geom. 42, No. 1, 94-130 (2009).
15
The Voronoi diagram of three lines (English)
Discrete & Computational Geometry 42, No. 1, 94-130 (2009).
16
Sketch recognition using particle swarm algorithms (English)
ICIP, 2017-2020 (2009).
17
Improved inverse class-E matching network for microwave high power amplifiers (English)
ICECS, 391-394 (2009).
18
Variant real quantifier elimination: algorithm and application (English)
ISSAC, 183-190 (2009).
19
Practical and theoretical issues for the computation of generalized critical values of a polynomial mapping. (English)
Kapur, Deepak (ed.), Computer mathematics. 8th Asian symposium, ASCM 2007, Singapore, December 15‒17, 2007. Revised and invited papers. Berlin: Springer (ISBN 978-3-540-87826-1/pbk). Lecture Notes in Computer Science 5081. Lecture Notes in Artificial Intelligence, 42-56 (2008).
20
Result 1 to 20 of 44 total
Start
Contact
Print
General Help
