{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:25Z","timestamp":1750307965445,"version":"3.41.0"},"reference-count":116,"publisher":"Association for Computing Machinery (ACM)","issue":"1-2","license":[{"start":{"date-parts":[[2007,3,1]],"date-time":"2007-03-01T00:00:00Z","timestamp":1172707200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2007,3]]},"DOI":"10.1145\/1296772.1296775","type":"journal-article","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T16:11:36Z","timestamp":1192810296000},"page":"38-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["ISSAC 2007 poster abstracts"],"prefix":"10.1145","volume":"41","author":[{"given":"Mark W.","family":"Giesbrecht","sequence":"first","affiliation":[]},{"given":"Ilias","family":"Kotsireas","sequence":"additional","affiliation":[]},{"given":"Austin","family":"Lobo","sequence":"additional","affiliation":[]}],"member":"320","published-online":{"date-parts":[[2007,3]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Eclipse web tools platform Home Page. http:\/\/www.eclipse.org\/webtools\/main.php.  Eclipse web tools platform Home Page. http:\/\/www.eclipse.org\/webtools\/main.php."},{"key":"e_1_2_1_2_1","unstructured":"Generic soap client Home Page. http:\/\/www.soapclient.com\/.  Generic soap client Home Page. http:\/\/www.soapclient.com\/."},{"key":"e_1_2_1_3_1","unstructured":"GENSS Home Page. http:\/\/genss.cs.bath.ac.uk July 2005.  GENSS Home Page. http:\/\/genss.cs.bath.ac.uk July 2005."},{"key":"e_1_2_1_4_1","first-page":"276","volume-title":"Proc. ATCM2003","author":"Li Kai","year":"2003"},{"key":"e_1_2_1_5_1","unstructured":"MONET Home Page. http:\/\/monet.nag.co.uk.  MONET Home Page. http:\/\/monet.nag.co.uk."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145820"},{"key":"e_1_2_1_7_1","first-page":"43","volume-title":"Proc Transgressive Computing 2006","author":"Watt S.","year":"2006"},{"key":"e_1_2_1_8_1","first-page":"193","volume-title":"Computer Algebra 2006: Latest Advances in Symbolic Algorithms, I. Kotsireas and E. Zima (editors), In World Scientic","author":"Watt S.","year":"2006"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/258726.258765"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0895479897326912"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.2307\/2153413"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1974.1100457"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1987.1057299"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780519"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00037-004-0185-3"},{"key":"e_1_2_1_16_1","unstructured":"T. Granlund. The GNU Multiple Precision Arithmetic Library 4.2.1 edition May 2006.  T. Granlund. The GNU Multiple Precision Arithmetic Library 4.2.1 edition May 2006."},{"key":"e_1_2_1_17_1","unstructured":"C. P. Pfleeger and S. L. Pfleeger. Security in Computing. Prentice Hall fourth edition 2007.   C. P. Pfleeger and S. L. Pfleeger. Security in Computing . Prentice Hall fourth edition 2007."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2007.01.004"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1006\/jagm.1994.1006"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/200979.201042"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/317275.317286"},{"key":"e_1_2_1_22_1","unstructured":"S. Billey and R. Vakil Intersections of Schubert varieties and other permutation array schemes. 2005  S. Billey and R. Vakil Intersections of Schubert varieties and other permutation array schemes. 2005"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/90457.90468"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-79-04635-0"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1998.0239"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11832225_22"},{"key":"e_1_2_1_27_1","first-page":"287","article-title":"The transversality of a general translate","volume":"28","author":"Kleiman S. L.","year":"1974","journal-title":"Compositio Math."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1972.11993188"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/11832225_35"},{"volume-title":"World Scientific Publishing Co. Pte. Ltd.","year":"2005","author":"Sommese A. J.","key":"e_1_2_1_30_1"},{"key":"e_1_2_1_31_1","unstructured":"I. Anderson. Vessiot a MAPLE package for differential geometry. Formal Geometry and Mathematical Physics Group www.math.usu.edu\/fg_mp\/Pages\/SymbolicsPage\/Symbolics.html.  I. Anderson. Vessiot a MAPLE package for differential geometry . Formal Geometry and Mathematical Physics Group www.math.usu.edu\/fg_mp\/Pages\/SymbolicsPage\/Symbolics.html."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006195823000"},{"key":"e_1_2_1_33_1","first-page":"775","article-title":"method of lie groups as applied to uniqueness and existence questions in differential geometry","volume":"41","author":"Griffiths P. A.","year":"1974","journal-title":"Journal"},{"volume-title":"INRIA","year":"2005","author":"Hubert E.","key":"e_1_2_1_34_1"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2004.12.034"},{"volume-title":"Preprint","year":"2007","author":"Hubert E.","key":"e_1_2_1_36_1"},{"volume-title":"INRIA","year":"2007","author":"Hubert E.","key":"e_1_2_1_37_1"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2006.03.005"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002080010014"},{"key":"e_1_2_1_40_1","doi-asserted-by":"crossref","unstructured":"P. J. Olver. Equivalence invariants and Symmetry. Cambridge University Press 1995.  P. J. Olver. Equivalence invariants and Symmetry . Cambridge University Press 1995.","DOI":"10.1017\/CBO9780511609565"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmaa.2006.12.029"},{"key":"e_1_2_1_42_1","unstructured":"Aldor compiler libraries and documentation: http:\/\/www.aldor.org  Aldor compiler libraries and documentation: http:\/\/www.aldor.org"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2005.10.002"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/309831.309929"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2006.02.001"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(88)90010-2"},{"volume-title":"University of Waterloo","year":"2003","author":"Cheng H.","key":"e_1_2_1_47_1"},{"key":"e_1_2_1_48_1","doi-asserted-by":"crossref","unstructured":"H. Cheng and G. Labahn. Output-sensitive modular algorithms for row reduction of matrices of Ore polynomials. Submitted to the Waterloo Workshop on Computer Algebra 2006.  H. Cheng and G. Labahn. Output-sensitive modular algorithms for row reduction of matrices of Ore polynomials. Submitted to the Waterloo Workshop on Computer Algebra 2006.","DOI":"10.1142\/9789812778857_0004"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/11428862_84"},{"key":"e_1_2_1_50_1","unstructured":"T. Kailath. Linear Systems. Prentice-Hall 1980.  T. Kailath. Linear Systems . Prentice-Hall 1980."},{"volume-title":"Johannes Kepler University","year":"1996","author":"Li Z.","key":"e_1_2_1_51_1"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/281508.281594"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/258726.258812"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(02)00139-6"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/0024-3795(93)90480-C"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.2307\/1968173"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-004-0073-3"},{"key":"e_1_2_1_58_1","unstructured":"G. Darboux Th\u00e9orie G\u00e9n\u00e9rale des Surfaces II Chelsea New York (1972).  G. Darboux Th\u00e9orie G\u00e9n\u00e9rale des Surfaces II Chelsea New York (1972)."},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(03)00090-7"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/11856290_11"},{"volume":"1","volume-title":"Birkhauser\/Springer","author":"Shemyakova E.","key":"e_1_2_1_61_1"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1134\/S036176880702003X"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/307733.307740"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073929"},{"key":"e_1_2_1_65_1","unstructured":"A. Konovalov S. Linton. Symbolic Computation Software Composability Protocol Specication. CIRCA preprint 2007\/5 University of St Andrews (http:\/\/www-circa.mcs.st-and.ac.uk\/pre-prints.html).  A. Konovalov S. Linton. Symbolic Computation Software Composability Protocol Specication . CIRCA preprint 2007\/5 University of St Andrews (http:\/\/www-circa.mcs.st-and.ac.uk\/pre-prints.html)."},{"key":"e_1_2_1_66_1","unstructured":"OpenMath (http:\/\/www.openmath.org). OpenMath (http:\/\/www.openmath.org)."},{"key":"e_1_2_1_67_1","unstructured":"D. Roozemond. OpenMath Content Dictionary cascall1. (http:\/\/www.win.tue.nl\/SCIEnce\/cds\/cascall1.html).  D. Roozemond. OpenMath Content Dictionary cascall1. (http:\/\/www.win.tue.nl\/SCIEnce\/cds\/cascall1.html)."},{"key":"e_1_2_1_68_1","unstructured":"The GAP Group GAP --- Groups Algorithms and Programming Version 4.4.9; 2006. (http:\/\/www.gap-system.org).  The GAP Group GAP --- Groups Algorithms and Programming Version 4.4.9; 2006. (http:\/\/www.gap-system.org)."},{"issue":"4","key":"e_1_2_1_69_1","article-title":"Managing Heterogenity in a Grid Parallel Haskell","volume":"6","author":"Zain A. Al","year":"2006","journal-title":"J. Scalable Comp.: Practice and Experience"},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPDC.2007.24"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62241"},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1998.0242"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073914"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145798"},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(89)80027-6"},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01293594"},{"key":"e_1_2_1_77_1","first-page":"267","volume-title":"Number theory in progress","author":"Lenstra H. W.","year":"1997"},{"key":"e_1_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90130-0"},{"key":"e_1_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.4064\/aa-49-1-55-70"},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/231191.231194"},{"key":"e_1_2_1_81_1","unstructured":"Garrett J. J. Ajax: A New Approach to Web Applications. Adaptive Path http:\/\/www.adaptivepath.com\/publications\/essays\/archives\/000385.php.  Garrett J. J. Ajax: A New Approach to Web Applications . Adaptive Path http:\/\/www.adaptivepath.com\/publications\/essays\/archives\/000385.php."},{"key":"e_1_2_1_82_1","unstructured":"JSP Tag Library. http:\/\/java.sun.com\/products\/jsp\/taglibraries\/.  JSP Tag Library. http:\/\/java.sun.com\/products\/jsp\/taglibraries\/."},{"key":"e_1_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.5555\/1338445.1338879"},{"first-page":"1509","volume-title":"Proc. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'00)","author":"Wang W.","key":"e_1_2_1_84_1"},{"key":"e_1_2_1_85_1","doi-asserted-by":"crossref","unstructured":"Liao W. and Wang P. S. Dragonfly: A Java-based IAMC Client Prototype. Lecture Notes on Computing Vol.8. (Proceedings of ASCM 2000.) World Scientific Press pp. 281--290.  Liao W. and Wang P. S. Dragonfly: A Java-based IAMC Client Prototype . Lecture Notes on Computing Vol.8. (Proceedings of ASCM 2000.) World Scientific Press pp. 281--290.","DOI":"10.1142\/9789812791962_0038"},{"key":"e_1_2_1_86_1","unstructured":"Liao W. and Wang P. S. OMEI V1.0: Open Mathematical Engine Interface. http:\/\/icm.mcs.kent.edu\/reports\/2001\/ICM-200107-0003.pdf.  Liao W. and Wang P. S. OMEI V1.0: Open Mathematical Engine Interface . http:\/\/icm.mcs.kent.edu\/reports\/2001\/ICM-200107-0003.pdf."},{"key":"e_1_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/309831.309961"},{"key":"e_1_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1007\/11424758_71"},{"key":"e_1_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8396(90)90024-L"},{"key":"e_1_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2004.08.026"},{"key":"e_1_2_1_91_1","unstructured":"San Segundo F. Sendra J. R. (2006). Partial Degree Formulae for Plane Offset Curves. arXiv:math\/0609137v1 {math.AG}.  San Segundo F. Sendra J. R. (2006). Partial Degree Formulae for Plane Offset Curves . arXiv:math\/0609137v1 {math.AG}."},{"key":"e_1_2_1_92_1","doi-asserted-by":"crossref","unstructured":"Sendra J. Sendra J. R. (2000). Algebraic Analysis of Offsets to Hypersurfaces. Mathematische Zeitschrift vol. 234 pp. 697--719.  Sendra J. Sendra J. R. (2000). Algebraic Analysis of Offsets to Hypersurfaces . Mathematische Zeitschrift vol. 234 pp. 697--719.","DOI":"10.1007\/s002090050004"},{"volume-title":"Que.","year":"1971","author":"S.","key":"e_1_2_1_93_1"},{"key":"e_1_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1145\/77269.77273"},{"key":"e_1_2_1_95_1","volume-title":"Pure Appl. Algebra","volume":"148","author":"T.","year":"2000"},{"key":"e_1_2_1_96_1","volume-title":"Invent. Math.","volume":"45","author":"Nori R.","year":"1978"},{"key":"e_1_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01418923"},{"key":"e_1_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8396(89)90017-4"},{"key":"e_1_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01236924"},{"key":"e_1_2_1_100_1","first-page":"1","article-title":"Grundz\u00fcge einer arithmetischen Theorie der algebraischen Gr\u00f6\u00dfen. J. reine angew","volume":"92","author":"L.","year":"1882","journal-title":"Math."},{"key":"e_1_2_1_101_1","doi-asserted-by":"crossref","unstructured":"{Ma} Macaulay F. S.: The algebraic theory of modular systems. Cambridge University press 1916  {Ma} Macaulay F. S.: The algebraic theory of modular systems. Cambridge University press 1916","DOI":"10.3792\/chmm\/1263317740"},{"volume-title":"Berlin","year":"1995","author":"D.","key":"e_1_2_1_102_1"},{"key":"e_1_2_1_103_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01304903"},{"key":"e_1_2_1_104_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0088"},{"key":"e_1_2_1_105_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.01.010"},{"key":"e_1_2_1_106_1","doi-asserted-by":"publisher","DOI":"10.5555\/1056088.1648412"},{"key":"e_1_2_1_107_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.05.020"},{"key":"e_1_2_1_108_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-006-0029-2"},{"key":"e_1_2_1_109_1","unstructured":"B. Deconinck and M. S. Patterson Computing the Abel Map. preprint 2007.  B. Deconinck and M. S. Patterson Computing the Abel Map. preprint 2007."},{"key":"e_1_2_1_110_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-2789(01)00156-7"},{"issue":"2","key":"e_1_2_1_111_1","first-page":"119","volume":"70","author":"Puiseux Expansions D. Duval Rational","year":"1989","journal-title":"Compositio Math."},{"key":"e_1_2_1_112_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-00-01246-1"},{"key":"e_1_2_1_113_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.10.008"},{"key":"e_1_2_1_114_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8396(02)00167-X"},{"key":"e_1_2_1_115_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-27157-0_3"},{"key":"e_1_2_1_116_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8396(96)00024-6"}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1296772.1296775","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1296772.1296775","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:10Z","timestamp":1750258690000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1296772.1296775"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3]]},"references-count":116,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2007,3]]}},"alternative-id":["10.1145\/1296772.1296775"],"URL":"https:\/\/doi.org\/10.1145\/1296772.1296775","relation":{},"ISSN":["1932-2240"],"issn-type":[{"type":"print","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2007,3]]},"assertion":[{"value":"2007-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}