• FreeFem++

  • Referenced in 1396 articles [sw01436]
  • OpenGL with GLUT) Linux, FreeBSD, Solaris 10, Microsoft Windows ( 2000, NT, XP, Vista...
  • Excel

  • Referenced in 786 articles [sw06848]
  • Microsoft Excel is a powerful spreadsheet application that can be used to create, analyze, present ... broad array of technologies, including XML, Microsoft SharePoint Products and Technologies, smart tags, and PivotTables...
  • z3

  • Referenced in 606 articles [sw04887]
  • high-performance theorem prover being developed at Microsoft Research.Z3 supports linear real and integer arithmetic ... program analysis, testing, and verification tools from Microsoft Research. These include: VCC, Spec#, Boogie...
  • Visual Basic

  • Referenced in 306 articles [sw03518]
  • language and integrated development environment (IDE) from Microsoft for its COM programming model first released ... declared legacy in 2008. Microsoft intended Visual Basic to be relatively easy to learn...
  • MOD-DIST

  • Referenced in 256 articles [sw07504]
  • DIST, and MENU-OKF -- as well as Microsoft Office Excel, the book provides: -- A theoretical...
  • MENU-OKF

  • Referenced in 256 articles [sw07505]
  • DIST, and MENU-OKF -- as well as Microsoft Office Excel, the book provides: -- A theoretical...
  • SITATION

  • Referenced in 248 articles [sw07503]
  • DIST, and MENU-OKF -- as well as Microsoft Office Excel, the book provides: -- A theoretical...
  • Word

  • Referenced in 167 articles [sw21849]
  • Microsoft Word is a word processor developed by Microsoft...
  • KNITRO

  • Referenced in 200 articles [sw00490]
  • Java, AMPL, AIMMS, GAMS, MPL, Mathematica, MATLAB Microsoft Excel, and LabVIEW. Continuing active development...
  • MS SQL Server

  • Referenced in 107 articles [sw15848]
  • Microsoft SQL Server is a relational database management system developed by Microsoft. As a database ... computer across a network (including the Internet). Microsoft markets at least a dozen different editions ... Microsoft SQL Server, aimed at different audiences and for workloads ranging from small single-machine...
  • Visual C++

  • Referenced in 87 articles [sw03519]
  • Microsoft Visual C++ (often abbreviated as MSVC or VC++) is a commercial (free version available ... integrated development environment (IDE) product from Microsoft for the C, C++, and C++/CLI programming ... code, especially code written for the Microsoft Windows API, the DirectX API, and the Microsoft...
  • Access

  • Referenced in 61 articles [sw03704]
  • Microsoft Access, also known as Microsoft Office Access, is a database management system from Microsoft ... that combines the relational Microsoft Jet Database Engine with a graphical user interface and software ... tools. It is a member of the Microsoft Office suite of applications, included ... Professional and higher editions or sold separately. Microsoft Access stores data in its own format...
  • LISP-STAT

  • Referenced in 117 articles [sw01111]
  • operating system, the X window system, and Microsoft Windows. A prototype-based object-oriented programming...
  • Lotus 1-2-3

  • Referenced in 80 articles [sw27056]
  • offerings, and so they responded slowly to Microsoft’s own graphical-based products, Excel ... Word. Lotus was surpassed by Microsoft in the early 1990s and never recovered. IBM purchased...
  • AsmL

  • Referenced in 45 articles [sw11363]
  • testing. It is fully integrated into the Microsoft .NET environment: AsmL models can interoperate with ... Yuri Gurevich. The current version, AsmL for Microsoft .NET, is embedded into Microsoft Word...
  • Multiplan

  • Referenced in 63 articles [sw30580]
  • early spreadsheet program developed by Microsoft. Known initially by the code name ”EP” (for ”Electronic...
  • JMP

  • Referenced in 58 articles [sw00476]
  • work with your other favorite tools, including Microsoft Excel and R, when you make...
  • QuickBasic

  • Referenced in 32 articles [sw22810]
  • Microsoft QuickBASIC (also QB) is an Integrated Development Environment (or IDE) and compiler ... BASIC programming language that was developed by Microsoft. QuickBASIC runs mainly on DOS, though there ... compiler in addition to the interpreter. Microsoft marketed QuickBASIC as the introductory level for their ... BASIC Professional Development System.[1] Microsoft marketed two other similar IDEs for C and Pascal...
  • VBA

  • Referenced in 54 articles [sw18634]
  • programming language for all the Microsoft Office applications. Also VBA is becoming the programming language...
  • MS-COCO

  • Referenced in 54 articles [sw32600]
  • Microsoft COCO: Common Objects in Context. We present a new dataset with the goal...