{"id":"https://openalex.org/W1511752131","doi":"https://doi.org/10.1007/3-540-52531-9_121","title":"The design of SISYPHE : a system for doing symbolic and algebraic computations","display_name":"The design of SISYPHE : a system for doing symbolic and algebraic computations","publication_year":1990,"publication_date":"1990-01-01","ids":{"openalex":"https://openalex.org/W1511752131","doi":"https://doi.org/10.1007/3-540-52531-9_121","mag":"1511752131"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-52531-9_121","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-52531-9_121","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111902088","display_name":"Andr\u00e9 Galligo","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I3018988418","display_name":"Centre Hospitalier Universitaire de Nice","ror":"https://ror.org/05qsjq305","country_code":"FR","type":"healthcare","lineage":["https://openalex.org/I3018988418"]},{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"A. Galligo","raw_affiliation_strings":["D\u00e9p. de Math., INRIA and Universit\u00e9 de Nice, 06034, Nice Cedex, France","Institut National de Recherche en Informatique et Automatique, 2004 route des Lucioles, Sophia Antipolis, 06565, Valbonne Cedex, France","INRIA and Universit\u00e9 de Nice","Institut National de Recherche en Informatique et Automatique"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"D\u00e9p. de Math., INRIA and Universit\u00e9 de Nice, 06034, Nice Cedex, France","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I3018988418"]},{"raw_affiliation_string":"Institut National de Recherche en Informatique et Automatique, 2004 route des Lucioles, Sophia Antipolis, 06565, Valbonne Cedex, France","institution_ids":["https://openalex.org/I4210115519"]},{"raw_affiliation_string":"INRIA and Universit\u00e9 de Nice","institution_ids":["https://openalex.org/I201841394"]},{"raw_affiliation_string":"Institut National de Recherche en Informatique et Automatique","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113650155","display_name":"J. Grimm","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"J. Grimm","raw_affiliation_strings":["Institut National de Recherche en Informatique et Automatique, 2004 route des Lucioles, Sophia Antipolis, 06565, Valbonne Cedex, France","Institut National de Recherche en Informatique et Automatique#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut National de Recherche en Informatique et Automatique, 2004 route des Lucioles, Sophia Antipolis, 06565, Valbonne Cedex, France","institution_ids":["https://openalex.org/I4210115519"]},{"raw_affiliation_string":"Institut National de Recherche en Informatique et Automatique#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081878727","display_name":"Lo\u00efc Pottier","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"L. Pottier","raw_affiliation_strings":["Institut National de Recherche en Informatique et Automatique, 2004 route des Lucioles, Sophia Antipolis, 06565, Valbonne Cedex, France","Institut National de Recherche en Informatique et Automatique#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut National de Recherche en Informatique et Automatique, 2004 route des Lucioles, Sophia Antipolis, 06565, Valbonne Cedex, France","institution_ids":["https://openalex.org/I4210115519"]},{"raw_affiliation_string":"Institut National de Recherche en Informatique et Automatique#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.29,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.86677578,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"30","last_page":"39"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10142","display_name":"Formal Methods in Verification","score":0.995199978351593,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5730310082435608},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5452947020530701},{"id":"https://openalex.org/keywords/symbolic-computation","display_name":"Symbolic computation","score":0.5287375450134277},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4530283808708191},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.42463985085487366},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3367684483528137},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.277011513710022},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1911882758140564},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.05734643340110779}],"concepts":[{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5730310082435608},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5452947020530701},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.5287375450134277},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4530283808708191},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.42463985085487366},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3367684483528137},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.277011513710022},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1911882758140564},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.05734643340110779}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3-540-52531-9_121","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-52531-9_121","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W193410702","https://openalex.org/W1569291528","https://openalex.org/W1593179317","https://openalex.org/W1603614437","https://openalex.org/W1612551514","https://openalex.org/W1821558813","https://openalex.org/W1979101142","https://openalex.org/W1990451653","https://openalex.org/W2060444417"],"related_works":["https://openalex.org/W2363922099","https://openalex.org/W908473976","https://openalex.org/W2384965142","https://openalex.org/W171076485","https://openalex.org/W250593332","https://openalex.org/W2277276917","https://openalex.org/W4251748586","https://openalex.org/W2118921095","https://openalex.org/W2188428054","https://openalex.org/W2076597547"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}