Sciweavers

52 search results - page 2 / 11
» Numerical algebraic geometry and symbolic computation
Sort
View
AMC
2010
114views more  AMC 2010»
13 years 5 months ago
Witness sets of projections
Elimination is a basic algebraic operation which geometrically corresponds to projections. This article describes using the numerical algebraic geometric concept of witness sets t...
Jonathan D. Hauenstein, Andrew J. Sommese
ADG
1998
Springer
138views Mathematics» more  ADG 1998»
13 years 9 months ago
Automated Geometry Diagram Construction and Engineering Geometry
This paper reviews and evaluates three main techniques for automated geometry diagram construction: synthetic methods, numerical computation methods, and symbolic computation metho...
Xiao-Shan Gao
ISSAC
2007
Springer
111views Mathematics» more  ISSAC 2007»
13 years 11 months ago
Numerical optimization in hybrid symbolic-numeric computation
Approximate symbolic computation problems can be formulated as constrained or unconstrained optimization problems, for example: GCD [3, 8, 12, 13, 23], factorization [5, 10], and ...
Lihong Zhi
DISCO
1992
161views Hardware» more  DISCO 1992»
13 years 9 months ago
Combinatory Models and Symbolic Computation
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...
Karl Aberer
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
13 years 4 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske