| 2007 | A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form. Ekaterina Shemyakova, Franz Winkler |
| 2007 | A New Scheme for Deniable/Repudiable Authentication. Song Y. Yan, Carsten Maple, Glyn James |
| 2007 | A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates. Ochbadrakh Chuluunbaatar, Alexander Gusev, Vladimir P. Gerdt, Michail S. Kaschiev, Vitaly Rostovtsev, Valentin Samoylov, Tatyana Tupikova, Sergey I. Vinitsky |
| 2007 | A Unified Algorithm for Multivariate Analytic Factorization. Maki Iwami |
| 2007 | Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds. Alkiviadis G. Akritas, Adam W. Strzebonski, Panagiotis S. Vigklas |
| 2007 | Algebraic Visualization of Relations Using RelView. Rudolf Berghammer, Gunther Schmidt |
| 2007 | An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks. Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto |
| 2007 | An Algorithm for Construction of Normal Forms. Victor F. Edneral |
| 2007 | An Efficient LLL Gram Using Buffered Transformations. Werner Backes, Susanne Wetzel |
| 2007 | Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation. Sergei A. Abramov, Marko Petkovsek |
| 2007 | Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra. Juan Ospina, Mario Vélez |
| 2007 | Automatic Stability Analysis for a Diffusion Equation with Memories Using Maple. Daniel Esteban Sierra Sosa |
| 2007 | Bounds for Real Roots and Applications to Orthogonal Polynomials. Doru Stefanescu |
| 2007 | Comprehensive Triangular Decomposition. Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan |
| 2007 | Computations in Modules over Commutative Domains. Alkiviadis G. Akritas, Gennadi I. Malaschonok |
| 2007 | Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov |
| 2007 | Computer Algebra: A 'Classical' Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory. Stephan Fritzsche |
| 2007 | Construction of Computer System for Microobjects Recognition Based on Neural Networks. Ulugbek Kh. Narzullaev, Akmal R. Akhatov, Olim I. Jumanov |
| 2007 | Deducing the Constraints in the Light-Cone Vladimir P. Gerdt, Arsen Khvedelidze, Yuri Palii |
| 2007 | Distance Computation from an Ellipsoid to a Linear or a Quadric Surface in IR Alexei Yu. Uteshev, Marina V. Yashina |
| 2007 | Dynamics of Nonlinear Parabolic Equations with Cosymmetry. Ekaterina S. Kovaleva, Vyacheslav Tsybulin, Kurt Frischmuth |
| 2007 | Exact Solutions of Completely Integrable Systems and Linear ODE's Having Elliptic Function Coefficients. N. A. Kostov, Z. T. Kostova |
| 2007 | On the Computation of Ainhoa Berciano, María José Jiménez, Pedro Real |
| 2007 | On the Computation of the Defining Polynomial of the Algebraic Riccati Equation. Takuya Kitamoto, Tetsu Yamaguchi |
| 2007 | On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems. Valentin Irtegov, Tatyana Titorenko |
| 2007 | On the Representation of the Differential Operator in Bases of Periodic Coiflets and It's Application. Anna Deytseva |
| 2007 | On the Weight Spectra of Conway Matrices Related to the Non-transitive Head-or-Tail Game. Nikita Gogin, Aleksandr Mylläri |
| 2007 | Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors. Michael B. Monagan, Roman Pearce |
| 2007 | Properties of the Liapunov Stability Zones of the Lagrange Triangle. Evgenii A. Grebenikov, Dorota Kozak-Skoworodkin, N. I. Zemtsova |
| 2007 | Robust Stability for Parametric Linear ODEs. Volker Weispfenning |
| 2007 | Ruppert Matrix as Subresultant Mapping. Kosaku Nagasaka |
| 2007 | Some Elimination Problems for Matrices. Wilhelm Plesken, Daniel Robertz |
| 2007 | Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations. Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov |
| 2007 | Studying the Stability of the Second Order Non-autonomous Hamiltonian System. Evgenii A. Grebenikov, Ersain V. Ikhsanov, Alexander N. Prokopenya |
| 2007 | Symbolic and Algebraic Methods for Linear Partial Differential Operators. Franz Winkler, Ekaterina Shemyakova |
| 2007 | Symmetries and Dynamics of Discrete Systems. Vladimir V. Kornyak |
| 2007 | Weak Integer Quantifier Elimination Beyond the Linear Case. Aless Lasaruk, Thomas Sturm |