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: –