Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 47 matches
- 2008
- Sergei A. Abramov:
Power series and linear difference equations. ISSAC 2008: 1-2 - Melanie Achatz, Scott McCallum, Volker Weispfenning:
Deciding polynomial-exponential problems. ISSAC 2008: 215-222 - Felix Antritter, Jean Lévine:
Towards a computer algebraic algorithm for flat output determination. ISSAC 2008: 7-14 - Matthias Aschenbrenner, Christopher J. Hillar:
An algorithm for finding symmetric Grobner bases in infinite dimensional rings. ISSAC 2008: 117-124 - Moulay A. Barkatou, Gary Broughton, Eckhard Pflügel:
Regular systems of linear functional equations and applications. ISSAC 2008: 15-22 - Alin Bostan, Frédéric Chyzak, Nicolas Le Roux:
Products of ordinary differential operators by evaluation and interpolation. ISSAC 2008: 23-30 - Alin Bostan, Bruno Salvy, Éric Schost:
Power series composition and change of basis. ISSAC 2008: 269-276 - Michael Brickenstein, Alexander Dreyer:
Gröbner-free normal forms for boolean polynomials. ISSAC 2008: 55-62 - Michael A. Burr, Sung Woo Choi, Benjamin Galehouse, Chee-Keng Yap:
Complete subdivision algorithms, II: isotopic meshing of singular algebraic curves. ISSAC 2008: 87-94 - Massimo Caboara, Fabrizio Caruso, Carlo Traverso:
Gröbner bases for public key cryptography. ISSAC 2008: 315-324 - Ruben Debeerst, Mark van Hoeij, Wolfram Koepf:
Solving differential equations in terms of bessel functions. ISSAC 2008: 39-46 - Daouda Niang Diatta, Bernard Mourrain, Olivier Ruatta:
On the computation of the topology of a non-reduced implicit space curve. ISSAC 2008: 47-54 - Mohab Safey El Din:
Computing the global optimum of a multivariate polynomial over the reals. ISSAC 2008: 71-78 - Jean-Guillaume Dumas:
Q-adic transform revisited. ISSAC 2008: 63-70 - Jean-Charles Faugère, Guillaume Moroz, Fabrice Rouillier, Mohab Safey El Din:
Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities. ISSAC 2008: 79-86 - Komei Fukuda:
Exact algorithms and software in optimization and polyhedral computation. ISSAC 2008: 333-334 - Vladimir P. Gerdt, Mikhail V. Zinin:
A pommaret division algorithm for computing Grobner bases in boolean rings. ISSAC 2008: 95-102 - Mark Giesbrecht, Daniel S. Roche:
On lacunary polynomial perfect powers. ISSAC 2008: 103-110 - Dima Grigoriev, Fritz Schwarz:
Loewy decomposition of third-order linear aPDE's in the plane. ISSAC 2008: 277-286 - Didier Henrion, Michael Sebek:
Plane geometry and convexity of polynomial stability regions. ISSAC 2008: 111-116 - Itnuit Janovitz-Freireich, Ágnes Szántó, Bernard Mourrain, Lajos Rónyai:
Moment matrices, trace matrices and the radical of ideals. ISSAC 2008: 125-132 - Zhibek Kadyrsizova, Valery G. Romanovski:
Linearizablity of 1: -3 resonant system with homogeneous cubic nonlinearities. ISSAC 2008: 255-260 - Erich L. Kaltofen, Pascal Koiran:
Expressing a fraction of two determinants as a determinant. ISSAC 2008: 141-146 - Erich L. Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi:
Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. ISSAC 2008: 155-164 - Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara:
Symbolic optimization of algebraic functions. ISSAC 2008: 147-154 - Manuel Kauers:
Integration of algebraic functions: a simple heuristic for finding the logarithmic part. ISSAC 2008: 133-140 - Gregor Kemper:
Algorithmic invariant theory. ISSAC 2008: 335-336 - François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie:
When does (T) equal sat(T)? ISSAC 2008: 207-214 - Viktor Levandovskyy, Jorge Martín-Morales:
Computational D-module theory with singular, comparison with other systems and two new algorithms. ISSAC 2008: 173-180 - Anton Leykin:
Numerical primary decomposition. ISSAC 2008: 165-172
skipping 17 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-28 14:59 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint