• PROMAL

  • Referenced in 19 articles [sw04249]
  • materials Today’s composite materials often outshine traditional materials; they are lightweight, corrosion-resistant ... strong. Used in everything from aircraft structures to golf clubs, and serving industries from medicine ... space exploration, composites are an exciting field of study for students, engineers, and researchers around...
  • OptiStruct

  • Referenced in 13 articles [sw14224]
  • designers and engineers rapidly develop innovative, lightweight and structurally efficient designs. Continuing to build ... printed lattice structures and advanced materials such as laminate composites, in keeping up with...
  • HiTag2

  • Referenced in 10 articles [sw14133]
  • widely applied lightweight stream cipher with a traditional structure containing linear shift feedback and nonlinear ... function is constructed by a two-layer composition of one 5-variable Boolean function...
  • RandSpg

  • Referenced in 1 article [sw25040]
  • crystal structures with specific space groups and compositions is described. The program has been designed ... therefore primarily suited towards inorganic systems. The structures that are generated adhere to user-defined ... efficient and reliable. The library is lightweight, portable, dependency-free and is published under...
  • ANSYS

  • Referenced in 703 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Gmsh

  • Referenced in 720 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Magma

  • Referenced in 3296 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • SageMath

  • Referenced in 1970 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • COBOL

  • Referenced in 237 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...
  • Alloy

  • Referenced in 30 articles [sw01247]
  • Alloy: A new technology for software modelling. Alloy...
  • CLEFIA

  • Referenced in 66 articles [sw03047]
  • CLEFIA is an efficient, highly secure block cipher...
  • KRAKATOA

  • Referenced in 89 articles [sw03159]
  • The KRAKATOA tool for certification of JAVA/JAVACARD programs...
  • SPIN

  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • Gurobi

  • Referenced in 679 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • ABAQUS

  • Referenced in 1594 articles [sw04215]
  • The Abaqus Unified FEA product suite offers powerful...
  • Why3

  • Referenced in 134 articles [sw04438]
  • Why3 is a platform for deductive program verification...
  • MUL2

  • Referenced in 64 articles [sw06169]
  • software MUL2 (MULtilayered problems for MULtilayered structures: Plates...
  • PRESENT

  • Referenced in 179 articles [sw08313]
  • PRESENT is a new ultra lightweight block cipher...