×

Found 15 Software Packages (Results 1–15)

RSat

Software Authors:   Knot Pipatsrisawat; Adnan Darwiche
Referenced in: 18 Publications (2008–2016)
Related Software: MiniSat; Chaff; PicoSAT; BerkMin; SATzilla; SMT-LIB; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

HITRAN

Software Authors:   Laurence S. Rothman
Referenced in: 10 Publications (2006–2016)
Related Software: HITEMP; TauREx; Python; GENSPECT; Pyrat Bay; CHIMERA; …
Main Fields: Integral equations (45-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

NOrec

Software Authors:   Dalessandro, L., Spear, M.F., Scott, M.L.
Referenced in: 9 Publications (2010–2022)
Related Software: RingSTM; JudoSTM; DiSTM; STAMP; TLRW; Synchrobench; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

plasp

Software Authors:   Gebser, Martin; Kaminski, Roland; Knecht, Murat; Schaub, Torsten
Referenced in: 9 Publications (2012–2021)
Related Software: PDDL; Clingo; ROSoClingo; Clingcon; WASP; GDL; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

XPP-VC

Software Authors:   Cardoso, João M.P.; Weinhardt, Markus
Referenced in: 3 Publications (2002–2006)
Related Software: FEAST; mctoolbox; NuMesh
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

ObjectMath

Software Authors:   Andersson, Niclas; Fritzson, Peter
Referenced in: 3 Publications (1997–2014)
Related Software: Omola; Mathematica; AUTOSAR; Simula 67; Python; STELLA; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

HeteroCL

Software Authors:   Y.-H. Lai et al.
Referenced in: 1 Publication (2021)
Related Software: Python; POMDPs.jl; TVM; OptimizedDP; AutoSA; PYNQ; …
Main Fields: Computer science (68-XX)

MMTTeX

Software Authors:   Rabe, Florian
Referenced in: 2 Publications (2019)
Related Software: Isabelle; LaTeX; Plat-Omega; Mizar; Isabelle/PIDE; MMT; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

AutoSA

Software Authors:   J. Wang, L. Guo, J. Cong
Referenced in: 1 Publication (2021)
Related Software: PYNQ; PyRTL; Clash; SYCL; PyMTL3; HeteroCL; …
Main Fields: Computer science (68-XX)

HiPER

Software Authors:   Highland, F. D.; Iwaskiw, C. T.
Referenced in: 1 Publication (1989)
Related Software: PL/I
Main Fields: Computer science (68-XX)

HTGviz

Software Authors:   M. Giordano, M. Funari
Referenced in: 1 Publication (2010)
Related Software: ParaWise; ParaGraph; SUIF
Main Fields: Computer science (68-XX)

HyCC

Software Authors:   Büscher, N., Demmler, D., Katzenbeisser, S., Kretzmer, D., Schneider, T.
Referenced in: 1 Publication (2022)
Related Software: Wysteria; JIFF; Sharemind
Main Fields: Computer science (68-XX)

Propositional Resolution

Software Authors:   Nicolas Peltier
Referenced in: 1 Publication (2018)
Related Software: FOL_Harrison; Incredible Proof Machine; Abstract Soundness; Verified Prover; Lambda Free RPOs; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SQLCert

Software Authors:   Benzaken, V., Contejean, E.
Referenced in: 1 Publication (2018)
Related Software: SEQUEL; Q*cert; HoTTSQL; CertiCoq; CertiKOS; Fiat; …
Main Fields: Computer science (68-XX)

Tadisys

Software Authors:   Moscow State University
Referenced in: 1 Publication (2014)
Related Software: ScopeShell; Poisson Solver; Bolsig
Main Fields: Fluid mechanics (76-XX)