• Normaliz

  • Referenced in 155 articles [sw00630]
  • system of linear homogeneous Diophantine equations, inequalities and congruences or a binomial ideal. Normaliz computes ... cone of a rational cone (in other words, given generators, Normaliz computes the defining hyperplanes ... under consideration by a system of inequalities, equations and congruences...
  • Norn

  • Referenced in 7 articles [sw21853]
  • expressive constraint language, including word equations, length constraints, and regular membership queries. As a feature ... acyclicity conditions on word equations, without any restrictions on the use of regular membership...
  • Chombo

  • Referenced in 58 articles [sw04316]
  • methods for the solution of partial differential equations on block-structured adaptively refined rectangular grids ... Division at LBNL. Chombo is a Swahili word meaning ”tool” or ”container...
  • Kaluza

  • Referenced in 2 articles [sw12036]
  • bounded length. Kaluza constraints may contain word equations over string variables, membership in regular languages...
  • MC2

  • Referenced in 1 article [sw27553]
  • effectiveness of 𝑀𝐶2 compared to Microsoft Word Equation for novice users are also presented...
  • HBPS

  • Referenced in 1 article [sw08849]
  • Difficulties in the construction of equations when solving word problems using an intelligent tutoring system ... teaching of algebraic solving of arithmetic-algebraic word problems by using the software Hypergraph Based ... show students’ performances in which they construct equations by making one of the unknowns appears...
  • FMath

  • Referenced in 0 articles [sw30869]
  • OMML (Microsoft Word) standards. FMATH EDITOR - FREE solution to edit equations or mathematical symbols ... pages using MathML, LaTeX or OMML (Microsoft Word) standards. FMATH for Java - FREE solution ... HTML5 / Javascript - FREE solution to display equations in html pages; FMATH for FLASH/Flex - FREE components ... display and edit equations using MathML, LaTeX or OMML (Microsoft Word) standards. FMATH PLUGINS - FREE...
  • Z3str2

  • Referenced in 3 articles [sw30520]
  • solvers typically support a theory of string equations, the length function, and the regular-expression ... termination. We present three techniques, designed for word-based SMT string solvers, to mitigate these ... quantifier-free theory of string equations, the regular-expression membership predicate, and linear arithmetic over ... strategy and/or string representation (based e.g. on words, bit vectors or automata). The results point...
  • DSSynth

  • Referenced in 2 articles [sw26831]
  • word-length (FWL) effects for physical plants represented by transfer-function or state-space equations...
  • qFunctions

  • Referenced in 3 articles [sw30803]
  • formal manipulations on q-differential, q-shift equations and recurrences, such as switching between these ... extend the classical method of the weighted words approach. Moreover, qFunctions has implementations that automate...
  • AGX Dynamics

  • Referenced in 2 articles [sw27309]
  • truly scalable in all senses of the word. Built upon a solid foundation of original ... constrained systems, parallel high performance hybrid equation solvers and novel multi-physics models. Therefore...
  • DOTcvpSB

  • Referenced in 4 articles [sw07305]
  • nature, usually consisting of sets of differential equations. Dynamic optimization seeks the computation of optimal ... synchronize oscillations, remove oscillations, etc. In other words, DO allows the computation of optimal operating...
  • odeToJava

  • Referenced in 1 article [sw17452]
  • conveniently modify the details. In other words, the level at which PSEs are black boxes ... initial-value problems in ordinary differential equations. odeToJava implements explicit and linearly implicit implicit-explicit...
  • Equation Grapher and Regression Analyzer

  • Referenced in 0 articles [sw05978]
  • will get all necessary information, such as equation and correlation.In both programs you can change ... graph window and paste it into your word processor. Of course, it is possible...
  • Functions and Equations

  • Referenced in 0 articles [sw05986]
  • then paste where you please (Word, Paint, etc.). You have one-click control ... hyperbolic. Numerically solves systems of simultaneous nonlinear equations. It can fully explore defined intervals...
  • CoCoA

  • Referenced in 639 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • COLAMD

  • Referenced in 29 articles [sw00145]
  • Two codes are discussed, COLAMD and SYMAMD, that...
  • COMPAS

  • Referenced in 14 articles [sw00147]
  • In this paper we describe COMPAS -- the open...
  • Coq

  • Referenced in 1837 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FDLIB

  • Referenced in 14 articles [sw00270]
  • The writer of this book is known as...