Matches in SemOpenAlex for { <https://semopenalex.org/work/W140502199> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W140502199 endingPage "2034" @default.
- W140502199 startingPage "2028" @default.
- W140502199 abstract "Automatic mathematical solution assessment checks the equivalence of mathematical expressions in the user answer and standard solution. It is a challenging problem as the semantics of mathematical expressions are highly symbolic and equivalent mathematical expressions can be expressed in different forms. In this paper, we propose an effective Probabilistic Equivalence Verification (PEV) approach for automatic mathematical solution assessment. The proposed PEV approach is a randomized method based on the probabilistic numerical equivalence testing of two mathematical expressions. It can avoid false negative errors completely while guaranteeing a small probability of false positive errors to occur. The performance results have shown that the proposed PEV approach has outperformed other popular techniques in Computer Algebra Systems such as Maple and Mathematica." @default.
- W140502199 created "2016-06-24" @default.
- W140502199 creator A5005401414 @default.
- W140502199 creator A5026059624 @default.
- W140502199 creator A5033821542 @default.
- W140502199 date "2013-08-03" @default.
- W140502199 modified "2023-10-16" @default.
- W140502199 title "Probabilistic equivalence verification approach for automatic mathematical solution assessment" @default.
- W140502199 cites W1562183207 @default.
- W140502199 cites W1910771831 @default.
- W140502199 cites W1976373002 @default.
- W140502199 cites W2011758726 @default.
- W140502199 cites W2014064621 @default.
- W140502199 cites W2014405594 @default.
- W140502199 cites W2022462222 @default.
- W140502199 cites W2076582092 @default.
- W140502199 cites W2115007594 @default.
- W140502199 cites W2133436118 @default.
- W140502199 cites W2152570960 @default.
- W140502199 cites W2159341052 @default.
- W140502199 cites W2164164541 @default.
- W140502199 cites W2295428206 @default.
- W140502199 cites W2303097896 @default.
- W140502199 cites W2621813431 @default.
- W140502199 cites W2727592352 @default.
- W140502199 cites W3175367423 @default.
- W140502199 cites W582661777 @default.
- W140502199 cites W9273873 @default.
- W140502199 hasPublicationYear "2013" @default.
- W140502199 type Work @default.
- W140502199 sameAs 140502199 @default.
- W140502199 citedByCount "0" @default.
- W140502199 crossrefType "proceedings-article" @default.
- W140502199 hasAuthorship W140502199A5005401414 @default.
- W140502199 hasAuthorship W140502199A5026059624 @default.
- W140502199 hasAuthorship W140502199A5033821542 @default.
- W140502199 hasConcept C110812573 @default.
- W140502199 hasConcept C11413529 @default.
- W140502199 hasConcept C118615104 @default.
- W140502199 hasConcept C134306372 @default.
- W140502199 hasConcept C136119220 @default.
- W140502199 hasConcept C154945302 @default.
- W140502199 hasConcept C202444582 @default.
- W140502199 hasConcept C2780069185 @default.
- W140502199 hasConcept C33923547 @default.
- W140502199 hasConcept C41008148 @default.
- W140502199 hasConcept C49937458 @default.
- W140502199 hasConcept C80444323 @default.
- W140502199 hasConceptScore W140502199C110812573 @default.
- W140502199 hasConceptScore W140502199C11413529 @default.
- W140502199 hasConceptScore W140502199C118615104 @default.
- W140502199 hasConceptScore W140502199C134306372 @default.
- W140502199 hasConceptScore W140502199C136119220 @default.
- W140502199 hasConceptScore W140502199C154945302 @default.
- W140502199 hasConceptScore W140502199C202444582 @default.
- W140502199 hasConceptScore W140502199C2780069185 @default.
- W140502199 hasConceptScore W140502199C33923547 @default.
- W140502199 hasConceptScore W140502199C41008148 @default.
- W140502199 hasConceptScore W140502199C49937458 @default.
- W140502199 hasConceptScore W140502199C80444323 @default.
- W140502199 hasLocation W1405021991 @default.
- W140502199 hasOpenAccess W140502199 @default.
- W140502199 hasPrimaryLocation W1405021991 @default.
- W140502199 hasRelatedWork W1539521870 @default.
- W140502199 hasRelatedWork W157143398 @default.
- W140502199 hasRelatedWork W1574193488 @default.
- W140502199 hasRelatedWork W1617322827 @default.
- W140502199 hasRelatedWork W1999596083 @default.
- W140502199 hasRelatedWork W2003120459 @default.
- W140502199 hasRelatedWork W2026935309 @default.
- W140502199 hasRelatedWork W2069520832 @default.
- W140502199 hasRelatedWork W2078448895 @default.
- W140502199 hasRelatedWork W2086703390 @default.
- W140502199 hasRelatedWork W2139403746 @default.
- W140502199 hasRelatedWork W2149283215 @default.
- W140502199 hasRelatedWork W2481947210 @default.
- W140502199 hasRelatedWork W2582584164 @default.
- W140502199 hasRelatedWork W2885070057 @default.
- W140502199 hasRelatedWork W2885583826 @default.
- W140502199 hasRelatedWork W2887084370 @default.
- W140502199 hasRelatedWork W2943581306 @default.
- W140502199 hasRelatedWork W3151170751 @default.
- W140502199 hasRelatedWork W798922765 @default.
- W140502199 isParatext "false" @default.
- W140502199 isRetracted "false" @default.
- W140502199 magId "140502199" @default.
- W140502199 workType "article" @default.