• DMPlex

  • Referenced in 13 articles [sw17572]
  • composition of the PETSc DMPlex domain topology abstraction with the Firedrake automated finite element system ... allow the generic creation of user-defined discretizations, while utilizing data layout optimizations that improve...
  • ELEMD

  • Referenced in 4 articles [sw09262]
  • abstractions in ELEMD deal with the analytical equations to be solved, the local discretization schemes...
  • PascGalois

  • Referenced in 1 article [sw09374]
  • undergraduate mathematics curriculum (e.g. abstract algebra, number theory, discrete mathematics) and cellular automata. The value...
  • Synthia

  • Referenced in 8 articles [sw12933]
  • analysis algorithm is based on a novel abstraction refinement technique that enables a clean combination ... symbolic representation of both the discrete control-related and the continuous part of the state...
  • PyDEC

  • Referenced in 10 articles [sw06967]
  • Python library for computations related to the discretization of exterior calculus which includes numerical solution ... well as purely topological problems on abstract complexes. It uses efficient algorithms for constructing...
  • DiscreteZOO

  • Referenced in 5 articles [sw25784]
  • repository and a fingerprint database for discrete mathematical objects. At the moment, it hosts collections ... common generalisation of maps and abstract polytopes. The project encompasses a tool for handling...
  • SciANN

  • Referenced in 10 articles [sw38344]
  • transfer learning. SciANN is designed to abstract neural network construction for scientific computations and solution ... used for curve fitting on discrete data, and for solution and discovery of PDEs...
  • Albany/FELIX

  • Referenced in 8 articles [sw17196]
  • Trilinos project are combined using abstract interfaces and template-based generic programming, resulting ... boundary conditions, the numerical methods chosen to discretize the ice flow equations are described, along...
  • Gridap

  • Referenced in 8 articles [sw34982]
  • library provides a feature-rich set of discretization techniques, including continuous and discontinuous FE methods ... detailed presentation of the mathematical abstractions behind the implementation of these FE methods). Gridap...
  • SMACS

  • Referenced in 2 articles [sw06144]
  • infinite transition systems under partial observation using abstract interpretation. We propose algorithms for the synthesis ... controllers with partial observation of infinite state discrete event systems modelled by Symbolic Transition Systems ... algorithms solving these problems is ensured using abstract interpretation techniques which provide an overapproximation...
  • RealPlan

  • Referenced in 9 articles [sw01619]
  • separate scheduling phase. The scheduling problem with discrete resources is represented as a Constraint Satisfaction ... simply tries to assign resources to the abstract causal plan passed...
  • YADE

  • Referenced in 13 articles [sw06761]
  • open-source software based on the discrete element method, (DEM) which uses object oriented programming ... undertaken to extract the underlying object oriented abstractions in the DEM. These abstractions are implemented...
  • AMYTISS

  • Referenced in 2 articles [sw36936]
  • correct-by-construction controllers for large-scale discrete-time stochastic systems. This tool is employed ... finite Markov decision processes (MDPs) as finite abstractions of given original systems, and (ii) synthesize...
  • pyomo.dae

  • Referenced in 2 articles [sw26557]
  • pyomo.dae: a modeling and automatic discretization framework for optimization with differential and algebraic equations ... based modeling framework that enables high-level abstract specification of optimization problems with differential ... ability to automatically transform high-level abstract models into finite-dimensional algebraic problems that ... enable the exploration of new modeling concepts, discretization schemes, and the benchmarking of state...
  • 3dprintmath

  • Referenced in 6 articles [sw20130]
  • with 3D printing. Mathematics often swings between abstract and concrete notions. For instance it happens ... with symmetry and how to visualize the discrete subgroups of the symmetry group ... with the second, which is an abstract notion in differential geometry. 3D print...
  • StocHy

  • Referenced in 3 articles [sw36937]
  • software tool for the quantitative analysis of discrete-time stochastic hybrid systems (SHS). StocHy accepts ... time horizon; and to automatically construct formal abstractions of the SHS. Abstractions are then employed...
  • Francy

  • Referenced in 2 articles [sw25788]
  • computer algebra system for computational discrete algebra with an emphasis on computational group theory ... Window System. It lacks abstraction between its mathematical and graphical cores, making it difficult...
  • DG2VHDL

  • Referenced in 3 articles [sw00202]
  • design tool which can automatically translate abstract algorithmic descriptions, known as dependence graphs, to synthesizable ... problems, such as the computation of the discrete wavelet transform and the estimation of higher...
  • GDSCalc

  • Referenced in 1 article [sw28036]
  • systems. In this paper, we describe a discrete graph dynamical systems (GDSs) application called GDSCalc ... understanding of the software features, while abstracting away implementation details. We present ... research. Finally, we compare GDSCalc with other discrete dynamical system software tools. Our perspective...
  • BetaSim

  • Referenced in 3 articles [sw01379]
  • paper discusses a layered design for a discrete event simulation framework based on the Beta ... support for interruptible rendezvous and nested server abstractions. A summary of strengths and limitations...