Остановите войну!
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 641 matches
- 2023
- Mahsa Ansari, Michael B. Monagan:
Computing GCDs of Multivariate Polynomials over Algebraic Number Fields Presented with Multiple Extensions. CASC 2023: 1-20 - Rashid Barket, Matthew England, Jürgen Gerhard:
Generating Elementary Integrable Expressions. CASC 2023: 21-38 - Klara Bernauer, Clemens Hofstadler, Georg Regensburger:
How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study. CASC 2023: 39-68 - Alexander Brandt, Juan Pablo González Trochez, Marc Moreno Maza, Haoze Yuan:
A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface. CASC 2023: 69-89 - André Galligo, Didier Clamond:
Certified Study of Internal Solitary Waves. CASC 2023: 90-106 - Soo Go, Victor Y. Pan, Pedro Soto:
Root-Squaring for Root-Finding. CASC 2023: 107-127 - A. A. Gusev, Ochbadrakh Chuluunbaatar, V. L. Derbov, Rashid Nazmitdinov, Sergey I. Vinitsky, P. W. Wen, C. J. Lin, H. M. Jia, Luong Le Hai:
Symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex Potential. CASC 2023: 128-140 - Amir Hashemi, Daniel Lichtblau:
On the Complexity of Linear Algebra Operations over Algebraic Extension Fields. CASC 2023: 141-161 - Kai Hormann, Chee Yap, Ya Shi Zhang:
Range Functions of Any Convergence Order and Their Amortized Complexity Analysis. CASC 2023: 162-182 - Bo Huang, Xiaoliang Li, Wei Niu, Shaofen Xie:
Stability and Zero-Hopf Bifurcation Analysis of the Lorenz-Stenflo System Using Symbolic Methods. CASC 2023: 183-198 - Jacob Imre, David J. Jeffrey:
Non-principal Branches of Lambert W. A Tale of 2 Circles. CASC 2023: 199-212 - Valentin Irtegov, Tatiana Titorenko:
On the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical System. CASC 2023: 213-232 - Ayoola Jinadu, Michael B. Monagan:
Solving Parametric Linear Systems Using Sparse Rational Function Interpolation. CASC 2023: 233-254 - Elizaveta Kalinina, Alexei Uteshev, Marina V. Goncharova, Elena Lezhnina:
On the Distance to the Nearest Defective Matrix. CASC 2023: 255-271 - Katsusuke Nabeshima, Shinichi Tajima:
Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals. CASC 2023: 272-291 - Peter J. Olver:
On the Structure and Generators of Differential Invariant Algebras. CASC 2023: 292-311 - Ling Tan, Bo Li, Bingwei Zhang, Jin-San Cheng:
An Algorithm for the Intersection Problem of Planar Parametric Curves. CASC 2023: 312-329 - Evgenii V. Vorozhtsov:
A Symbolic-Numeric Method for Solving the Poisson Equation in Polar Coordinates. CASC 2023: 330-349 - Weidong Wang, Jing Yang:
Two Variants of Bézout Subresultants for Several Univariate Polynomials. CASC 2023: 350-369 - Stephen M. Watt:
Efficient Quotients of Non-commutative Polynomials. CASC 2023: 370-392 - Mizuki Yoshizawa, Akira Terui, Masahiko Mikawa:
Inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems. CASC 2023: 393-419 - François Boulier, Matthew England, Ilias S. Kotsireas, Timur M. Sadykov, Evgenii V. Vorozhtsov:
Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings. Lecture Notes in Computer Science 14139, Springer 2023, ISBN 978-3-031-41723-8 [contents] - 2022
- Sergei A. Abramov, Denis E. Khmelnov, Anna A. Ryabenko:
On Truncated Series Involved in Exponential-Logarithmic Solutions of Truncated LODEs. CASC 2022: 18-28 - Mohammadali Asadi, Alexander Brandt, David J. Jeffrey, Marc Moreno Maza:
Subresultant Chains Using Bézout Matrices. CASC 2022: 29-50 - Andrei V. Banshchikov:
Application of Symbolic-Numerical Modeling Tools for Analysis of Gyroscopic Stabilization of Gyrostat Equilibria. CASC 2022: 51-61 - Franz Brauße, Pieter Collins, Martin Ziegler:
Computer Science for Continuous Data - Survey, Vision, Theory, and Practice of a Computer [inline-graphic not available: see fulltext]Analysis System. CASC 2022: 62-82 - Hara Charalambous, Kostas Karagiannis, Sotiris Karanikolopoulos, Aristides Kontogeorgis:
Computational Aspects of Equivariant Hilbert Series of Canonical Rings for Algebraic Curves. CASC 2022: 83-102 - Algirdas Deveikis, Alexander Gusev, Sergue I. Vinitsky, Yuri A. Blinkov, Andrzej Gózdz, Aleksandra Pedrak, Peter O. Hess:
Symbolic-Numeric Algorithm for Calculations in Geometric Collective Model of Atomic Nuclei. CASC 2022: 103-123 - Mingyu Dong, Chenqi Mou:
Analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition. CASC 2022: 124-142 - Rémi Imbach, Victor Y. Pan:
Accelerated Subdivision for Clustering Roots of Polynomials Given by Evaluation Oracles. CASC 2022: 143-164
skipping 611 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-30 21:13 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