default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Symbolic Computation, Volume 72
Volume 72, January - February 2016
- Yue Ma, Chu Wang, Lihong Zhi:
A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals. 1-20 - George E. Collins:
Continued fraction real root isolation using the Hong root bound. 21-54 - Tomás Recio
, J. Rafael Sendra, Luis Felipe Tabera, Carlos Villarino:
On tubular vs. swung surfaces. 55-64 - Scott McCallum, Hoon Hong:
On using Lazard's projection in CAD construction. 65-81 - Carsten Schneider:
A difference ring theory for symbolic summation. 82-127 - Noah S. Daleo, Jonathan D. Hauenstein:
Numerically deciding the arithmetically Cohen-Macaulayness of a projective scheme. 128-146 - Claudia R. Alcántara:
Stratification of the space of foliations on CP2. 147-160 - Gregor Kemper:
Using extended Derksen ideals in computational invariant theory. 161-181 - Domingo Gómez-Pérez, Jaime Gutierrez, Alina Ostafe:
Common composites of triangular polynomial systems and hash functions. 182-195 - Lionel Ducos, Samiha Monceur, Ihsen Yengui:
Computing the V-saturation of finitely-generated submodules of V[X]m where V is a valuation domain. 196-205 - Jingjun Han, Zhi Jin, Bican Xia:
Proving inequalities and solving global optimization problems via simplified CAD projection. 206-230 - Romain Lebreton, Éric Schost:
A simple and fast online power series multiplication and its analysis. 231-251
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-05 22:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
