• 证据总则

  • 52篇参考文献[SW04901]
  • 强大的用户接口相对较少的努力,减轻了对A的需求证明助理…外观均匀多样证明助手。标准证明通用有一个不断增长的用户基础…目前用于几种交互证明 系统包括COQ、乐高和伊莎贝尔。支持他人…简要概述一下证明通用技术及其背后的哲学;技术…
  • 大地测量学

  • 23篇参考文献[SW06216]
  • 大地测量学网页 系统对于欧几里得构造几何,GeththMS是网页基础框架…几何构造、图形库校样. GeoThms用户可以很容易地使用/浏览现有的…功能,专注于接口A所需的解决方案系统旨在支持研究…
  • 前堇菜属

  • 10篇参考文献[SW07337 ]
  • 介绍三个相关概念,即:证明电影,包括帧记录两个…防潮网系统〔7〕。证明网通过PA与PA进行交互。网页-接口取消正式审查证明从PA开始开发…
  • PVSio网

  • 2篇参考文献[SW11949 ]
  • 快速成型设备用户接口在PVS中。我们介绍PVSio -网页扩展了仿真结果。证明 系统具有快速原型设备用户的功能接口. 工具本身呈现…设备用户的布局接口在开发中,指定布局上的交互区域。探索正式用户的行为接口通过点和点击交互的规范…
  • 埃特南诺瓦

  • 8篇参考文献[SW06360]
  • 裁判系统(aka AetnaNova),可访问网页摄取正文,它也…拒绝作为缺陷。这个功能证明验证者和关键问题…已包括超过1000的验证校样定义,以及“理论”。证明-按结构,其加法应校样更轻,更易读;接口
  • 裁判

  • 7篇参考文献[SW12439 ]
  • 电脑化裁判裁判系统(aka AetnaNova),可访问网页摄取正文的正文…拒绝作为缺陷。这个功能证明验证者和关键问题…已包括超过1000的验证校样定义,以及“理论”。证明-按结构,其加法应校样更轻,更易读;接口
  • 果园

  • 1篇参考文献[SW28 54]
  • 证明助理。果园是图形用户接口用于操纵视乳头细胞。它提供…眼盲的证明 系统. 我把一切都变成了网页基于版本使…
  • 韦克拉克

  • 1篇参考文献[SW20925]
  • 检查学生数学中的步骤校样. 用户用自然语言书写,但标记…本文描述了这种情况。网页A平台系统作者创造的工具…桌面应用程序网页应用系统工具在Github上可用…项目它包括一个网页数学排版编辑接口用于标记文档…
  • 可爱

  • 58篇参考文献[SW0177]
  • 可爱:C.的同音单元测试引擎。
  • GCLC

  • 28篇参考文献[SW0326]
  • 我们提出了GCLC/WIGCLC——一种可视化几何图形的工具。
  • 岩浆

  • 2602篇参考文献[SW0540]
  • 计算机代数系统(CAS)。岩浆是巨大的…
  • MATLAB

  • 11180篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…