×

Found 48 Software Packages (Results 1–48)

Netgen

Software Authors:   J. Schöberl, J. Gerstmayr, R. Gaisbauer
Cited in: 191 Publications (1997–2022)
Related Software: NGSolve; Gmsh; TetGen; Triangle; PETSc; FEniCS; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

UFL

Software Authors:   Alnæs, Martin S.; Logg, Anders; Ølgaard, Kristian B.; Rognes, Marie E.; Wells, Garth N.
Cited in: 73 Publications (2010–2022)
Related Software: FEniCS; PETSc; Firedrake; DOLFIN; FIAT; petsc4py; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Octagon

Software Authors:   Miné, A.
Cited in: 59 Publications (2002–2014)
Related Software: ASTREE; Apron; PPL; ESC/Java; Caduceus; Why3; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Numerical analysis (65-XX)

MPTP 0.2

Software Authors:   Urban, Josef
Cited in: 51 Publications (2006–2021)
Related Software: Mizar; E Theorem Prover; VAMPIRE; TPTP; MaLARea; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CommonKADS

Software Authors:   Van de velde Breuker
Cited in: 26 Publications (1994–2014)
Related Software: NeuroGaz; GitHub; VoteSim; DAMOCIA-Sim; DAMOCIA-Design
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

FOXBOX

Software Authors:   Díaz, Angel; Kaltofen, Erich
Cited in: 17 Publications (1998–2022)
Related Software: Maple; SACLIB; PVMaple; Dagwood; ffmodstd; CASA; …
Main Fields: Commutative algebra (13-XX); Functions of a complex variable (30-XX); Approximations and expansions (41-XX)

FunArray

Software Authors:   Cousot, Patrick; Cousot, Radhia; Logozzo, Francesco
Cited in: 16 Publications (2011–2021)
Related Software: ASTREE; z3; Booster; Apron; Mcmt; Princess; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

2LEV-D2P4

Software Authors:   Buttari, Alfredo; D'Ambra, Pasqua; di Serafino, Daniela; Filippone, Salvatore
Cited in: 10 Publications (2007–2021)
Related Software: MLD2P4; PSBLAS; BoomerAMG; Trilinos; SParC-LES; hypre; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

CTIGAR

Software Authors:   Birgmeier, J., Bradley, A.R., Weissenbacher, G.
Cited in: 8 Publications (2016–2021)
Related Software: z3; PySMT; MathSAT5; nuXmv; Kind 2; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

LORENE

Software Authors:   Eric Gourgoulhon, Philippe Grandclément, Jean-Alain Marck, Jérôme Novak, Keisuke Taniguchi
Cited in: 9 Publications (2007–2021)
Related Software: Cactus; Carpet; Einstein Toolkit; Kranc; GYOTO; KADATH; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of particles and systems (70-XX)

PAGAI

Software Authors:   Julien Henry , David Monniaux , Matthieu Moy
Cited in: 9 Publications (2014–2022)
Related Software: Apron; PPL; HyTech; PHAVer; Sawja; ASTREE; …
Main Fields: Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

RALL

Software Authors:   David von Oheimb, Thomas F. Gritzner
Cited in: 9 Publications (1997–2014)
Related Software: Ralf; Isabelle/HOL; ARA; Isabelle; RelView; CoLoR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Kermeta

Software Authors:   Triskell Team
Cited in: 3 Publications (2006–2010)
Related Software: UML2Alloy; AToM3; SystemC; Ptolemy; ATL; Zchaff2004; …
Main Fields: Computer science (68-XX)

PROTOS-L

Software Authors:   Beierle, Christoph
Cited in: 7 Publications (1990–1996)
Related Software: Prolog
Main Fields: Computer science (68-XX)

BOXES

Software Authors:   Gurfinkel, A., Chaki, S.
Cited in: 5 Publications (2010–2017)
Related Software: UFO; Apron; CIL; vZ; PAGAI; SYMBA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

NNV

Software Authors:   Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
Cited in: 5 Publications (2021–2022)
Related Software: Reluplex; VERIFAI; Marabou; MPT; MNIST; ReachNN; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

RAHFT

Software Authors:   Kafle, B., Gallagher, J. P., Morales, J. F.
Cited in: 6 Publications (2018–2021)
Related Software: z3; Ciao; SeaHorn; CiaoPP; TreeAutomizer; HSF; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TPLib

Software Authors:   X. Allamigeon
Cited in: 6 Publications (2011–2017)
Related Software: polymake; Maxplus; tropical.lib; TropLi; a-tint; Gfan; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX)

KERMIT

Software Authors:   Suraweera, Pramuditha; Mitrovic, Antonija
Cited in: 4 Publications (2002–2003)
Related Software:
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

MontiCore

Software Authors:   Krahn, Holger; Rumpe, Bernhard; Völkel, Steven
Cited in: 3 Publications (2016–2021)
Related Software: Neverlang; ANTLR; Spoofax; Ott; Featherweight Java; JastAdd; …
Main Fields: Computer science (68-XX)

Cibai

Software Authors:   Logozzo, Francesco
Cited in: 4 Publications (2007–2010)
Related Software: Groovy; Boogie; PPL; ASTREE; CSSV; BoogiePL; …
Main Fields: Computer science (68-XX)

FixBag

Software Authors:   Tuan-Hung Pham; Minh-Thai Trinh; Anh-Hoang Truong; Wei-Ngan Chin
Cited in: 3 Publications (2013–2017)
Related Software: MemCAD; TVLA; Predator; Quicr; SLAyer; Apron; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

pyomo.dae

Software Authors:   Nicholson, Bethany; Siirola, John D.; Watson, Jean-Paul; Zavala, Victor M.; Biegler, Lorenz T.
Cited in: 3 Publications (2018–2022)
Related Software: Pyomo; SOCS; Optimica; JModelica; TACO; ACADO; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

REBA

Software Authors:   Sridharan, Mohan; Gelfond, Michael; Zhang, Shiqi; Wyatt, Jeremy
Cited in: 4 Publications (2019–2021)
Related Software: PEORL; CCalc; FODD-Planner; Smodels; GitHub; ALM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

JavaSPI

Software Authors:   Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo
Cited in: 1 Publication (2018)
Related Software: MJ; AGVI; Bouncy Castle; UMLsec; Helios; TS#; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

TSL

Software Authors:   Lim, J., Reps, T.W.
Cited in: 3 Publications (2015–2021)
Related Software: K Prover; TSOTool; CompCert; Lem; CoqJVM; Isabelle/HOL; …
Main Fields: Computer science (68-XX)

Aboria

Software Authors:   M. Robinson, M. Bruna
Cited in: 2 Publications (2017–2019)
Related Software: Matlab; FEniCS; Gmsh
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Fluid mechanics (76-XX)

CALF

Software Authors:   Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
Cited in: 2 Publications (2017–2018)
Related Software: LEVER; Sigma*; LearnLib; libalf
Main Fields: Computer science (68-XX)

CPAlien

Software Authors:   Muller, P., Vojnar, T.
Cited in: 1 Publication (2018)
Related Software: CEGAR; MU-CSeq; Symbiotic 2; Jakstab; FrankenBit; Ultimate Kojak; …
Main Fields: Computer science (68-XX)

Fixpoint

Software Authors:   Bertrand Jeannet
Cited in: 2 Publications (2011–2012)
Related Software: UMDES; SMACS; Apron
Main Fields: Systems theory; control (93-XX)

Frag

Software Authors:   Zdun U.
Cited in: 2 Publications (2004–2006)
Related Software: AspectS; CLOS; Jiazzi; REXX; JBoss; Lua; …
Main Fields: Computer science (68-XX)

FuncTion

Software Authors:   Urban, C.
Cited in: 2 Publications (2015)
Related Software: AProVE; Ultimate Kojak; LTLAutomizer; Ultimate; CBMC; MathSAT5; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GTGolog

Software Authors:   Finzi, A.; Lukasiewicz, T.
Cited in: 1 Publication (2020)
Related Software: POGTGolog; Gambit; GOLOG
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

IKOS

Software Authors:   Guillaume Brat, Jorge A. Navas, Nija Shi, Arnaud Venet
Cited in: 1 Publication (2015)
Related Software:
Main Fields: Computer science (68-XX)

JEMDI

Software Authors:   Zerbetto, Mirco; Frezzato, Diego
Cited in: 2 Publications (2015)
Related Software: MPI/MPICH; IMSL Numerical Libraries; Mathematica
Main Fields: Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX)

KAD

Software Authors:   Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark Weber
Cited in: 2 Publications (2019–2022)
Related Software: Archive Formal Proofs; Transformer semantics; Quantales; KeYmaera X; Differential_Game_Logic; Algebraic_VCs; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MEFiSTo

Software Authors:   Faustus Scientific Corporation
Cited in: 2 Publications (2008–2017)
Related Software: Matlab; openEMS; Delta Function; FEKO
Main Fields: General and overarching topics; collections (00-XX); Optics, electromagnetic theory (78-XX)

Simpl

Software Authors:   Freudenthal, Margus
Cited in: 2 Publications (2013–2017)
Related Software: MetaEdit+; Spoofax; Xtext; Maude; Rascal; ANTLR; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Billie

Software Authors:   Tauscher, H
Cited in: 0 Publications
Related Software: xBIM; BIMsurfer; CasCADe
Main Fields:

CRAM

Software Authors:   Michael Beetz, M Lorenz, Moritz Tenorth
Cited in: 1 Publication (2016)
Related Software: Orocos
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)

dctools

Software Authors:   Ponce Campuzano, Juan Carlos
Cited in: 1 Publication (2021)
Related Software: GeoGebra
Main Fields: Functions of a complex variable (30-XX)

JavaCOP

Software Authors:   Markstrum, S.; Marino, D.; Esquivel, M.; Millstein, T.; Andreae, C.; Noble, J
Cited in: 0 Publications
Related Software: MJ; Oracle; Cecil; Scala
Main Fields:

Meta Model Isabelle

Software Authors:   Frédéric Tuong; Burkhart Wolff
Cited in: 1 Publication (2016)
Related Software: Density Compiler; Archive Formal Proofs; Applicative Lifting; Stern-Brocot Tree; Lifting; Transfer; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

Quicr

Software Authors:   Cox, Arlen; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram
Cited in: 1 Publication (2014)
Related Software: FixBag; SLAyer; Apron
Main Fields: Computer science (68-XX)

SMOOTH

Software Authors:   C. Ashcraft; J. W. H. Liu
Cited in: 1 Publication (2011)
Related Software: PaToH; PT-Scotch; SPOOLES; SparseMatrix; METIS
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX)

textX

Software Authors:   Dejanović, I.; Vaderna, R.; Milosavljević, G.; Vuković, Ž.
Cited in: 1 Publication (2021)
Related Software: GPU-PRISM; mCRL2; CUDA
Main Fields: Computer science (68-XX)

Verimag Polyhedra Library

Software Authors:   Alexis Fouilhé, Alexandre Maréchal, Sylvain Boulmé, Hang Yu, Michaël Périn, David Monniaux
Cited in: 1 Publication (2017)
Related Software: PAGAI; PPL; Apron
Main Fields: Operations research, mathematical programming (90-XX)

Anaphe

Software Authors:   Couet, O; Ferrero-Merlino, B; Molnar, Z; Moscicki, J T; Pfeiffer, A; Sang, M
Cited in: 0 Publications
Related Software:
Main Fields: