{"id":"https://openalex.org/W2486753540","doi":"https://doi.org/10.1007/978-3-540-73086-6","title":"Towards Mechanized Mathematical Assistants","display_name":"Towards Mechanized Mathematical Assistants","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W2486753540","doi":"https://doi.org/10.1007/978-3-540-73086-6","mag":"2486753540"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-73086-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73086-6","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"},"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/A5007541022","display_name":"Manuel Kauers","orcid":"https://orcid.org/0000-0001-8641-6661"},"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/I4210090393","display_name":"Design Science (United States)","ror":"https://ror.org/00cxhe745","country_code":"US","type":"company","lineage":["https://openalex.org/I4210090393"]},{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]},{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]},{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["AT","DE","GB","US"],"is_corresponding":false,"raw_author_name":"Kauers, Manuel","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA","Design Science, Inc., St. Paul, Minnesota, USA","Johannes Kepler University Research Institute for Symbolic Computation, Linz, Austria","The University of Birmingham School of Computer Science, Birmingham B15 2TT, England","University of Saarland, Saarbr\u00fccken, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Design Science, Inc., St. Paul, Minnesota, USA","institution_ids":["https://openalex.org/I4210090393"]},{"raw_affiliation_string":"Johannes Kepler University Research Institute for Symbolic Computation, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]},{"raw_affiliation_string":"The University of Birmingham School of Computer Science, Birmingham B15 2TT, England","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"University of Saarland, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Windsteiger, Wolfgang","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/I4210090393","display_name":"Design Science (United States)","ror":"https://ror.org/00cxhe745","country_code":"US","type":"company","lineage":["https://openalex.org/I4210090393"]},{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]},{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]},{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["AT","DE","GB","US"],"is_corresponding":false,"raw_author_name":"Windsteiger, Wolfgang","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA","Design Science, Inc., St. Paul, Minnesota, USA","Johannes Kepler University Research Institute for Symbolic Computation, Linz, Austria","The University of Birmingham School of Computer Science, Birmingham B15 2TT, England","University of Saarland, Saarbr\u00fccken, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Design Science, Inc., St. Paul, Minnesota, USA","institution_ids":["https://openalex.org/I4210090393"]},{"raw_affiliation_string":"Johannes Kepler University Research Institute for Symbolic Computation, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]},{"raw_affiliation_string":"The University of Birmingham School of Computer Science, Birmingham B15 2TT, England","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"University of Saarland, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Miner, Robert","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/I4210090393","display_name":"Design Science (United States)","ror":"https://ror.org/00cxhe745","country_code":"US","type":"company","lineage":["https://openalex.org/I4210090393"]},{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]},{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]},{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["AT","DE","GB","US"],"is_corresponding":false,"raw_author_name":"Miner, Robert","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA","Design Science, Inc., St. Paul, Minnesota, USA","Johannes Kepler University Research Institute for Symbolic Computation, Linz, Austria","The University of Birmingham School of Computer Science, Birmingham B15 2TT, England","University of Saarland, Saarbr\u00fccken, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Design Science, Inc., St. Paul, Minnesota, USA","institution_ids":["https://openalex.org/I4210090393"]},{"raw_affiliation_string":"Johannes Kepler University Research Institute for Symbolic Computation, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]},{"raw_affiliation_string":"The University of Birmingham School of Computer Science, Birmingham B15 2TT, England","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"University of Saarland, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024794217","display_name":"Manfred Kerber","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/I4210090393","display_name":"Design Science (United States)","ror":"https://ror.org/00cxhe745","country_code":"US","type":"company","lineage":["https://openalex.org/I4210090393"]},{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]},{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]},{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["AT","DE","GB","US"],"is_corresponding":false,"raw_author_name":"Kerber, Manfred","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA","Design Science, Inc., St. Paul, Minnesota, USA","Johannes Kepler University Research Institute for Symbolic Computation, Linz, Austria","The University of Birmingham School of Computer Science, Birmingham B15 2TT, England","University of Saarland, Saarbr\u00fccken, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Design Science, Inc., St. Paul, Minnesota, USA","institution_ids":["https://openalex.org/I4210090393"]},{"raw_affiliation_string":"Johannes Kepler University Research Institute for Symbolic Computation, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]},{"raw_affiliation_string":"The University of Birmingham School of Computer Science, Birmingham B15 2TT, England","institution_ids":["https://openalex.org/I79619799"]},{"raw_affiliation_string":"University of Saarland, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.1128,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.79408215,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9200999736785889,"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/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9200999736785889,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8183680772781372},{"id":"https://openalex.org/keywords/engineering-drawing","display_name":"Engineering drawing","score":0.47953200340270996},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4178575873374939},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.38449251651763916},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3221805989742279},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0745096504688263}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8183680772781372},{"id":"https://openalex.org/C199639397","wikidata":"https://www.wikidata.org/wiki/Q1788588","display_name":"Engineering drawing","level":1,"score":0.47953200340270996},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4178575873374939},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.38449251651763916},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3221805989742279},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0745096504688263}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-540-73086-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-73086-6","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"},{"id":"pmh:oai:dial.uclouvain.be:ebook:7143","is_oa":false,"landing_page_url":"http://hdl.handle.net/2078/ebook:7143","pdf_url":null,"source":{"id":"https://openalex.org/S4306401902","display_name":"Digital Access to Libraries (Universit\u00e9 catholique de Louvain (UCL), l'Universit\u00e9 de Namur (UNamur) and the Universit\u00e9 Saint-Louis (USL-B))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I95674353","host_organization_name":"UCLouvain","host_organization_lineage":["https://openalex.org/I95674353"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W1605923635","https://openalex.org/W1791937425"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655","https://openalex.org/W2359140296"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2016-08-23T00:00:00"}