×

Found 15 Software Packages (Results 1–15)

Gandalf

Software Authors:   Tanel Tammet
Referenced in: 35 Publications (1996–2018)
Related Software: TPTP; Isabelle/HOL; Coq; VAMPIRE; HOL Light; Metis_; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PSpice

Software Authors:   Alhama, Francisco; Campo, Antonio; Zueco, Joaquin
Referenced in: 29 Publications (1994–2021)
Related Software: Matlab; SPICE; TISEAN; Ninteger; LMI toolbox; YALMIP; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

Siconos

Software Authors:   Siconos development team
Referenced in: 13 Publications (2010–2022)
Related Software: PATH Solver; ZQPCVX; Meschach; RODAS; MATLAB ODE suite; ode23s; …
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX)

Cardinal

Software Authors:   Azevedo, Francisco
Referenced in: 10 Publications (2007–2020)
Related Software: CPGraph; Z/EVES; Isabelle/HOL; Coq; CSPLib; CPLEX; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

SimMechanics

Software Authors:   Gran Richard J.
Referenced in: 8 Publications (2005–2020)
Related Software: Matlab; Simscape Multibody; Simscape; CNS; VMD; OpenSim; …
Main Fields: Approximations and expansions (41-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

CHORAL

Software Authors:   Rentrop, P.; Günther, M.; Hoschek, M.; Feldmann, U.
Referenced in: 6 Publications (2001–2006)
Related Software: TR-BDF2; LSODE; GENDA; DASSL; SPECTRE; SPICE; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

ASTRX/OBLX

Software Authors:   Ochotta, E.S. , Rutenbar, R.A., Carley, L.R
Referenced in: 4 Publications (2007–2014)
Related Software: CGLS
Main Fields: Computer science (68-XX); Optics, electromagnetic theory (78-XX); Operations research, mathematical programming (90-XX)

FreePDK45

Software Authors:   Christopher Torng
Referenced in: 4 Publications (2018–2021)
Related Software: GitHub; Yosys; Chipwhisperer; SIKE; SIDH; ISAP; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

MOBY-DIC

Software Authors:   Oliveri, A., Barcelli, D., Bemporad, A., Genuit, B.A.G., Heemels, W.P.M.H., Poggi, T., et.al.
Referenced in: 4 Publications (2013–2015)
Related Software: MPT; PnPMPC
Main Fields: Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

JavaGenes

Software Authors:   Al Globus, Sean Atsatt, John Lawton, Todd Wipke
Referenced in: 3 Publications (2002–2008)
Related Software:
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Statistical mechanics, structure of matter (82-XX)

JBernstein

Software Authors:   Cheng CH, Ruess H, Shankar N
Referenced in: 1 Publication (2016)
Related Software: EFSMT; dReal; z3; Yices; QEPCAD; MetiTarski
Main Fields: Computer science (68-XX)

Logisim

Software Authors:   Even, Guy; Medina, Moti
Referenced in: 1 Publication (2012)
Related Software:
Main Fields: Information and communication theory, circuits (94-XX)

PAnDA

Software Authors:   Walker, James Alfred; Trefzer, Martin A.; Bale, Simon J.; Tyrrell, Andy M.
Referenced in: 1 Publication (2013)
Related Software:
Main Fields: Computer science (68-XX)

Pulser

Software Authors:   Henrique Silvério, Sebastián Grijalva, Constantin Dalyac, Lucas Leclerc, Peter J. Karalekas, Nathan Shammah, Mourad Beji, Louis-Paul Henry, Loïc Henriet
Referenced in: 0 Publications
Related Software: PennyLane; Cirq; Krotov; QISKit; QuTiP; Python
Main Fields:

Puma

Software Authors:   Aayush Ankit, Izzat El Hajj, Sai Rahul Chalamalasetti, Geoffrey Ndu, Martin Foltin, R Stanley Williams, Paolo Faraboschi, Wen- mei W Hwu, John Paul Strachan, Kaushik Roy,Milojicic Dejan
Referenced in: 1 Publication (2020)
Related Software: GraphR; PipeLayer; PANTHER; PyTorch; Caffe
Main Fields: Computer science (68-XX)