乐胖代购免代理版

{"id":"https://openalex.org/W4248970453","doi":"https://doi.org/10.1145/1089176.1089177","title":"EUROSAM'79 conference proceedings","display_name":"EUROSAM'79 conference proceedings","publication_year":1979,"publication_date":"1979-11-01","ids":{"openalex":"https://openalex.org/W4248970453","doi":"https://doi.org/10.1145/1089176.1089177"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/1089176.1089177","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1089176.1089177","source":{"id":"https://openalex.org/S4210226623","display_name":"ACM SIGSAM Bulletin","issn_l":"0163-5824","issn":["0163-5824","1557-9492"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1089176.1089177","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014045303","display_name":"Michael Genesereth","orcid":"https://orcid.org/0000-0001-9124-7487"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]},{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]},{"id":"https://openalex.org/I161593684","display_name":"Stockholm University","ror":"https://ror.org/05f0yaq80","country_code":"SE","type":"education","lineage":["https://openalex.org/I161593684"]},{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]},{"id":"https://openalex.org/I32881790","display_name":"Universit\u00e9 de Poitiers","ror":"https://ror.org/04xhy8q59","country_code":"FR","type":"education","lineage":["https://openalex.org/I32881790"]}],"countries":["AT","CA","FR","GB","NL","SE","US"],"is_corresponding":false,"raw_author_name":"Michael Genesereth","raw_affiliation_strings":["\"Systems of Algebraic Equations\", D. Lazard,","Depart-ment of Computer Studies, University of Leeds, Leeds, England.","Department of Electrical Engineering, Twente University of Technology, Postbox 217, 7500 AE Enschede, The Netherlands.","Dept. of Computer Science and Mathematics, Atkinson College, York University, 4700 Keele St., Downsview, Ontario, M3J IP3, Canada.","Institut f6r Mathematik, Johannes-Kepler-UniversiEgt, A-4045 Linz, Austria","Institute of Theoretical Physics, University of Stockholm, Vanadisg~gen 9, S-ii3 46 Stockholm, Sweden","Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass. 02139.","Math~matiques, Universit~ de POITIERS, 86022 POITIERS Cedex France.","Versa Management Systems Ltd., 245 Yorkland Boule-vard, Toronto, Ontario, M2J IRI, Canada;"],"affiliations":[{"raw_affiliation_string":"Institut f6r Mathematik, Johannes-Kepler-UniversiEgt, A-4045 Linz, Austria","institution_ids":["https://openalex.org/I121883995"]},{"raw_affiliation_string":"Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass. 02139.","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Depart-ment of Computer Studies, University of Leeds, Leeds, England.","institution_ids":["https://openalex.org/I130828816"]},{"raw_affiliation_string":"Institute of Theoretical Physics, University of Stockholm, Vanadisg~gen 9, S-ii3 46 Stockholm, Sweden","institution_ids":["https://openalex.org/I161593684"]},{"raw_affiliation_string":"Versa Management Systems Ltd., 245 Yorkland Boule-vard, Toronto, Ontario, M2J IRI, Canada;","institution_ids":[]},{"raw_affiliation_string":"Dept. of Computer Science and Mathematics, Atkinson College, York University, 4700 Keele St., Downsview, Ontario, M3J IP3, Canada.","institution_ids":["https://openalex.org/I192455969"]},{"raw_affiliation_string":"Department of Electrical Engineering, Twente University of Technology, Postbox 217, 7500 AE Enschede, The Netherlands.","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"\"Systems of Algebraic Equations\", D. Lazard,","institution_ids":[]},{"raw_affiliation_string":"Math~matiques, Universit~ de POITIERS, 86022 POITIERS Cedex France.","institution_ids":["https://openalex.org/I32881790"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011902962","display_name":"John Fitch","orcid":null},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]},{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]},{"id":"https://openalex.org/I161593684","display_name":"Stockholm University","ror":"https://ror.org/05f0yaq80","country_code":"SE","type":"education","lineage":["https://openalex.org/I161593684"]},{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]},{"id":"https://openalex.org/I32881790","display_name":"Universit\u00e9 de Poitiers","ror":"https://ror.org/04xhy8q59","country_code":"FR","type":"education","lineage":["https://openalex.org/I32881790"]}],"countries":["AT","CA","FR","GB","NL","SE","US"],"is_corresponding":false,"raw_author_name":"John Fitch","raw_affiliation_strings":["\"Systems of Algebraic Equations\", D. Lazard,","Depart-ment of Computer Studies, University of Leeds, Leeds, England.","Department of Electrical Engineering, Twente University of Technology, Postbox 217, 7500 AE Enschede, The Netherlands.","Dept. of Computer Science and Mathematics, Atkinson College, York University, 4700 Keele St., Downsview, Ontario, M3J IP3, Canada.","Institut f6r Mathematik, Johannes-Kepler-UniversiEgt, A-4045 Linz, Austria","Institute of Theoretical Physics, University of Stockholm, Vanadisg~gen 9, S-ii3 46 Stockholm, Sweden","Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass. 02139.","Math~matiques, Universit~ de POITIERS, 86022 POITIERS Cedex France.","Versa Management Systems Ltd., 245 Yorkland Boule-vard, Toronto, Ontario, M2J IRI, Canada;"],"affiliations":[{"raw_affiliation_string":"Institut f6r Mathematik, Johannes-Kepler-UniversiEgt, A-4045 Linz, Austria","institution_ids":["https://openalex.org/I121883995"]},{"raw_affiliation_string":"Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass. 02139.","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Depart-ment of Computer Studies, University of Leeds, Leeds, England.","institution_ids":["https://openalex.org/I130828816"]},{"raw_affiliation_string":"Institute of Theoretical Physics, University of Stockholm, Vanadisg~gen 9, S-ii3 46 Stockholm, Sweden","institution_ids":["https://openalex.org/I161593684"]},{"raw_affiliation_string":"Versa Management Systems Ltd., 245 Yorkland Boule-vard, Toronto, Ontario, M2J IRI, Canada;","institution_ids":[]},{"raw_affiliation_string":"Dept. of Computer Science and Mathematics, Atkinson College, York University, 4700 Keele St., Downsview, Ontario, M3J IP3, Canada.","institution_ids":["https://openalex.org/I192455969"]},{"raw_affiliation_string":"Department of Electrical Engineering, Twente University of Technology, Postbox 217, 7500 AE Enschede, The Netherlands.","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"\"Systems of Algebraic Equations\", D. Lazard,","institution_ids":[]},{"raw_affiliation_string":"Math~matiques, Universit~ de POITIERS, 86022 POITIERS Cedex France.","institution_ids":["https://openalex.org/I32881790"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081998166","display_name":"A. Karlhede","orcid":null},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]},{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]},{"id":"https://openalex.org/I161593684","display_name":"Stockholm University","ror":"https://ror.org/05f0yaq80","country_code":"SE","type":"education","lineage":["https://openalex.org/I161593684"]},{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]},{"id":"https://openalex.org/I32881790","display_name":"Universit\u00e9 de Poitiers","ror":"https://ror.org/04xhy8q59","country_code":"FR","type":"education","lineage":["https://openalex.org/I32881790"]}],"countries":["AT","CA","FR","GB","NL","SE","US"],"is_corresponding":false,"raw_author_name":"Anders Karlhede","raw_affiliation_strings":["\"Systems of Algebraic Equations\", D. Lazard,","Depart-ment of Computer Studies, University of Leeds, Leeds, England.","Department of Electrical Engineering, Twente University of Technology, Postbox 217, 7500 AE Enschede, The Netherlands.","Dept. of Computer Science and Mathematics, Atkinson College, York University, 4700 Keele St., Downsview, Ontario, M3J IP3, Canada.","Institut f6r Mathematik, Johannes-Kepler-UniversiEgt, A-4045 Linz, Austria","Institute of Theoretical Physics, University of Stockholm, Vanadisg~gen 9, S-ii3 46 Stockholm, Sweden","Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass. 02139.","Math~matiques, Universit~ de POITIERS, 86022 POITIERS Cedex France.","Versa Management Systems Ltd., 245 Yorkland Boule-vard, Toronto, Ontario, M2J IRI, Canada;"],"affiliations":[{"raw_affiliation_string":"Institut f6r Mathematik, Johannes-Kepler-UniversiEgt, A-4045 Linz, Austria","institution_ids":["https://openalex.org/I121883995"]},{"raw_affiliation_string":"Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass. 02139.","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Depart-ment of Computer Studies, University of Leeds, Leeds, England.","institution_ids":["https://openalex.org/I130828816"]},{"raw_affiliation_string":"Institute of Theoretical Physics, University of Stockholm, Vanadisg~gen 9, S-ii3 46 Stockholm, Sweden","institution_ids":["https://openalex.org/I161593684"]},{"raw_affiliation_string":"Versa Management Systems Ltd., 245 Yorkland Boule-vard, Toronto, Ontario, M2J IRI, Canada;","institution_ids":[]},{"raw_affiliation_string":"Dept. of Computer Science and Mathematics, Atkinson College, York University, 4700 Keele St., Downsview, Ontario, M3J IP3, Canada.","institution_ids":["https://openalex.org/I192455969"]},{"raw_affiliation_string":"Department of Electrical Engineering, Twente University of Technology, Postbox 217, 7500 AE Enschede, The Netherlands.","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"\"Systems of Algebraic Equations\", D. Lazard,","institution_ids":[]},{"raw_affiliation_string":"Math~matiques, Universit~ de POITIERS, 86022 POITIERS Cedex France.","institution_ids":["https://openalex.org/I32881790"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103539692","display_name":"Jan E. \u00c5man","orcid":null},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]},{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]},{"id":"https://openalex.org/I161593684","display_name":"Stockholm University","ror":"https://ror.org/05f0yaq80","country_code":"SE","type":"education","lineage":["https://openalex.org/I161593684"]},{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]},{"id":"https://openalex.org/I32881790","display_name":"Universit\u00e9 de Poitiers","ror":"https://ror.org/04xhy8q59","country_code":"FR","type":"education","lineage":["https://openalex.org/I32881790"]}],"countries":["AT","CA","FR","GB","NL","SE","US"],"is_corresponding":false,"raw_author_name":"Jan Aman","raw_affiliation_strings":["\"Systems of Algebraic Equations\", D. Lazard,","Depart-ment of Computer Studies, University of Leeds, Leeds, England.","Department of Electrical Engineering, Twente University of Technology, Postbox 217, 7500 AE Enschede, The Netherlands.","Dept. of Computer Science and Mathematics, Atkinson College, York University, 4700 Keele St., Downsview, Ontario, M3J IP3, Canada.","Institut f6r Mathematik, Johannes-Kepler-UniversiEgt, A-4045 Linz, Austria","Institute of Theoretical Physics, University of Stockholm, Vanadisg~gen 9, S-ii3 46 Stockholm, Sweden","Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass. 02139.","Math~matiques, Universit~ de POITIERS, 86022 POITIERS Cedex France.","Versa Management Systems Ltd., 245 Yorkland Boule-vard, Toronto, Ontario, M2J IRI, Canada;"],"affiliations":[{"raw_affiliation_string":"Institut f6r Mathematik, Johannes-Kepler-UniversiEgt, A-4045 Linz, Austria","institution_ids":["https://openalex.org/I121883995"]},{"raw_affiliation_string":"Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass. 02139.","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Depart-ment of Computer Studies, University of Leeds, Leeds, England.","institution_ids":["https://openalex.org/I130828816"]},{"raw_affiliation_string":"Institute of Theoretical Physics, University of Stockholm, Vanadisg~gen 9, S-ii3 46 Stockholm, Sweden","institution_ids":["https://openalex.org/I161593684"]},{"raw_affiliation_string":"Versa Management Systems Ltd., 245 Yorkland Boule-vard, Toronto, Ontario, M2J IRI, Canada;","institution_ids":[]},{"raw_affiliation_string":"Dept. of Computer Science and Mathematics, Atkinson College, York University, 4700 Keele St., Downsview, Ontario, M3J IP3, Canada.","institution_ids":["https://openalex.org/I192455969"]},{"raw_affiliation_string":"Department of Electrical Engineering, Twente University of Technology, Postbox 217, 7500 AE Enschede, The Netherlands.","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"\"Systems of Algebraic Equations\", D. Lazard,","institution_ids":[]},{"raw_affiliation_string":"Math~matiques, Universit~ de POITIERS, 86022 POITIERS Cedex France.","institution_ids":["https://openalex.org/I32881790"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035282144","display_name":"Robert T. Moenck","orcid":null},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]},{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]},{"id":"https://openalex.org/I161593684","display_name":"Stockholm University","ror":"https://ror.org/05f0yaq80","country_code":"SE","type":"education","lineage":["https://openalex.org/I161593684"]},{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]},{"id":"https://openalex.org/I32881790","display_name":"Universit\u00e9 de Poitiers","ror":"https://ror.org/04xhy8q59","country_code":"FR","type":"education","lineage":["https://openalex.org/I32881790"]}],"countries":["AT","CA","FR","GB","NL","SE","US"],"is_corresponding":false,"raw_author_name":"Robert Moenck","raw_affiliation_strings":["\"Systems of Algebraic Equations\", D. Lazard,","Depart-ment of Computer Studies, University of Leeds, Leeds, England.","Department of Electrical Engineering, Twente University of Technology, Postbox 217, 7500 AE Enschede, The Netherlands.","Dept. of Computer Science and Mathematics, Atkinson College, York University, 4700 Keele St., Downsview, Ontario, M3J IP3, Canada.","Institut f6r Mathematik, Johannes-Kepler-UniversiEgt, A-4045 Linz, Austria","Institute of Theoretical Physics, University of Stockholm, Vanadisg~gen 9, S-ii3 46 Stockholm, Sweden","Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass. 02139.","Math~matiques, Universit~ de POITIERS, 86022 POITIERS Cedex France.","Versa Management Systems Ltd., 245 Yorkland Boule-vard, Toronto, Ontario, M2J IRI, Canada;"],"affiliations":[{"raw_affiliation_string":"Institut f6r Mathematik, Johannes-Kepler-UniversiEgt, A-4045 Linz, Austria","institution_ids":["https://openalex.org/I121883995"]},{"raw_affiliation_string":"Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass. 02139.","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Depart-ment of Computer Studies, University of Leeds, Leeds, England.","institution_ids":["https://openalex.org/I130828816"]},{"raw_affiliation_string":"Institute of Theoretical Physics, University of Stockholm, Vanadisg~gen 9, S-ii3 46 Stockholm, Sweden","institution_ids":["https://openalex.org/I161593684"]},{"raw_affiliation_string":"Versa Management Systems Ltd., 245 Yorkland Boule-vard, Toronto, Ontario, M2J IRI, Canada;","institution_ids":[]},{"raw_affiliation_string":"Dept. of Computer Science and Mathematics, Atkinson College, York University, 4700 Keele St., Downsview, Ontario, M3J IP3, Canada.","institution_ids":["https://openalex.org/I192455969"]},{"raw_affiliation_string":"Department of Electrical Engineering, Twente University of Technology, Postbox 217, 7500 AE Enschede, The Netherlands.","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"\"Systems of Algebraic Equations\", D. Lazard,","institution_ids":[]},{"raw_affiliation_string":"Math~matiques, Universit~ de POITIERS, 86022 POITIERS Cedex France.","institution_ids":["https://openalex.org/I32881790"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014611111","display_name":"John Carter","orcid":"https://orcid.org/0000-0001-7395-0398"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]},{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]},{"id":"https://openalex.org/I161593684","display_name":"Stockholm University","ror":"https://ror.org/05f0yaq80","country_code":"SE","type":"education","lineage":["https://openalex.org/I161593684"]},{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]},{"id":"https://openalex.org/I32881790","display_name":"Universit\u00e9 de Poitiers","ror":"https://ror.org/04xhy8q59","country_code":"FR","type":"education","lineage":["https://openalex.org/I32881790"]}],"countries":["AT","CA","FR","GB","NL","SE","US"],"is_corresponding":false,"raw_author_name":"John Carter","raw_affiliation_strings":["\"Systems of Algebraic Equations\", D. Lazard,","Depart-ment of Computer Studies, University of Leeds, Leeds, England.","Department of Electrical Engineering, Twente University of Technology, Postbox 217, 7500 AE Enschede, The Netherlands.","Dept. of Computer Science and Mathematics, Atkinson College, York University, 4700 Keele St., Downsview, Ontario, M3J IP3, Canada.","Institut f6r Mathematik, Johannes-Kepler-UniversiEgt, A-4045 Linz, Austria","Institute of Theoretical Physics, University of Stockholm, Vanadisg~gen 9, S-ii3 46 Stockholm, Sweden","Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass. 02139.","Math~matiques, Universit~ de POITIERS, 86022 POITIERS Cedex France.","Versa Management Systems Ltd., 245 Yorkland Boule-vard, Toronto, Ontario, M2J IRI, Canada;"],"affiliations":[{"raw_affiliation_string":"Institut f6r Mathematik, Johannes-Kepler-UniversiEgt, A-4045 Linz, Austria","institution_ids":["https://openalex.org/I121883995"]},{"raw_affiliation_string":"Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass. 02139.","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Depart-ment of Computer Studies, University of Leeds, Leeds, England.","institution_ids":["https://openalex.org/I130828816"]},{"raw_affiliation_string":"Institute of Theoretical Physics, University of Stockholm, Vanadisg~gen 9, S-ii3 46 Stockholm, Sweden","institution_ids":["https://openalex.org/I161593684"]},{"raw_affiliation_string":"Versa Management Systems Ltd., 245 Yorkland Boule-vard, Toronto, Ontario, M2J IRI, Canada;","institution_ids":[]},{"raw_affiliation_string":"Dept. of Computer Science and Mathematics, Atkinson College, York University, 4700 Keele St., Downsview, Ontario, M3J IP3, Canada.","institution_ids":["https://openalex.org/I192455969"]},{"raw_affiliation_string":"Department of Electrical Engineering, Twente University of Technology, Postbox 217, 7500 AE Enschede, The Netherlands.","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"\"Systems of Algebraic Equations\", D. Lazard,","institution_ids":[]},{"raw_affiliation_string":"Math~matiques, Universit~ de POITIERS, 86022 POITIERS Cedex France.","institution_ids":["https://openalex.org/I32881790"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010289971","display_name":"J. Smit","orcid":"https://orcid.org/0000-0003-1199-2335"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]},{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]},{"id":"https://openalex.org/I161593684","display_name":"Stockholm University","ror":"https://ror.org/05f0yaq80","country_code":"SE","type":"education","lineage":["https://openalex.org/I161593684"]},{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]},{"id":"https://openalex.org/I32881790","display_name":"Universit\u00e9 de Poitiers","ror":"https://ror.org/04xhy8q59","country_code":"FR","type":"education","lineage":["https://openalex.org/I32881790"]}],"countries":["AT","CA","FR","GB","NL","SE","US"],"is_corresponding":false,"raw_author_name":"J Smit","raw_affiliation_strings":["\"Systems of Algebraic Equations\", D. Lazard,","Depart-ment of Computer Studies, University of Leeds, Leeds, England.","Department of Electrical Engineering, Twente University of Technology, Postbox 217, 7500 AE Enschede, The Netherlands.","Dept. of Computer Science and Mathematics, Atkinson College, York University, 4700 Keele St., Downsview, Ontario, M3J IP3, Canada.","Institut f6r Mathematik, Johannes-Kepler-UniversiEgt, A-4045 Linz, Austria","Institute of Theoretical Physics, University of Stockholm, Vanadisg~gen 9, S-ii3 46 Stockholm, Sweden","Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass. 02139.","Math~matiques, Universit~ de POITIERS, 86022 POITIERS Cedex France.","Versa Management Systems Ltd., 245 Yorkland Boule-vard, Toronto, Ontario, M2J IRI, Canada;"],"affiliations":[{"raw_affiliation_string":"Institut f6r Mathematik, Johannes-Kepler-UniversiEgt, A-4045 Linz, Austria","institution_ids":["https://openalex.org/I121883995"]},{"raw_affiliation_string":"Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Mass. 02139.","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Depart-ment of Computer Studies, University of Leeds, Leeds, England.","institution_ids":["https://openalex.org/I130828816"]},{"raw_affiliation_string":"Institute of Theoretical Physics, University of Stockholm, Vanadisg~gen 9, S-ii3 46 Stockholm, Sweden","institution_ids":["https://openalex.org/I161593684"]},{"raw_affiliation_string":"Versa Management Systems Ltd., 245 Yorkland Boule-vard, Toronto, Ontario, M2J IRI, Canada;","institution_ids":[]},{"raw_affiliation_string":"Dept. of Computer Science and Mathematics, Atkinson College, York University, 4700 Keele St., Downsview, Ontario, M3J IP3, Canada.","institution_ids":["https://openalex.org/I192455969"]},{"raw_affiliation_string":"Department of Electrical Engineering, Twente University of Technology, Postbox 217, 7500 AE Enschede, The Netherlands.","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"\"Systems of Algebraic Equations\", D. Lazard,","institution_ids":[]},{"raw_affiliation_string":"Math~matiques, Universit~ de POITIERS, 86022 POITIERS Cedex France.","institution_ids":["https://openalex.org/I32881790"]}]}],"institution_assertions":[],"countries_distinct_count":7,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":1,"citation_normalized_percentile":{"value":0.287523,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":55,"max":63},"biblio":{"volume":"13","issue":"4","first_page":"8","last_page":"15"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9972,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9972,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.992,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12069","display_name":"Commutative Algebra and Its Applications","score":0.958,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6238633},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4597483},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4145905},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.41221842},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3599407},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35636485},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.33798003},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2776432},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07767981}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/1089176.1089177","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1089176.1089177","source":{"id":"https://openalex.org/S4210226623","display_name":"ACM SIGSAM Bulletin","issn_l":"0163-5824","issn":["0163-5824","1557-9492"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/1089176.1089177","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1089176.1089177","source":{"id":"https://openalex.org/S4210226623","display_name":"ACM SIGSAM Bulletin","issn_l":"0163-5824","issn":["0163-5824","1557-9492"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4241368207","https://openalex.org/W2977259980","https://openalex.org/W2963726605","https://openalex.org/W2743273005","https://openalex.org/W2156058221","https://openalex.org/W2108149667","https://openalex.org/W2056549194","https://openalex.org/W2043525791","https://openalex.org/W2042269609","https://openalex.org/W1977170634"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,45],"new":[3,40],"criterion":[4,22,41],"that":[5],"may":[6,23],"be":[7],"applied":[8],"in":[9,32,55,62,67],"an":[10],"algorithm":[11,61],"for":[12,49],"constructing":[13],"Gr\u00f6bner-bases":[14,57],"of":[15,20,28,30,35,52,65],"polynomial":[16],"ideals.":[17],"The":[18],"application":[19],"the":[21,26,33,36,39,50,53,56,60,63],"drastically":[24],"reduce":[25],"number":[27],"reductions":[29],"polynomials":[31,54,66],"course":[34],"algorithm.":[37],"Incidentally,":[38],"allows":[42],"to":[43],"derive":[44],"realistic":[46],"upper":[47],"bound":[48],"degrees":[51],"computed":[58],"by":[59],"case":[64],"two":[68],"variables.":[69]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4248970453","counts_by_year":[],"updated_date":"2024-12-15T23:25:45.726325","created_date":"2022-05-12"}