{"id":"https://openalex.org/W2051982336","doi":"https://doi.org/10.1007/s11075-010-9389-6","title":"An algorithm for automatically selecting a suitable verification method for linear systems","display_name":"An algorithm for automatically selecting a suitable verification method for linear systems","publication_year":2010,"publication_date":"2010-05-07","ids":{"openalex":"https://openalex.org/W2051982336","doi":"https://doi.org/10.1007/s11075-010-9389-6","mag":"2051982336"},"language":"en","primary_location":{"id":"doi:10.1007/s11075-010-9389-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11075-010-9389-6","pdf_url":null,"source":{"id":"https://openalex.org/S117494069","display_name":"Numerical Algorithms","issn_l":"1017-1398","issn":["1017-1398","1572-9265"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Numerical Algorithms","raw_type":"journal-article"},"type":"article","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/A5042608261","display_name":"Katsuhisa Ozaki","orcid":"https://orcid.org/0000-0003-0431-6232"},"institutions":[{"id":"https://openalex.org/I171481255","display_name":"Shibaura Institute of Technology","ror":"https://ror.org/020wjcq07","country_code":"JP","type":"education","lineage":["https://openalex.org/I171481255"]},{"id":"https://openalex.org/I4210086780","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19","country_code":"JP","type":"government","lineage":["https://openalex.org/I1319490839","https://openalex.org/I4210086780"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Katsuhisa Ozaki","raw_affiliation_strings":["Department of Mathematical Sciences, College of Systems Engineering and Science, Shibaura Institute of Technology, Saitama, Japan","JST, CREST, Tokyo, Japan","Department of Mathematical Sciences, College of Systems Engineering and Science, Shibaura Institute of Technology, 307 Fukasaku, Minuma-ku, Saitama-shi, Saitama, 337-8570, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, College of Systems Engineering and Science, Shibaura Institute of Technology, Saitama, Japan","institution_ids":["https://openalex.org/I171481255"]},{"raw_affiliation_string":"JST, CREST, Tokyo, Japan","institution_ids":["https://openalex.org/I4210086780"]},{"raw_affiliation_string":"Department of Mathematical Sciences, College of Systems Engineering and Science, Shibaura Institute of Technology, 307 Fukasaku, Minuma-ku, Saitama-shi, Saitama, 337-8570, Japan","institution_ids":["https://openalex.org/I171481255"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028381863","display_name":"Takeshi Ogita","orcid":"https://orcid.org/0000-0002-9346-2452"},"institutions":[{"id":"https://openalex.org/I20560788","display_name":"Tokyo Woman's Christian University","ror":"https://ror.org/03mb27p64","country_code":"JP","type":"education","lineage":["https://openalex.org/I20560788"]},{"id":"https://openalex.org/I4210086780","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19","country_code":"JP","type":"government","lineage":["https://openalex.org/I1319490839","https://openalex.org/I4210086780"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takeshi Ogita","raw_affiliation_strings":["Department of Mathematical Sciences, Tokyo Woman\u2019s Christian University, Tokyo, Japan","JST, CREST, Tokyo, Japan","Department of Mathematical Sciences, Tokyo Woman\u2019s Christian University, 2-6-1 Zempukuji, Suginami-ku, Tokyo, 167-8585, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, Tokyo Woman\u2019s Christian University, Tokyo, Japan","institution_ids":["https://openalex.org/I20560788"]},{"raw_affiliation_string":"JST, CREST, Tokyo, Japan","institution_ids":["https://openalex.org/I4210086780"]},{"raw_affiliation_string":"Department of Mathematical Sciences, Tokyo Woman\u2019s Christian University, 2-6-1 Zempukuji, Suginami-ku, Tokyo, 167-8585, Japan","institution_ids":["https://openalex.org/I20560788"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063201472","display_name":"Shin\u2019ichi Oishi","orcid":"https://orcid.org/0000-0002-6582-265X"},"institutions":[{"id":"https://openalex.org/I150744194","display_name":"Waseda University","ror":"https://ror.org/00ntfnx83","country_code":"JP","type":"education","lineage":["https://openalex.org/I150744194"]},{"id":"https://openalex.org/I4210086780","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19","country_code":"JP","type":"government","lineage":["https://openalex.org/I1319490839","https://openalex.org/I4210086780"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shin\u2019ichi Oishi","raw_affiliation_strings":["Faculty of Science and Engineering, Waseda University, Tokyo, Japan","JST, CREST, Tokyo, Japan","Faculty of Science and Engineering, Waseda University, 3-4-1, Okubo, Shinjyuku-ku, Tokyo, 169-0072, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Science and Engineering, Waseda University, Tokyo, Japan","institution_ids":["https://openalex.org/I150744194"]},{"raw_affiliation_string":"JST, CREST, Tokyo, Japan","institution_ids":["https://openalex.org/I4210086780"]},{"raw_affiliation_string":"Faculty of Science and Engineering, Waseda University, 3-4-1, Okubo, Shinjyuku-ku, Tokyo, 169-0072, Japan","institution_ids":["https://openalex.org/I150744194"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5042608261"],"corresponding_institution_ids":["https://openalex.org/I171481255","https://openalex.org/I4210086780"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":0.319,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.61752336,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"56","issue":"3","first_page":"363","last_page":"382"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":1.0,"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/T11697","display_name":"Numerical Methods and Algorithms","score":1.0,"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/T11034","display_name":"Digital Filter Design and Implementation","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10792","display_name":"Matrix Theory and Algorithms","score":0.9927999973297119,"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/theory-of-computation","display_name":"Theory of computation","score":0.5943518877029419},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.563736617565155},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5516065359115601},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.5291600227355957},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4789177179336548},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.44501131772994995},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.428015798330307},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3989757299423218}],"concepts":[{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5943518877029419},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.563736617565155},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5516065359115601},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.5291600227355957},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4789177179336548},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.44501131772994995},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.428015798330307},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3989757299423218},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11075-010-9389-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11075-010-9389-6","pdf_url":null,"source":{"id":"https://openalex.org/S117494069","display_name":"Numerical Algorithms","issn_l":"1017-1398","issn":["1017-1398","1572-9265"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Numerical Algorithms","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W306549654","https://openalex.org/W1497959756","https://openalex.org/W1514118425","https://openalex.org/W1968165559","https://openalex.org/W1981745143","https://openalex.org/W2020804487","https://openalex.org/W2051327530","https://openalex.org/W2060924166","https://openalex.org/W2077793630","https://openalex.org/W2118100773","https://openalex.org/W2148202475","https://openalex.org/W2164218532","https://openalex.org/W2484380825","https://openalex.org/W2567513714","https://openalex.org/W2616066211","https://openalex.org/W2798909945","https://openalex.org/W3022909171"],"related_works":["https://openalex.org/W4250775169","https://openalex.org/W1987895267","https://openalex.org/W2350519135","https://openalex.org/W4309231192","https://openalex.org/W2064563243","https://openalex.org/W2390619334","https://openalex.org/W2052190160","https://openalex.org/W3165104833","https://openalex.org/W2012783289","https://openalex.org/W2375327612"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}