Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Symbolic Computation, Volume 70
Volume 70, September - October 2015
- Rok Pozar
:
Some computational aspects of solvable regular covers of graphs. 1-13 - Christopher W. Brown, Marek Kosta:
Constructing a single cell in cylindrical algebraic decomposition. 14-48 - Magali Bardet, Jean-Charles Faugère, Bruno Salvy:
On the complexity of the F5 Gröbner basis algorithm. 49-70 - Teresa Cortadellas Benítez, Carlos D'Andrea:
The Rees Algebra of a monomial plane parametrization. 71-105 - George E. Collins:
Krandick's proof of Lagrange's real root bound claim. 106-111 - Hoon Hong, Xiaoxian Tang, Bican Xia:
Special algorithm for stability analysis of multistable biological regulatory systems. 112-135
a service of 
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 2024-06-19 21:57 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:
