Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Laurentiu Dragan, Stephen M. Watt |
Type Specialization in Aldor. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ambedkar Dukkipati, Joel George Manathara |
An Algebraic Implicitization and Specialization of Minimum KL-Divergence Models. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Serge N. Andrianov |
A Role of Symbolic Computations in Beam Physics. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Serguey V. Zemskov, Henk M. Jonkers, Fred J. Vermolen |
An Analytical Model for the Probability Characteristics of a Crack Hitting an Encapsulated Self-healing Agent in Concrete. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz |
Thomas Decomposition of Algebraic and Differential Systems. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki, Fujio Kako |
Term Cancellations in Computing Floating-Point Gröbner Bases. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Irtegov, Tatyana Titorenko |
On Reduction of Lagrange Systems. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | H. Marandjian, Yuri Shoukourian |
Computational Science in Armenia (Invited Talk). |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Weber 0004, Thomas Sturm 0001, Werner M. Seiler, Essam O. Abdel-Rahman |
Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk). |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Evgenii V. Vorozhtsov |
Derivation of Explicit Difference Schemes for Ordinary Differential Equations with the Aid of Lagrange-Burmann Expansions. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Lobachev, Rita Loogen |
Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zoia Kostova, Nikolay Kostov, Vladimir Gerdjikov |
Differential Resultant, Computer Algebra and Completely Integrable Dynamical Systems. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ernst W. Mayr |
From Petri Nets to Polynomials: Modeling, Algorithms, and Complexity (Abstract) (Invited Talk). |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Winfried Neun, Thomas Sturm 0001, Stefan Vigerske |
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Victor F. Edneral, Valery G. Romanovski |
On Sufficient Conditions for Integrability of a Planar System of ODEs Near a Degenerate Stationary Point. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Paula Bustillo, Jaime Gutierrez 0001 |
On Multivariate Homogeneous Polynomial Decomposition. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Abrahamyan |
Construction of Irreducible Polynomials over Finite Fields. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Kredel, Raphael Jolly |
Generic, Type-Safe and Object Oriented Computer Algebra Software. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Amal Gheffar, Denis E. Khmelnov |
Factorization of Polynomials and GCD Computations for Finding Universal Denominators. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing - 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Zengler, Wolfgang Küchlin |
Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases. |
CASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Evgenii V. Vorozhtsov |
New Analytic Solutions of the Problem of Gas Flow in a Casing with Rotating Disc. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Akira Suzuki |
Computing Gröbner Bases within Linear Algebra. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mark Giesbrecht, Myung Sub Kim |
On Computing the Hermite Form of a Matrix of Differential Polynomials. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir P. Gerdt, Yuri A. Blinkov |
Involution and Difference Schemes for the Navier-Stokes Equations. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jin-San Cheng, Xiao-Shan Gao, Jia Li 0023 |
Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kosaku Nagasaka |
A Study on Gröbner Basis with Inexact Input. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nikita Gogin, Aleksandr Mylläri |
On the Average Growth Rate of Random Compositions of Fibonacci and Padovan Recurrences. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Shemyakova |
Multiple Factorizations of Bivariate Linear Partial Differential Operators. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Maha Youssef, Gerd Baumann |
Hybrid Solution of Two-Point Linear Boundary Value Problems. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger |
A Symbolic Framework for Operations on Linear Boundary Problems. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
Linear boundary problem, Green’s operator, Integro-Differential Operator, Ordinary Differential Equation, Wave Equation |
1 | Michael B. Monagan, Paul Vrbik |
Lazy and Forgetful Polynomial Arithmetic and Applications. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Bernd Braßel |
Computing and Visualizing Closure Objects Using Relation Algebra and RelView. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sergey I. Vinitsky, Ochbadrakh Chuluunbaatar, Vladimir P. Gerdt, A. A. Gusev 0001, V. A. Rostovtsev |
Symbolic-Numerical Algorithms for Solving Parabolic Quantum Well Problem with Hydrogen-Like Impurity. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
parabolic quantum well, hydrogen-like impurity, modified prolate angular spheroidal functions, Symbolic-numerical algorithms |
1 | Vladimir P. Gerdt, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing, 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Shutaro Inoue |
On the Computation of Comprehensive Boolean Gröbner Bases. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kerber |
On the Complexity of Reliable Root Approximation. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Larisa A. Burlakova |
Conditions of D-Stability of the Fifth-Order Matrices. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir P. Gerdt, Robert Kragler, Alexander N. Prokopenya |
A Mathematica Package for Simulation of Quantum Computation. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vyacheslav Tsybulin, Andrew D. Nemtsev, Bülent Karasözen |
A Mimetic Finite-Difference Scheme for Convection of Multicomponent Fluid in a Porous Medium. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrey V. Banshchikov |
Parametric Analysis of Stability Conditions for a Satellite with Gyrodines. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ling Ding, Éric Schost |
Code Generation for Polynomial Multiplication. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Masayuki Noro |
Modular Algorithms for Computing a Generating Set of the Syzygy Module. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Irtegov, Tatyana Titorenko |
On Invariant Manifolds of Dynamical Systems in Lie Algebras. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Natasha Malaschonok |
An Algorithm for Symbolic Solving of Differential Equations and Estimation of Accuracy. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Faugère |
Solving Structured Polynomial Systems and Applications to Cryptology. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Moulay A. Barkatou, Denis E. Khmelnov |
On m-Interlacing Solutions of Linear Difference Equations. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexander D. Bruno, Victor F. Edneral |
On Integrability of a Planar ODE System Near a Degenerate Stationary Point. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
local integrability, resonant normal form, power geometry, computer algebra, ordinary differential equations |
1 | Takuya Kitamoto |
Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Clarita Saldarriaga Vargas |
Mathematical Model for Dengue Epidemics with Differential Susceptibility and Asymptomatic Patients Using Computer Algebra. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
Dengue disease, SEIR model, DSEIR model, differential susceptibility, basic reproduction number, equilibrium states, stability analysis, epidemiology |
1 | Vladimir V. Kornyak |
Discrete Dynamics: Gauge Invariance and Quantization. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Aless Lasaruk, Thomas Sturm 0001 |
Effective Quantifier Elimination for Presburger Arithmetic with Infinity. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexander V. Flegontov, M. J. Marusina |
The Comparison Method of Physical Quantity Dimensionalities. |
CASC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Monagan, Roman Pearce |
Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Esteban Sierra Sosa |
Automatic Stability Analysis for a Diffusion Equation with Memories Using Maple. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina S. Kovaleva, Vyacheslav Tsybulin, Kurt Frischmuth |
Dynamics of Nonlinear Parabolic Equations with Cosymmetry. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ainhoa Berciano, María José Jiménez 0001, Pedro Real 0001 |
On the Computation of Ainfinity-Maps. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
A ???-algebra, Basic Perturbation Lemma, computation, contraction, transference |
1 | N. A. Kostov, Z. T. Kostova |
Exact Solutions of Completely Integrable Systems and Linear ODE's Having Elliptic Function Coefficients. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Doru Stefanescu |
Bounds for Real Roots and Applications to Orthogonal Polynomials. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan 0001 |
Comprehensive Triangular Decomposition. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Franz Winkler 0001, Ekaterina Shemyakova |
Symbolic and Algebraic Methods for Linear Partial Differential Operators. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Takuya Kitamoto, Tetsu Yamaguchi |
On the Computation of the Defining Polynomial of the Algebraic Riccati Equation. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wilhelm Plesken, Daniel Robertz |
Some Elimination Problems for Matrices. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov (eds.) |
Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sergei A. Abramov, Marko Petkovsek |
Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ochbadrakh Chuluunbaatar, Alexander Gusev 0001, Vladimir P. Gerdt, Michail S. Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Sergey I. Vinitsky |
A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov |
Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Irtegov, Tatyana Titorenko |
On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto |
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Evgenii A. Grebenikov, Ersain V. Ikhsanov, Alexander N. Prokopenya |
Studying the Stability of the Second Order Non-autonomous Hamiltonian System. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ulugbek Kh. Narzullaev, Akmal R. Akhatov, Olim I. Jumanov |
Construction of Computer System for Microobjects Recognition Based on Neural Networks. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Juan Ospina, Mario Vélez |
Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Maki Iwami |
A Unified Algorithm for Multivariate Analytic Factorization. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Victor F. Edneral |
An Algorithm for Construction of Normal Forms. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
resonant normal form, nonlinear ordinary differential equations, computer algebra |
1 | Vladimir P. Gerdt, Arsen Khvedelidze, Yuri Palii |
Deducing the Constraints in the Light-Cone SU (3) Yang-Mills Mechanics Via Gröbner Bases. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Anna Deytseva |
On the Representation of the Differential Operator in Bases of Periodic Coiflets and It's Application. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Gunther Schmidt 0001 |
Algebraic Visualization of Relations Using RelView. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Volker Weispfenning |
Robust Stability for Parametric Linear ODEs. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Yu. Uteshev, Marina V. Yashina 0002 |
Distance Computation from an Ellipsoid to a Linear or a Quadric Surface in IR n . |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alkiviadis G. Akritas, Gennadi I. Malaschonok |
Computations in Modules over Commutative Domains. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alkiviadis G. Akritas, Adam W. Strzebonski, Panagiotis S. Vigklas |
Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Evgenii A. Grebenikov, Dorota Kozak-Skoworodkin, N. I. Zemtsova |
Properties of the Liapunov Stability Zones of the Lagrange Triangle. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Fritzsche |
Computer Algebra: A 'Classical' Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Werner Backes, Susanne Wetzel |
An Efficient LLL Gram Using Buffered Transformations. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Song Y. Yan, Carsten Maple, Glyn James |
A New Scheme for Deniable/Repudiable Authentication. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
Deniable/repudiable authentication, quadratic residuosity problem, intractability |
1 | Kosaku Nagasaka |
Ruppert Matrix as Subresultant Mapping. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir V. Kornyak |
Symmetries and Dynamics of Discrete Systems. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Shemyakova, Franz Winkler 0001 |
A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
Linear Partial Differential Operators, Gauge transformations, Invariants |
1 | Aless Lasaruk, Thomas Sturm 0001 |
Weak Integer Quantifier Elimination Beyond the Linear Case. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nikita Gogin, Aleksandr Mylläri |
On the Weight Spectra of Conway Matrices Related to the Non-transitive Head-or-Tail Game. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jaime Gutierrez 0001, David Sevilla |
On Decomposition of Tame Polynomials and Rational Functions. |
CASC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Song Y. Yan, Glyn James |
Testing Mersenne Primes with Elliptic Curves. |
CASC |
2006 |
DBLP DOI BibTeX RDF |
Mersenne numbers, Lucas-Lehmer test, elliptic curve test, Mersenne primes |
1 | I. N. Belyaeva, Nikolai A. Chekanov, Alexander Gusev 0001, Vitaly Rostovtsev, Sergey I. Vinitsky |
A Symbolic-Numeric Approach for Solving the Eigenvalue Problem for the One-Dimensional Schrödinger Equation. |
CASC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Víctor Álvarez 0001, José Andrés Armario, María Dolores Frau, Pedro Real 0001 |
Comparison Maps for Relatively Free Resolutions. |
CASC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | E. A. Grebenicov, Dorota Kozak-Skoworodkin, D. M. Diarova |
Numerical Study of Stability Domains of Hamiltonian Equation Solutions. |
CASC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir V. Kornyak |
Cellular Automata with Symmetric Local Rules. |
CASC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bodrato, Alberto Zanoni |
Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study. |
CASC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ainhoa Berciano, María José Jiménez 0001, Pedro Real 0001 |
Reducing Computational Costs in the Basic Perturbation Lemma. |
CASC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rocío González-Díaz, Belén Medrano, Javier Sánchez-Peláez, Pedro Real 0001 |
Simplicial Perturbation Techniques and Effective Homology. |
CASC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Doru Stefanescu |
Inequalities on Upper Bounds for Real Polynomial Roots. |
CASC |
2006 |
DBLP DOI BibTeX RDF |
|