
Normaliz
 Referenced in 159 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 8 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 60 articles
[sw04316]
 methods for the solution of partial differential equations on blockstructured 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 arithmeticalgebraic 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 regularexpression ... termination. We present three techniques, designed for wordbased SMT string solvers, to mitigate these ... quantifierfree theory of string equations, the regularexpression membership predicate, and linear arithmetic over ... strategy and/or string representation (based e.g. on words, bit vectors or automata). The results point...

qFunctions
 Referenced in 4 articles
[sw30803]
 formal manipulations on qdifferential, qshift equations and recurrences, such as switching between these ... extend the classical method of the weighted words approach. Moreover, qFunctions has implementations that automate...

DSSynth
 Referenced in 2 articles
[sw26831]
 wordlength (FWL) effects for physical plants represented by transferfunction or statespace equations...

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 multiphysics 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 ... initialvalue problems in ordinary differential equations. odeToJava implements explicit and linearly implicit implicitexplicit...

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 oneclick control ... hyperbolic. Numerically solves systems of simultaneous nonlinear equations. It can fully explore defined intervals...

CoCoA
 Referenced in 649 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

COLAMD
 Referenced in 30 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 1856 articles
[sw00161]
 Coq is a formal proof management system. It...

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