首页> 外文会议>Intelligent computer mathematics >Software for Evaluating Relevance of Steps in Algebraic Transformations

【24h】

Software for Evaluating Relevance of Steps in Algebraic Transformations

机译：代数变换中步骤相关性的评估软件

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Students of our department solve algebraic exercises in mathematical logic in a computerized environment. They construct transformations step by step and the program checks the syntax, equivalence of expressions and completion of the task. With our current project, we add a program component for checking relevance of the steps.

机译：我们系的学生在计算机化的环境中解决数学逻辑中的代数练习。他们逐步构建转换，程序检查语法，表达式的等效性和任务的完成。在当前项目中，我们添加了一个程序组件来检查步骤的相关性。

著录项

来源
《Intelligent computer mathematics》|2013年|374-378|共5页
会议地点 Bath(GB)
作者
Rein Prank;
展开▼
作者单位

University of Tartu, Estonia;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra [J] . Christoph Brandt, Frank Hermann, Jan Friso Groote Journal of research and practice in information technology . 2011,第1期

机译：使用代数图变换和mCRL2流程代数生成和评估业务连续性流程
2. Multi-step and two-step experiments in heterogeneous porous media to evaluate the relevance of dynamic effects [J] . H.-J. Vogel, A. Samoueelian, O. Ippisch Advances in Water Resources . 2008,第1期

机译：在非均质多孔介质中进行多步和两步实验以评估动态效果的相关性
3. Reprint of 'Multi-step and two-step experiments in heterogeneous porous media to evaluate the relevance of dynamic effects' [J] . H.-J. Vogel, A. Samoueelian, O. Ippisch Advances in Water Resources . 2008,第9期

机译：重印了“在异质多孔介质中进行多步和两步实验以评估动态效果的相关性”
4. Software for Evaluating Relevance of Steps in Algebraic Transformations [C] . Rein Prank Symposium on the Integration of Symbolic Computation and Mechanized Reasoning . 2013

机译：用于评估代数变换中步骤相关性的软件
5. A step in the right direction: Evaluating the effectiveness of customized stepping game software and NintendoRTM Wii Balance Boards(TM) for balance rehabilitation therapy and measurement [D] . Lax-Vanek, Alannah Jane. 2018

机译：朝正确方向迈出的一步：评估定制的步进游戏软件和NintendoRTM Wii Balance Boards（TM）进行平衡康复治疗和测量的有效性
6. A minimum evaluation protocol and stepped-wedge cluster randomized trial of ACCESS Open Minds a large Canadian youth mental health services transformation project [O] . Srividya N. Iyer, Jai Shah, Patricia Boksa, 2019

机译：加拿大大型青少年心理健康服务转型项目ACCESS Open Minds的最低评估方案和阶梯楔形群随机试验
7. Software for Evaluating Relevance of Steps in Algebraic Transformations [O] . Prank, Rein 2013

机译：用于评估代数变换中步骤相关性的软件
8. Army Software Test and Evaluation Panel (STEP) Software Metrics InitiativesReport [R] . Betz, H. P., O'Neill, P. J. 1993

机译：陆军软件测试和评估小组（sTEp）软件度量计划举措报告

Software for Evaluating Relevance of Steps in Algebraic Transformations

摘要

著录项

相似文献

相关主题

期刊订阅