• Python

  • Referenced in 2091 articles [sw14460]
  • Java. The language provides constructs intended to enable clear programs on both a small ... features a dynamic type system and automatic memory management and has a large and comprehensive...
  • Pesca

  • Referenced in 163 articles [sw13664]
  • program that helps in the construction of proofs in sequent calculus. It works both ... proof editor and as an automatic theorem prover. Proofs constructed in Pesca can both...
  • TVLA

  • Referenced in 34 articles [sw09878]
  • YACC”-like framework for automatically constructing static-analysis algorithms from an operational semantics, where...
  • Netgen

  • Referenced in 194 articles [sw06679]
  • automatic mesh generator NETGEN are described. The domain is provided by a Constructive Solid Geometry...
  • PDEBellII

  • Referenced in 12 articles [sw12572]
  • computer algebra program PDEBellII which can automatically construct the bilinear forms, bilinear Bäcklund transformations...
  • ANFIS

  • Referenced in 279 articles [sw08730]
  • hybrid learning procedure, the proposed ANFIS can construct an input-output mapping based on both ... proposed ANFIS and promising applications to automatic control and signal processing are also suggested...
  • PorePy

  • Referenced in 22 articles [sw27759]
  • domain, PorePy provides semi-automatic gridding to construct a discrete-fracture-matrix model, which forms...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • mixture of these modes, though in automatic mode it is quite primitive in certain respects ... proofs, translating these into natural deduction proofs, constructing natural deduction proofs, translating natural deduction proofs...
  • ASF+SDF

  • Referenced in 35 articles [sw11316]
  • development environment for the automatic generation of interactive systems for constructing language definitions and generating...
  • Pse-analysis

  • Referenced in 6 articles [sw23361]
  • benchmark dataset, Pse-Analysis will automatically construct an ideal predictor, followed by yielding the predicted ... aforementioned tedious jobs can be automatically done by the computer. Moreover, the multiprocessing technique...
  • GeoThms

  • Referenced in 25 articles [sw06216]
  • GeoThms -- a web system for Euclidean constructive geometry GeoThms is a web-based framework ... software (DGS), automatic theorem provers (ATP), and a repository of geometrical constructions, figures and proofs...
  • REVE

  • Referenced in 68 articles [sw28907]
  • such systems which can actually be called automatic because termination is fully integrated into ... method based on recursive decomposition ordering which constructs the termination proof step by step from...
  • USAP

  • Referenced in 5 articles [sw11569]
  • packages USAP, USAW, and MAYLIS. USAP automatically constructs, for any specific r, an umbral scheme ... this computationally trivial case we can actually automatically solve the equations that were automatically generated...
  • USAW

  • Referenced in 5 articles [sw11570]
  • packages USAP, USAW, and MAYLIS. USAP automatically constructs, for any specific r, an umbral scheme ... this computationally trivial case we can actually automatically solve the equations that were automatically generated...
  • MAYLIS

  • Referenced in 5 articles [sw11571]
  • packages USAP, USAW, and MAYLIS. USAP automatically constructs, for any specific r, an umbral scheme ... this computationally trivial case we can actually automatically solve the equations that were automatically generated...
  • ZOO

  • Referenced in 5 articles [sw10604]
  • that for any specific $k$, automatically constructs an umbral scheme for enumerating “$k$-board” lattice...
  • QUASY

  • Referenced in 5 articles [sw09774]
  • takes qualitative and quantitative specifications and automatically constructs a system that satisfies the qualitative specification...
  • MRST-AD

  • Referenced in 24 articles [sw25330]
  • that enables simple construction of discrete differential operators; and (iii) automatic differentiation that ensures that...
  • FPINNs

  • Referenced in 27 articles [sw40570]
  • PDEs explicitly encoded into the NN using automatic differentiation, while the sum of the mean ... introduce for constructing the residual in the loss function using both automatic differentiation...
  • MINTO

  • Referenced in 135 articles [sw04587]
  • with linear programming relaxations. It also provides automatic constraint classification, preprocessing, primal heuristics and constraint ... improve the formulation by preprocessing and probing; construct feasible solutions generate strong valid inequalities perform...