{"id":"https://openalex.org/W68701292","doi":null,"title":"Using Web Access to Formal Mathematics to Support Instruction in Computational Discrete Mathematics","display_name":"Using Web Access to Formal Mathematics to Support Instruction in Computational Discrete Mathematics","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W68701292","mag":"68701292"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.422.6909","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.422.6909","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.nuprl.org/documents/Web_Access/usingweb.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5103371465","display_name":"Robert L. Constable","orcid":"https://orcid.org/0009-0006-4471-4808","observed_orcids":["https://orcid.org/0009-0006-4471-4808"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Robert L. Constable","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5103371465"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"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/T10130","display_name":"Mathematics Education and Teaching Techniques","score":0.46799999475479126,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10130","display_name":"Mathematics Education and Teaching Techniques","score":0.46799999475479126,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.1785999983549118,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/T14079","display_name":"Mathematics Education and Programs","score":0.0820000022649765,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nuprl","display_name":"Nuprl","score":0.8500000238418579},{"id":"https://openalex.org/keywords/formal-mathematics","display_name":"formal mathematics","score":0.4790000021457672},{"id":"https://openalex.org/keywords/interactive-courseware","display_name":"interactive courseware","score":0.7509999871253967},{"id":"https://openalex.org/keywords/mathematics-education","display_name":"mathematics education","score":0.4580000042915344}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.588145911693573},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.4813705086708069},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4808531403541565},{"id":"https://openalex.org/C3017614220","wikidata":"https://www.wikidata.org/wiki/Q8434","display_name":"Formal education","level":2,"score":0.4549401104450226},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.45481550693511963},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.388256698846817},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.33100590109825134},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24757114052772522},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17794248461723328},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.14893782138824463},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.09637138247489929},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.422.6909","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.422.6909","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.nuprl.org/documents/Web_Access/usingweb.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality education","score":0.975600004196167,"id":"https://metadata.un.org/sdg/4"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":63,"referenced_works":["https://openalex.org/W67818835","https://openalex.org/W77647751","https://openalex.org/W89039390","https://openalex.org/W108993400","https://openalex.org/W125920525","https://openalex.org/W1481067621","https://openalex.org/W1488133941","https://openalex.org/W1494663138","https://openalex.org/W1498523273","https://openalex.org/W1500088651","https://openalex.org/W1504884872","https://openalex.org/W1505592372","https://openalex.org/W1509149194","https://openalex.org/W1513458930","https://openalex.org/W1518332104","https://openalex.org/W1530552858","https://openalex.org/W1538467230","https://openalex.org/W1539253392","https://openalex.org/W1560115124","https://openalex.org/W1560630624","https://openalex.org/W1561578951","https://openalex.org/W1567558468","https://openalex.org/W1572751978","https://openalex.org/W1575793731","https://openalex.org/W1580686190","https://openalex.org/W1591915883","https://openalex.org/W1593102588","https://openalex.org/W1593965134","https://openalex.org/W1596861400","https://openalex.org/W1597946367","https://openalex.org/W1612551514","https://openalex.org/W1614951952","https://openalex.org/W1707104629","https://openalex.org/W1817451992","https://openalex.org/W1963457827","https://openalex.org/W1986402635","https://openalex.org/W1991482315","https://openalex.org/W1996471421","https://openalex.org/W1996926815","https://openalex.org/W2021790140","https://openalex.org/W2032909903","https://openalex.org/W2048294372","https://openalex.org/W2057954006","https://openalex.org/W2060642394","https://openalex.org/W2089674328","https://openalex.org/W2103792482","https://openalex.org/W2112250621","https://openalex.org/W2131739376","https://openalex.org/W2133247167","https://openalex.org/W2136208491","https://openalex.org/W2147583867","https://openalex.org/W2152617947","https://openalex.org/W2164599981","https://openalex.org/W2167954650","https://openalex.org/W2333196491","https://openalex.org/W2400908863","https://openalex.org/W2798806259","https://openalex.org/W2993656152","https://openalex.org/W3215332786","https://openalex.org/W4213201061","https://openalex.org/W4230605145","https://openalex.org/W4233522785","https://openalex.org/W4244520098"],"related_works":["https://openalex.org/W2103792482","https://openalex.org/W7093470979","https://openalex.org/W2263558843","https://openalex.org/W2189251486","https://openalex.org/W2599198750","https://openalex.org/W3014340140","https://openalex.org/W7099371108","https://openalex.org/W1812823326","https://openalex.org/W190708490","https://openalex.org/W7098408468"],"abstract_inverted_index":{"We":[0,77],"have":[1,91],"begun":[2],"a":[3,21,122],"project":[4,39],"to":[5,69,82,96,104,114,132],"produce":[6],"interactive":[7,139],"formally-grounded":[8],"courseware":[9,17],"for":[10,80,134,164,178],"teaching":[11],"mathematics":[12],"and":[13,44,127,150,161,171,174],"computing.":[14],"1":[15],"The":[16,38],"is":[18,40],"created":[19],"by":[20,42],"modern":[22],"proof":[23],"development":[24],"system,":[25],"Nuprl,":[26],"based":[27],"on":[28,56,117,145,168],"its":[29],"growing":[30],"em":[31],"reference":[32],"library":[33],"of":[34,47,52,67,74,87,108,125,183],"formal":[35,109],"computational":[36],"mathematics.":[37],"supported":[41],"NSF":[43],"some":[45],"results":[46],"the":[48,57,71,84,88,105,118,136,146,159,165,180,184],"past":[49],"eighteen":[50],"months":[51],"work":[53],"are":[54,78],"available":[55,144],"World":[58],"Wide":[59],"Web.":[60],"2":[61],"This":[62,156],"proposal":[63,157],"requests":[64],"an":[65],"increment":[66],"funding":[68],"supplement":[70],"continuing":[72],"investment":[73],"Cornell":[75],"resources.":[76],"asking":[79],"funds":[81],"improve":[83],"educational":[85,181],"value":[86,182],"resources":[89],"we":[90,94,112,130],"created.":[92],"First,":[93],"want":[95,113,131],"add":[97],"more":[98],"targeted":[99],"lessons":[100,120],"as":[101],"entry":[102],"points":[103],"large":[106],"corpus":[107],"material.":[110],"Second,":[111],"gather":[115],"feedback":[116],"existing":[119],"from":[121],"wider":[123],"range":[124],"students":[126],"instructors.":[128],"Third,":[129],"prepare":[133],"using":[135],"full":[137],"Nuprl":[138],"capability":[140],"when":[141],"it":[142,153],"becomes":[143],"Web":[147],"in":[148,154],"1998":[149],"then":[151],"deploy":[152],"1999.":[155],"reviews":[158],"technical":[160],"pedagogical":[162],"case":[163],"project,":[166],"reports":[167],"current":[169],"progress":[170],"future":[172],"plans":[173],"explains":[175],"our":[176],"ideas":[177],"improving":[179]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2025-10-27T00:00:00"}