Results 241 to 250 of about 9,133 (267)

The Geometry of Cylindrical Algebraic Decomposition

ACM Communications in Computer Algebra
The decision problem of the first order theory over the reals is a fundamental problem in symbolic computation. Because many problems emerging from other areas of science and engineering can be directly expressed by a decision problem over the reals, there are more and more interests in developing efficient algorithms for the decision problem.
openaire   +1 more source

Algebraic geometry over algebraic structures. V. The case of arbitrary signature

Algebra and Logic, 2012
Vladimir Remeslennikov, Daniyarova Evelina Yu, Remeslennikov V N   +2 more
exaly  

Algebraic Geometry

1977
openaire   +1 more source

Algebraic geometry over algebraic structures. II. Foundations

Journal of Mathematical Sciences, 2012
Vladimir Remeslennikov, Daniyarova Evelina Yu, Remeslennikov V N   +2 more
exaly  

Algebra and Geometry

2006
openaire   +1 more source

Azurite: An algebraic geometry based package for finding bases of loop integrals

Computer Physics Communications, 2017
, Alessandro Georgoudis, Kasper J Larsen   +2 more
exaly  

Symplectic packings and algebraic geometry

Inventiones Mathematicae, 1994
Leonid Polterovich, Dusa Mcduff, Polterovich Leonid   +2 more
exaly  

Integration of nonlinear equations by the methods of algebraic geometry

Functional Analysis and Its Applications, 1977
Igor Krichever, Krichever I M
exaly  

Algebraic approximations in analytic geometry

Inventiones Mathematicae, 1995
László Lempert, Lempert László
exaly  

A New Algebraic Geometry Algorithm for Integer Programming

Management Science, 2000
Dimitris J Bertsimas, Sridhar Tayur, Georgia Perakis   +2 more
exaly