callback( { "result":{ "query":":facetid:toc:\"db/conf/issac/issac93.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"205.30" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"46", "@dc":"46", "@oc":"46", "@id":"43305686", "text":":facetid:toc:db/conf/issac/issac93.bht" } }, "hits":{ "@total":"46", "@computed":"46", "@sent":"46", "@first":"0", "hit":[{ "@score":"1", "@id":"6831227", "info":{"authors":{"author":{"@pid":"64/1312","text":"Sergei A. Abramov"}},"title":"On d'Alembert Substitution.","venue":"ISSAC","pages":"20-26","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Abramov93","doi":"10.1145/164081.164086","ee":"https://doi.org/10.1145/164081.164086","url":"https://dblp.org/rec/conf/issac/Abramov93"}, "url":"URL#6831227" }, { "@score":"1", "@id":"6831228", "info":{"authors":{"author":[{"@pid":"64/1312","text":"Sergei A. Abramov"},{"@pid":"05/3372","text":"K. Yu. Kvashenko"}]},"title":"On the Greatest Common Divisor of Polynomials which Depend on a Parameter.","venue":"ISSAC","pages":"152-156","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/AbramovK93","doi":"10.1145/164081.164112","ee":"https://doi.org/10.1145/164081.164112","url":"https://dblp.org/rec/conf/issac/AbramovK93"}, "url":"URL#6831228" }, { "@score":"1", "@id":"6831229", "info":{"authors":{"author":[{"@pid":"b/LaszloBabai","text":"László Babai"},{"@pid":"63/1216","text":"Robert Beals"},{"@pid":"r/DNRockmore","text":"Daniel N. Rockmore"}]},"title":"Deciding Finiteness of Matrix Groups in Deterministic Polynomial Time.","venue":"ISSAC","pages":"117-126","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/BabaiBR93","doi":"10.1145/164081.164104","ee":"https://doi.org/10.1145/164081.164104","url":"https://dblp.org/rec/conf/issac/BabaiBR93"}, "url":"URL#6831229" }, { "@score":"1", "@id":"6831230", "info":{"authors":{"author":[{"@pid":"b/LaszloBabai","text":"László Babai"},{"@pid":"69/6926","text":"Katalin Friedl"},{"@pid":"70/6328","text":"Markus Stricker"}]},"title":"Decomposition of *-closed Algebras in Polynomial Time.","venue":"ISSAC","pages":"86-94","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/BabaiFS93","doi":"10.1145/164081.164098","ee":"https://doi.org/10.1145/164081.164098","url":"https://dblp.org/rec/conf/issac/BabaiFS93"}, "url":"URL#6831230" }, { "@score":"1", "@id":"6831231", "info":{"authors":{"author":{"@pid":"63/1216","text":"Robert Beals"}},"title":"An Elementary Algorithm for Computing the Composition Factors of a Permutation Group.","venue":"ISSAC","pages":"127-134","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Beals93","doi":"10.1145/164081.164105","ee":"https://doi.org/10.1145/164081.164105","url":"https://dblp.org/rec/conf/issac/Beals93"}, "url":"URL#6831231" }, { "@score":"1", "@id":"6831232", "info":{"authors":{"author":[{"@pid":"b/DarioBini","text":"Dario Bini"},{"@pid":"93/2900","text":"Victor Y. Pan"}]},"title":"Parallel Computations with Toeplitz-like and Hankel-like Matrices.","venue":"ISSAC","pages":"193-200","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/BiniP93","doi":"10.1145/164081.164124","ee":"https://doi.org/10.1145/164081.164124","url":"https://dblp.org/rec/conf/issac/BiniP93"}, "url":"URL#6831232" }, { "@score":"1", "@id":"6831233", "info":{"authors":{"author":[{"@pid":"b/MBronstein","text":"Manuel Bronstein"},{"@pid":"14/5741","text":"Bruno Salvy"}]},"title":"Full Partial Fraction Decomposition of Rational Functions.","venue":"ISSAC","pages":"157-160","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/BronsteinS93","doi":"10.1145/164081.164114","ee":"https://doi.org/10.1145/164081.164114","url":"https://dblp.org/rec/conf/issac/BronsteinS93"}, "url":"URL#6831233" }, { "@score":"1", "@id":"6831234", "info":{"authors":{"author":{"@pid":"11/2984","text":"Massimo Caboara"}},"title":"A Dynamic Algorithm for Gröbner Basis Computation.","venue":"ISSAC","pages":"275-283","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Caboara93","doi":"10.1145/164081.164141","ee":"https://doi.org/10.1145/164081.164141","url":"https://dblp.org/rec/conf/issac/Caboara93"}, "url":"URL#6831234" }, { "@score":"1", "@id":"6831235", "info":{"authors":{"author":[{"@pid":"02/4702","text":"Domenico Cantone"},{"@pid":"95/233","text":"Vincenzo Cutello"}]},"title":"Decision Procedures for Stratified Set-Theoretic Syllogistics.","venue":"ISSAC","pages":"105-110","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/CantoneC93","doi":"10.1145/164081.164101","ee":"https://doi.org/10.1145/164081.164101","url":"https://dblp.org/rec/conf/issac/CantoneC93"}, "url":"URL#6831235" }, { "@score":"1", "@id":"6831236", "info":{"authors":{"author":[{"@pid":"16/2784","text":"Shang-Ching Chou"},{"@pid":"13/3109","text":"Xiao-Shan Gao"},{"@pid":"03/4134","text":"Jing-Zhong Zhang"}]},"title":"Automated Geometry Theorem Proving by Vector Calculation.","venue":"ISSAC","pages":"284-291","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/ChouGZ93","doi":"10.1145/164081.164142","ee":"https://doi.org/10.1145/164081.164142","url":"https://dblp.org/rec/conf/issac/ChouGZ93"}, "url":"URL#6831236" }, { "@score":"1", "@id":"6831237", "info":{"authors":{"author":[{"@pid":"15/3541","text":"George E. Collins"},{"@pid":"k/WernerKrandick","text":"Werner Krandick"}]},"title":"A Hybrid Method for High Precision Calculation of Polynomial Real Roots.","venue":"ISSAC","pages":"47-52","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/CollinsK93","doi":"10.1145/164081.164090","ee":"https://doi.org/10.1145/164081.164090","url":"https://dblp.org/rec/conf/issac/CollinsK93"}, "url":"URL#6831237" }, { "@score":"1", "@id":"6831238", "info":{"authors":{"author":{"@pid":"54/4114","text":"Victor F. Edneral"}},"title":"Computer Generation of Normalizing Transformation for Systems of Nonlinear ODE.","venue":"ISSAC","pages":"14-19","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Edneral93","doi":"10.1145/164081.164085","ee":"https://doi.org/10.1145/164081.164085","url":"https://dblp.org/rec/conf/issac/Edneral93"}, "url":"URL#6831238" }, { "@score":"1", "@id":"6831239", "info":{"authors":{"author":[{"@pid":"e/IZEmiris","text":"Ioannis Z. Emiris"},{"@pid":"c/JohnFCanny","text":"John F. Canny"}]},"title":"A Practical Method for the Sparse Resultant.","venue":"ISSAC","pages":"183-192","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/EmirisC93","doi":"10.1145/164081.164122","ee":"https://doi.org/10.1145/164081.164122","url":"https://dblp.org/rec/conf/issac/EmirisC93"}, "url":"URL#6831239" }, { "@score":"1", "@id":"6831240", "info":{"authors":{"author":[{"@pid":"90/5726","text":"Victor G. Ganzha"},{"@pid":"78/3609","text":"Evgenii V. Vorozhtsov"}]},"title":"A Probabilistic Symbolic-Numerical Method for the Stability Analyses of Difference Schemes for PDEs.","venue":"ISSAC","pages":"9-13","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/GanzhaV93","doi":"10.1145/164081.164084","ee":"https://doi.org/10.1145/164081.164084","url":"https://dblp.org/rec/conf/issac/GanzhaV93"}, "url":"URL#6831240" }, { "@score":"1", "@id":"6831241", "info":{"authors":{"author":[{"@pid":"17/3918","text":"Alexander B. Godlevsky"},{"@pid":"64/5321","text":"Anatoly E. Doroshenko"}]},"title":"Parallelizing Programs with APs.","venue":"ISSAC","pages":"55-62","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/GodlevskyD93","doi":"10.1145/164081.164092","ee":"https://doi.org/10.1145/164081.164092","url":"https://dblp.org/rec/conf/issac/GodlevskyD93"}, "url":"URL#6831241" }, { "@score":"1", "@id":"6831242", "info":{"authors":{"author":{"@pid":"80/6194","text":"Dominik Gruntz"}},"title":"A New Algorithm for Computing Asymptotic Series.","venue":"ISSAC","pages":"239-244","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Gruntz93","doi":"10.1145/164081.164136","ee":"https://doi.org/10.1145/164081.164136","url":"https://dblp.org/rec/conf/issac/Gruntz93"}, "url":"URL#6831242" }, { "@score":"1", "@id":"6831243", "info":{"authors":{"author":{"@pid":"22/10066","text":"Sergey A. Gutnik"}},"title":"Application of Computer Algebra to Investigation of the Relative Equilibria of a Satellite.","venue":"ISSAC","pages":"63-64","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Gutnik93","doi":"10.1145/164081.164093","ee":"https://doi.org/10.1145/164081.164093","url":"https://dblp.org/rec/conf/issac/Gutnik93"}, "url":"URL#6831243" }, { "@score":"1", "@id":"6831244", "info":{"authors":{"author":{"@pid":"h/HoonHong","text":"Hoon Hong"}},"title":"Quantifier Elimination for Formulas Constrained by Quadratic Equations.","venue":"ISSAC","pages":"264-274","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Hong93","doi":"10.1145/164081.164140","ee":"https://doi.org/10.1145/164081.164140","url":"https://dblp.org/rec/conf/issac/Hong93"}, "url":"URL#6831244" }, { "@score":"1", "@id":"6831245", "info":{"authors":{"author":{"@pid":"31/4122","text":"Tudor Jebelean"}},"title":"A Generalization of the Binary GCD Algorithm.","venue":"ISSAC","pages":"111-116","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Jebelean93","doi":"10.1145/164081.164102","ee":"https://doi.org/10.1145/164081.164102","url":"https://dblp.org/rec/conf/issac/Jebelean93"}, "url":"URL#6831245" }, { "@score":"1", "@id":"6831246", "info":{"authors":{"author":{"@pid":"j/DavidJJeffrey","text":"David J. Jeffrey"}},"title":"Integration to Obtain Expressions Valid on Domains of Maximum Extent.","venue":"ISSAC","pages":"34-41","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Jeffrey93","doi":"10.1145/164081.164088","ee":"https://doi.org/10.1145/164081.164088","url":"https://dblp.org/rec/conf/issac/Jeffrey93"}, "url":"URL#6831246" }, { "@score":"1", "@id":"6831247", "info":{"authors":{"author":{"@pid":"33/3848","text":"Michael Kalkbrener"}},"title":"An Upper Bound on the Number of Monomials in the Sylvester Resultant.","venue":"ISSAC","pages":"161-163","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Kalkbrener93","doi":"10.1145/164081.164116","ee":"https://doi.org/10.1145/164081.164116","url":"https://dblp.org/rec/conf/issac/Kalkbrener93"}, "url":"URL#6831247" }, { "@score":"1", "@id":"6831248", "info":{"authors":{"author":[{"@pid":"25/1400","text":"G. Keady"},{"@pid":"19/5829","text":"M. G. Richardson"}]},"title":"An Application of IRENA to Systems of Nonlinear Equations Arising in Equilibrium Flows in Networks..","venue":"ISSAC","pages":"311-320","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/KeadyR93","doi":"10.1145/164081.164145","ee":"https://doi.org/10.1145/164081.164145","url":"https://dblp.org/rec/conf/issac/KeadyR93"}, "url":"URL#6831248" }, { "@score":"1", "@id":"6831249", "info":{"authors":{"author":[{"@pid":"94/2053","text":"D. M. Klimov"},{"@pid":"16/2031","text":"V. M. Rudenko"},{"@pid":"48/5608","text":"V. V. Leonov"}]},"title":"Symbolic Evaluation in the Nonlinear Mechanical Systems.","venue":"ISSAC","pages":"53-54","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/KlimovRL93","doi":"10.1145/164081.164091","ee":"https://doi.org/10.1145/164081.164091","url":"https://dblp.org/rec/conf/issac/KlimovRL93"}, "url":"URL#6831249" }, { "@score":"1", "@id":"6831250", "info":{"authors":{"author":[{"@pid":"44/6488","text":"Dongdai Lin"},{"@pid":"06/6369","text":"Zhuojun Liu"}]},"title":"Some Results on Theorem Proving in Geometry over Finite Fields.","venue":"ISSAC","pages":"292-300","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/LinL93","doi":"10.1145/164081.164143","ee":"https://doi.org/10.1145/164081.164143","url":"https://dblp.org/rec/conf/issac/LinL93"}, "url":"URL#6831250" }, { "@score":"1", "@id":"6831251", "info":{"authors":{"author":[{"@pid":"m/KlausMadlener","text":"Klaus Madlener"},{"@pid":"45/234","text":"Birgit Reinert"}]},"title":"Computing Gröbner Bases in Monoid and Group Rings.","venue":"ISSAC","pages":"254-263","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/MadlenerR93","doi":"10.1145/164081.164139","ee":"https://doi.org/10.1145/164081.164139","url":"https://dblp.org/rec/conf/issac/MadlenerR93"}, "url":"URL#6831251" }, { "@score":"1", "@id":"6831252", "info":{"authors":{"author":[{"@pid":"87/2614","text":"Michael B. Monagan"},{"@pid":"34/6832","text":"Walter M. Neuenschwander"}]},"title":"GRADIENT: Algorithmic Differentiation in Maple.","venue":"ISSAC","pages":"68-76","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/MonaganN93","doi":"10.1145/164081.164095","ee":"https://doi.org/10.1145/164081.164095","url":"https://dblp.org/rec/conf/issac/MonaganN93"}, "url":"URL#6831252" }, { "@score":"1", "@id":"6831253", "info":{"authors":{"author":{"@pid":"44/1534","text":"Bernard Mourrain"}},"title":"The 40 "generic" Positions of a Parallel Robot.","venue":"ISSAC","pages":"173-182","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Mourrain93","doi":"10.1145/164081.164120","ee":"https://doi.org/10.1145/164081.164120","url":"https://dblp.org/rec/conf/issac/Mourrain93"}, "url":"URL#6831253" }, { "@score":"1", "@id":"6831254", "info":{"authors":{"author":[{"@pid":"p/MPetkovsek","text":"Marko Petkovsek"},{"@pid":"14/5741","text":"Bruno Salvy"}]},"title":"Finding all Hypergeometric Solutions of Linear Differential Equations.","venue":"ISSAC","pages":"27-33","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/PetkovsekS93","doi":"10.1145/164081.164087","ee":"https://doi.org/10.1145/164081.164087","url":"https://dblp.org/rec/conf/issac/PetkovsekS93"}, "url":"URL#6831254" }, { "@score":"1", "@id":"6831255", "info":{"authors":{"author":[{"@pid":"90/4851","text":"Marius van der Put"},{"@pid":"50/5851","text":"Peter A. Hendriks"}]},"title":"A Rationality Result for Kovacic's Algorithm.","venue":"ISSAC","pages":"4-8","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/PutH93","doi":"10.1145/164081.164083","ee":"https://doi.org/10.1145/164081.164083","url":"https://dblp.org/rec/conf/issac/PutH93"}, "url":"URL#6831255" }, { "@score":"1", "@id":"6831256", "info":{"authors":{"author":{"@pid":"63/1717","text":"Daniel Richardson"}},"title":"A Zero Structure Theorem for Exponential Polynomials.","venue":"ISSAC","pages":"144-151","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Richardson93","doi":"10.1145/164081.164110","ee":"https://doi.org/10.1145/164081.164110","url":"https://dblp.org/rec/conf/issac/Richardson93"}, "url":"URL#6831256" }, { "@score":"1", "@id":"6831257", "info":{"authors":{"author":{"@pid":"84/612","text":"Marie-Françoise Roy"}},"title":"Aspect Graphs of Algebraic Surfaces.","venue":"ISSAC","pages":"135-143","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Roy93","doi":"10.1145/164081.164106","ee":"https://doi.org/10.1145/164081.164106","url":"https://dblp.org/rec/conf/issac/Roy93"}, "url":"URL#6831257" }, { "@score":"1", "@id":"6831258", "info":{"authors":{"author":{"@pid":"97/3861","text":"Philip S. Santas"}},"title":"A Type System for Computer Algebra (abstract).","venue":"ISSAC","pages":"77","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Santas93","doi":"10.1145/164081.164096","ee":"https://doi.org/10.1145/164081.164096","url":"https://dblp.org/rec/conf/issac/Santas93"}, "url":"URL#6831258" }, { "@score":"1", "@id":"6831259", "info":{"authors":{"author":[{"@pid":"70/5266","text":"J. Rafael Sendra"},{"@pid":"51/5669","text":"Juan Llovet"}]},"title":"Efficient Algorithms for Hankel Matrices over Z[x1, ..., xr].","venue":"ISSAC","pages":"201-208","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/SendraL93","doi":"10.1145/164081.164125","ee":"https://doi.org/10.1145/164081.164125","url":"https://dblp.org/rec/conf/issac/SendraL93"}, "url":"URL#6831259" }, { "@score":"1", "@id":"6831260", "info":{"authors":{"author":{"@pid":"45/2619","text":"John Shackell"}},"title":"Nested Expansions and Hardy Fields.","venue":"ISSAC","pages":"234-238","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Shackell93","doi":"10.1145/164081.164135","ee":"https://doi.org/10.1145/164081.164135","url":"https://dblp.org/rec/conf/issac/Shackell93"}, "url":"URL#6831260" }, { "@score":"1", "@id":"6831261", "info":{"authors":{"author":[{"@pid":"55/974","text":"Ivan I. Shevchenko"},{"@pid":"69/1080","text":"Andrej G. Sokolsky"}]},"title":"Studies of Regular Precessions of a Symmetric Satellite by Means of Computer Algebra.","venue":"ISSAC","pages":"65-67","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/ShevchenkoS93","doi":"10.1145/164081.164094","ee":"https://doi.org/10.1145/164081.164094","url":"https://dblp.org/rec/conf/issac/ShevchenkoS93"}, "url":"URL#6831261" }, { "@score":"1", "@id":"6831262", "info":{"authors":{"author":{"@pid":"55/2191","text":"Sabine Stifter"}},"title":"Geometry Theorem Proving in Vector Spaces by Means of Gröbner Bases.","venue":"ISSAC","pages":"301-310","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Stifter93","doi":"10.1145/164081.164144","ee":"https://doi.org/10.1145/164081.164144","url":"https://dblp.org/rec/conf/issac/Stifter93"}, "url":"URL#6831262" }, { "@score":"1", "@id":"6831263", "info":{"authors":{"author":{"@pid":"63/4836","text":"L. Vallier"}},"title":"An Algorithm for the Computation of Normal Forms and Invariant Manifolds.","venue":"ISSAC","pages":"225-233","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Vallier93","doi":"10.1145/164081.164132","ee":"https://doi.org/10.1145/164081.164132","url":"https://dblp.org/rec/conf/issac/Vallier93"}, "url":"URL#6831263" }, { "@score":"1", "@id":"6831264", "info":{"authors":{"author":{"@pid":"v/GillesVillard","text":"Gilles Villard"}},"title":"Computation of the Smith Normal Form of Polynomial Matrices.","venue":"ISSAC","pages":"209-217","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Villard93","doi":"10.1145/164081.164127","ee":"https://doi.org/10.1145/164081.164127","url":"https://dblp.org/rec/conf/issac/Villard93"}, "url":"URL#6831264" }, { "@score":"1", "@id":"6831265", "info":{"authors":{"author":{"@pid":"v/EmilVolcheck","text":"Emil J. Volcheck"}},"title":"Noether's S-Transformation Simplifies Curve Singularities Rationally: A Local Analysis.","venue":"ISSAC","pages":"164-172","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Volcheck93","doi":"10.1145/164081.164118","ee":"https://doi.org/10.1145/164081.164118","url":"https://dblp.org/rec/conf/issac/Volcheck93"}, "url":"URL#6831265" }, { "@score":"1", "@id":"6831266", "info":{"authors":{"author":{"@pid":"w/VWeispfenning","text":"Volker Weispfenning"}},"title":"Differential Term-Orders.","venue":"ISSAC","pages":"245-253","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Weispfenning93","doi":"10.1145/164081.164138","ee":"https://doi.org/10.1145/164081.164138","url":"https://dblp.org/rec/conf/issac/Weispfenning93"}, "url":"URL#6831266" }, { "@score":"1", "@id":"6831267", "info":{"authors":{"author":{"@pid":"49/2750","text":"Hongzhong Wu"}},"title":"On the Assignment Complexity of Uniform Trees.","venue":"ISSAC","pages":"95-104","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Wu93","doi":"10.1145/164081.164100","ee":"https://doi.org/10.1145/164081.164100","url":"https://dblp.org/rec/conf/issac/Wu93"}, "url":"URL#6831267" }, { "@score":"1", "@id":"6831268", "info":{"authors":{"author":[{"@pid":"41/4199","text":"Jinzhao Wu"},{"@pid":"57/1586","text":"Lian Li"}]},"title":"The Regular Problem and Green Equivalences for Special Monoids.","venue":"ISSAC","pages":"78-85","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/WuL93","doi":"10.1145/164081.164097","ee":"https://doi.org/10.1145/164081.164097","url":"https://dblp.org/rec/conf/issac/WuL93"}, "url":"URL#6831268" }, { "@score":"1", "@id":"6831269", "info":{"authors":{"author":[{"@pid":"39/5838","text":"Kazuhiro Yokoyama"},{"@pid":"70/105","text":"Taku Takeshima"}]},"title":"On Hensel Construction of Eigenvalues and Eigenvectors of Matrices with Polynomial Entries.","venue":"ISSAC","pages":"218-224","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/YokoyamaT93","doi":"10.1145/164081.164130","ee":"https://doi.org/10.1145/164081.164130","url":"https://dblp.org/rec/conf/issac/YokoyamaT93"}, "url":"URL#6831269" }, { "@score":"1", "@id":"6831270", "info":{"authors":{"author":{"@pid":"68/137","text":"Alexey Zharkov"}},"title":"On Algebraic Solutions of First Order Riccatti Equation.","venue":"ISSAC","pages":"1-3","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Zharkov93","doi":"10.1145/164081.164082","ee":"https://doi.org/10.1145/164081.164082","url":"https://dblp.org/rec/conf/issac/Zharkov93"}, "url":"URL#6831270" }, { "@score":"1", "@id":"6831271", "info":{"authors":{"author":{"@pid":"14/7044","text":"Eugene V. Zima"}},"title":"Numeric Code Optimization in Computer Algebra Systems and Recurrent Relations Technique.","venue":"ISSAC","pages":"42-46","year":"1993","type":"Conference and Workshop Papers","access":"closed","key":"conf/issac/Zima93","doi":"10.1145/164081.164089","ee":"https://doi.org/10.1145/164081.164089","url":"https://dblp.org/rec/conf/issac/Zima93"}, "url":"URL#6831271" }, { "@score":"1", "@id":"6839038", "info":{"authors":{"author":{"@pid":"b/MBronstein","text":"Manuel Bronstein"}},"title":"Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ISSAC '93, Kiev, Ukraine, July 6-8, 1993","venue":"ISSAC","publisher":"ACM","year":"1993","type":"Editorship","key":"conf/issac/1993","ee":"http://dl.acm.org/citation.cfm?id=164081","url":"https://dblp.org/rec/conf/issac/1993"}, "url":"URL#6839038" } ] } } } )