| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Werner M. Seiler |
Singularities of Implicit Differential Equations and Static Bifurcations.  |
CASC  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Gusev 0001, Sergue I. Vinitsky, Ochbadrakh Chuluunbaatar, Vitaly Rostovtsev, Luong Le Hai, Vladimir Derbov, Andrzej Gózdz, Evgenii Klimov |
Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Identical Particles with Pair Oscillator Interactions. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingchuan Meng, Jeremy Johnson 0001 |
Automatic Parallel Library Generation for General-Size Modular FFT Algorithms. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Arnold, Mark Giesbrecht, Daniel S. Roche |
Faster Sparse Interpolation of Straight-Line Programs. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander D. Bruno, Victor F. Edneral |
On Possibility of Additional Solutions of the Degenerate System Near Double Degeneration at the Special Value of the Parameter. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Rosenkranz, Nalina Phisanbut |
A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations - Applications to the Completely Reducible Case of the Cauchy Problem with Constant Coefficients. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergue I. Vinitsky, Alexander Gusev 0001, Ochbadrakh Chuluunbaatar, Vitaly Rostovtsev, Luong Le Hai, Vladimir Derbov, Pavel Krassovitskiy |
Symbolic-Numerical Algorithm for Generating Cluster Eigenfunctions: Tunneling of Clusters through Repulsive Barriers. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasily P. Shapeev, Evgenii V. Vorozhtsov |
CAS Application to the Construction of the Collocations and Least Residuals Method for the Solution of 3D Navier-Stokes Equations. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Schirra |
A Note on Sekigawa's Zero Separation Bound. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tateaki Sasaki, Daiju Inaba, Fujio Kako |
Towards Industrial Application of Approximate Computer Algebra. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dima Grigoriev |
Complexity in Tropical Algebra (Invited Talk). |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail H. Klin, Matan Ziv-Av |
Enumeration of Schur Rings over the Group A 5. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Griewank |
From the Product Example to PDE Adjoints, Algorithmic Differentiation and Its Application (Invited Talk). |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dima Grigoriev, Fritz Schwarz |
Computing Divisors and Common Multiples of Quasi-linear Ordinary Differential Equations. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Parisa Alvandi, Changbo Chen, Marc Moreno Maza |
Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dima Grigoriev |
Polynomial Complexity of Solving Systems of Few Algebraic Equations with Small Degrees. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphael Jolly |
Categories as Type Classes in the Scala Algebra System. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Doru Stefanescu |
Construction of Classes of Irreducible Bivariate Polynomials. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing - 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Y. Pan |
Polynomial Evaluation and Interpolation and Transformations of Matrix Structures. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi Amodio, Yuri A. Blinkov, Vladimir P. Gerdt, Roberto La Scala |
On Consistency of Finite Difference Approximations to the Navier-Stokes Equations. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hidenao Iwane, Hiroyuki Higuchi, Hirokazu Anai |
An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Danko Adrovic, Jan Verschelde |
Polyhedral Methods for Space Curves Exploiting Symmetry Applied to the Cyclic n-roots Problem. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Roanes-Lozano, Eugenio Roanes-Macías |
A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Yu. Uteshev, Marina V. Yashina 0002 |
Stationary Points for the Family of Fermat-Torricelli-Coulomb-Like Potential Functions. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid A. Sevastianov, Alexander V. Zorin, Alexander Gorbachev |
A Quantum Measurements Model of Hydrogen-Like Atoms in Maple. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kosaku Nagasaka, Takaaki Masui |
Extended QRGCD Algorithm. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Irtegov, Tatyana Titorenko |
On Stationary Sets of Euler's Equations on so(3, 1) and Their Stability. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey A. Gutnik, Vasily A. Sarychev |
Symbolic-Numerical Investigation of Gyrostat Satellite Dynamics. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ehsan Ullah |
Algebraic Attacks Using IP-Solvers. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mickaël Gastineau, Jacques Laskar |
Highly Scalable Multiplication for Distributed Sparse Multivariate Polynomials on Many-Core Systems. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei A. Abramov, Moulay A. Barkatou |
On the Dimension of Solution Spaces of Full Rank Linear Differential Systems. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana Schlomiuk, Nicolae Vulpe |
Applications of Symbolic Calculations and Polynomial Invariants to the Classification of Singularities of Differential Systems. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassan Errami, Markus Eiswirth, Dima Grigoriev, Werner M. Seiler, Thomas Sturm 0001, Andreas Weber 0004 |
Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. |
CASC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaume Giné, Colin Christopher, Mateja Presern, Valery G. Romanovski, Natalie L. Shcheglova |
The Resonant Center Problem for a 2: -3 Resonant Cubic Lotka-Volterra System. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Marcus, Marc Moreno Maza, Paul Vrbik |
On Fulton's Algorithm for Computing Intersection Multiplicities. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Moreno Maza, Éric Schost, Paul Vrbik |
Inversion Modulo Zero-Dimensional Regular Chains. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tateaki Sasaki, Daiju Inaba |
Approximately Singular Systems and Ill-Conditioned Polynomial Systems. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bodrato, Alberto Zanoni |
A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael B. Monagan, Roman Pearce |
Sparse Polynomial Powering Using Heaps. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hashemi, Michael Schweinfurter, Werner M. Seiler |
Quasi-stability versus Genericity. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Satya Swarup Samal, Hassan Errami, Andreas Weber 0004 |
PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dima Grigoriev, Andreas Weber 0004 |
Complexity of Solving Systems with Few Independent Monomials and Applications to Mass-Action Kinetics. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Kemper |
Invariant Theory: Applications and Computations - (Invited Talk). |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhikun She, Haoyang Li |
Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander D. Bruno, Victor F. Edneral |
Calculation of Normal Forms of the Euler-Poisson Equations. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir P. Gerdt, Amir Hashemi |
Comprehensive Involutive Systems. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Mezzarobba |
A Note on the Space Complexity of Fast D-Finite Function Evaluation. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei A. Abramov, Marko Petkovsek |
On Polynomial Solutions of Linear Partial Differential and (q-)Difference Equations. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Severin Neumann |
Parallel Reduction of Matrices in Gröbner Bases Computations. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Giesbrecht, Albert Heinle |
A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsusuke Nabeshima |
Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Gusev 0001, Sergue I. Vinitsky, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, Luong Le Hai, Vitaly Rostovtsev |
Symbolic-Numerical Calculations of High-|m| Rydberg States and Decay Rates in Strong Magnetic Fields. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhanjan Vijendra Ananth, Ambedkar Dukkipati |
An Algebraic Characterization of Rainbow Connectivity. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Y. Pan, Guoliang Qian, Ailong Zheng |
Real and Complex Polynomial Root-Finding by Means of Eigen-Solving. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dzmitry A. Budzko, Alexander N. Prokopenya |
Stability of Equilibrium Positions in the Spatial Circular Restricted Four-Body Problem. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuhiro Yokoyama |
Usage of Modular Techniques for Efficient Computation of Ideal Operations - (Invited Talk). |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassan Errami, Werner M. Seiler, Markus Eiswirth, Andreas Weber 0004 |
Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing - 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasily P. Shapeev, Evgenii V. Vorozhtsov |
Symbolic-Numeric Implementation of the Method of Collocations and Least Squares for 3D Navier-Stokes Equations. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Bourdykine, Stephen M. Watt |
Lightweight Abstraction for Mathematical Computation in Java. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Yang 0039, Dongming Wang 0001, Hoon Hong |
Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Li, Jin-San Cheng, Elias P. Tsigaridas |
Local Generic Position for Root Isolation of Zero-Dimensional Triangular Polynomial Systems. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander B. Batkhin |
Application of the Method of Asymptotic Solution to One Multi-Parameter Problem. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Y. Pan |
Root-Refining for a Polynomial Equation. |
CASC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | William Hart, Andrew Novocin |
Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Levandovskyy, Christoph Koutschan, Oleksandr Motsak |
On Two-Generated Non-commutative Algebras Subject to the Affine Relation. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bülent Karasözen, Anastasia Trofimova, Vyacheslav Tsybulin |
Convection in a Porous Medium and Mimetic Scheme in Polar Coordinates. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anja Korporal, Georg Regensburger, Markus Rosenkranz |
Regular and Singular Boundary Problems in Maple. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Kredel, Raphael Jolly |
Algebraic Structures as Typed Objects. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing - 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | François Boulier, François Lemaire, Michel Petitot, Alexandre Sedoglavic |
Chemical Reaction Systems, Computer Algebra and Systems Biology - (Invited Talk). |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Abrahamyan, Melsik Kyureghyan |
A Recurrent Method for Constructing Irreducible Polynomials over Finite Fields. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor F. Edneral, Valery G. Romanovski |
Normal Forms of Two p: - q Resonant Polynomial Vector Fields. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhikun She, Bai Xue 0001 |
Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Irtegov, Tatyana Titorenko |
On Invariant Manifolds of Lagrange Systems. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Gerardo Alcázar |
Topology of Families of Implicit Algebraic Surfaces Depending on a Parameter. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ágnes Szántó |
Symbolic-Numeric Solution of Ill-Conditioned Polynomial Systems (Survey Talk Overview) (Invited Talk). |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hidenao Iwane, Akifumi Kira, Hirokazu Anai |
Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir V. Kornyak |
Computations in Finite Groups and Quantum Physics. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart |
Computations on Simple Games Using RelView. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei A. Abramov, Moulay A. Barkatou, Eckhard Pflügel |
Higher-Order Linear Differential Systems with Truncated Coefficients. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey A. Gutnik |
Symbolic-Numeric Investigation of the Aerodynamic Forces Influence on Satellite Dynamics. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Fabregat-Traver, Paolo Bientinesi |
Knowledge-Based Automatic Generation of Partitioned Matrix Expressions. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Hauser, Christian Salzig, Alexander Dreyer |
Fast and Robust Symbolic Model Order Reduction with Analog Insydes. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miloslav Znojil |
Symbolic-Manipulation Constructions of Hilbert-Space Metrics in Quantum Mechanics. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | François Boulier, François Lemaire, Alexandre Sedoglavic |
On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dzmitry A. Budzko, Alexander N. Prokopenya |
On the Stability of Equilibrium Positions in the Circular Restricted Four-Body Problem. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Changbo Chen, Marc Moreno Maza |
Semi-algebraic Description of the Equilibria of Dynamical Systems. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge N. Andrianov |
A Modular Approach for Beam Lines Design. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian J. Murphy |
Acceleration of the Inversion of Triangular Toeplitz Matrices and Polynomial Division. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassan Errami, Werner M. Seiler, Thomas Sturm 0001, Andreas Weber 0004 |
On Muldowney's Criteria for Polynomial Vector Fields with Constraints. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir P. Gerdt, Yuri A. Blinkov |
Involutive Division Generated by an Antigraded Monomial Ordering. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | A. A. Gusev 0001, Sergey I. Vinitsky, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, V. A. Rostovtsev |
Symbolic-Numerical Algorithms to Solve the Quantum Tunneling Problem for a Coupled Pair of Ions. |
CASC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Ceballos, Juan Núñez 0001, Ángel F. Tenorio |
Computing Matrix Representations of Filiform Lie Algebras. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Akira Terui |
GPGCD, an Iterative Method for Calculating Approximate GCD, for Multiple Univariate Polynomials. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gennadi I. Malaschonok |
Fast Generalized Bruhat Decomposition. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | A. A. Gusev 0001, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, V. A. Rostovtsev, Sergey I. Vinitsky, V. L. Derbov, Vladislav V. Serov |
Symbolic-Numeric Algorithms for Computer Analysis of Spheroidal Quantum Dot Models. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Yu. Slavyanov |
One Class of Third-Order Linear ODE's. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | G. A. Kalugin, D. J. Jeffrey |
Series Transformations to Improve and Extend Convergence. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license