share record
persistent URL:
Biao Li , Yong Chen , Qi Wang : Exact analytical solutions to the nonlinear Schrödinger equation model. ISSAC 2005 : 224-230 share record
persistent URL:
Daniel Lichtblau : Half-GCD and fast rational recovery. ISSAC 2005 : 231-236 share record
persistent URL:
Weibo Mao , Jinzhao Wu : Application of Wu's method to symbolic model checking. ISSAC 2005 : 237-244 share record
persistent URL:
Michael B. Monagan : Probabilistic algorithms for computing resultants. ISSAC 2005 : 245-252 share record
persistent URL:
Bernard Mourrain : Generalized normal forms and polynomial system solving. ISSAC 2005 : 253-260 share record
persistent URL:
Cosmin E. Oancea , Stephen M. Watt : Domains and expressions: an interface between two approaches to computer algebra. ISSAC 2005 : 261-268 share record
persistent URL:
Sonia Pérez-Díaz , J. Rafael Sendra : Partial degree formulae for rational algebraic surfaces. ISSAC 2005 : 301-308 share record
persistent URL:
Greg Reid , Jan Verschelde , Allan D. Wittkopf , Wenyuan Wu : Symbolic-numeric completion of differential systems by homotopy continuation. ISSAC 2005 : 269-276 export record
dblp key:
conf/issac/RondepierreD05 share record
persistent URL:
Aude Rondepierre , Jean-Guillaume Dumas : Algorithms for symbolic/numeric control of affine dynamical systems. ISSAC 2005 : 277-284 share record
persistent URL:
Bruno Salvy : D-finiteness: algorithms and applications. ISSAC 2005 : 2-3 share record
persistent URL:
Carsten Schneider : Finding telescopers with minimal depth for indefinite nested sum and product expressions. ISSAC 2005 : 285-292 share record
persistent URL:
Éric Schost : Multivariate power series multiplication. ISSAC 2005 : 293-300 share record
persistent URL:
Arne Storjohann , Gilles Villard : Computing the rank and a small nullspace basis of a polynomial matrix. ISSAC 2005 : 309-316 share record
persistent URL:
Laurent Tournier : Approximation of dynamical systems using s-systems theory: application to biological systems. ISSAC 2005 : 317-324 share record
persistent URL:
Sergey P. Tsarev : Generalized laplace transformations and integration of hyperbolic systems of linear partial differential equations. ISSAC 2005 : 325-331 share record
persistent URL:
William J. Turner : Preconditioners for singular black box matrices. ISSAC 2005 : 332-339 share record
persistent URL:
Dongming Wang , Bican Xia : Stability analysis of biological systems with real solution classification. ISSAC 2005 : 354-361 share record
persistent URL:
Wu Wen-Tsün : On a finite kernel theorem for polynomial-type optimization problems and some of its applications. ISSAC 2005 : 4 share record
persistent URL:
Christiaan E. van de Woestijne : Deterministic equation solving over finite fields. ISSAC 2005 : 348-353 share record
persistent URL:
Lu Yang , Zhenbing Zeng : An open problem on metric invariants of tetrahedra. ISSAC 2005 : 362-364 share record
persistent URL:
Aleksey Zobnin : Admissible orderings and finiteness criteria for differential standard bases. ISSAC 2005 : 365-372 share record
persistent URL:
Manuel Kauers : Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings. ACM 2005 , ISBN 1-59593-095-7 [contents]