×

Found 104 Software Packages (Results 1–100)

UMDES

Software Authors:   Christos G. Cassandras; Stéphane Lafortune
Cited in: 401 Publications (1996–2022)
Related Software: Supremica; libFAUDES; SPIN; GLPK; TCT; Matlab; …
Main Fields:

GloptiPoly

Software Authors:   Didier Henrion; Jean-Bernard Lasserre; Johan Loefberg
Cited in: 330 Publications (2003–2022)
Related Software: SeDuMi; YALMIP; Sostools; SDPT3; Matlab; SparsePOP; …
Main Fields: (93-04-XX); (93B40-XX); (90C22-XX)

GOLOG

Software Authors:   Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.
Cited in: 157 Publications (1996–2022)
Related Software: ConGolog; AgentSpeak; METATEM; Graphplan; Jason; CCalc; …
Main Fields: (68T27-XX); (03B70-XX); (68T40-XX)

Mu Analysis and Synthesis Toolbox

Software Authors:   MathWorks; Gary J. Balas, John C. Doyle, Keith Glover, Andy Packard, Roy Smith
Cited in: 109 Publications (1993–2021)
Related Software: Robust Control Toolbox; LMI toolbox; Matlab; Control System Toolbox; Skew; Optimization Toolbox; …
Main Fields:

QDES

Software Authors:   Boyd, Stephen P.; Barratt, Craig H.
Cited in: 106 Publications (1991–2022)
Related Software: LMI toolbox; SeDuMi; Matlab; YALMIP; Robust Control Toolbox; Optimization Toolbox; …
Main Fields:

SLICOT

Software Authors:   Benner, Peter; Mehrmann, Volker; Sima, Vasile; Van Huffel, Sabine; Varga, Andras
Cited in: 85 Publications (1999–2022)
Related Software: LAPACK; Matlab; mctoolbox; ScaLAPACK; ARPACK; BLAS; …
Main Fields: (93-04-XX); (65Y15-XX)

LYAPACK

Software Authors:   Thilo Penzl
Cited in: 67 Publications (1998–2022)
Related Software: Algorithm 432; Matlab; benchmodred; SparseMatrix; SLICOT; mctoolbox; …
Main Fields:

IMPS

Software Authors:   Farmer, William M.; Guttman, Joshua D.; Thayer, F.Javier
Cited in: 51 Publications (1990–2021)
Related Software: Isabelle; Nuprl; Coq; HOL; PVS; ETPS; …
Main Fields: (68T15-XX)

FRIL

Software Authors:   Baldwin, J. F.; Martin, T. P.; Pilsworth, B. W.
Cited in: 37 Publications (1987–2020)
Related Software: Likelog; FPROLOG; XPath; XQuery; Ciao; Rfuzzy; …
Main Fields:

NESTOR

Software Authors:   Cooper, G.F.
Cited in: 27 Publications (1985–2017)
Related Software: TETRAD; ElemStatLearn; MICE; pcalg; impute; GeNIe; …
Main Fields:

ART 3

Software Authors:   Gail A. Carpenter; Stephen Grossberg
Cited in: 16 Publications (1992–2012)
Related Software: Fuzzy ARTMAP; UCI-ml; LVQPAK; Matplotlib; SciPy; Matlab; …
Main Fields:

WINSTEPS

Software Authors:   www.winsteps.com
Cited in: 12 Publications (2005–2020)
Related Software: R; ConQuest; RUMM; AnaQol; DIGRAM; SPSS; …
Main Fields:

LS-SVMlab

Software Authors:   J.A.K. Suykens, T. Van Gestel, J. De Brabanter, B. De Moor, J. Vandewalle
Cited in: 25 Publications (2006–2020)
Related Software: Matlab; UCI-ml; LIBSVM; RSVM; SVM Toolbox; longmemo; …
Main Fields:

Visual MISER

Software Authors:   Yang, Feng; Teo, Kok Lay; Loxton, Ryan; Rehbock, Volker; Li, Bin; Yu, Changjun; Jennings, Leslie
Cited in: 25 Publications (2016–2022)
Related Software: MISER3; NLPQLP; Ipopt; Theta*; SOCS; ACADO; …
Main Fields: (49M37-XX); (49M25-XX); (65K05-XX)

ObservabilityTest

Software Authors:   Sedoglavic, Alexandre
Cited in: 21 Publications (2001–2022)
Related Software: DAISY; COMBOS; SIAN; Maple; GenSSI; BLAD; …
Main Fields: (93B07-XX); (93B25-XX)

SOLAR

Software Authors:   Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray
Cited in: 19 Publications (1993–2022)
Related Software: E Theorem Prover; SPASS; SCIFF; SBGN; MiniSat; SMT-LIB; …
Main Fields: (68T15-XX); (68T27-XX)

StratiGraph

Software Authors:   Kågström, Bo; Johansson, Stefan; Johansson, Pedher
Cited in: 21 Publications (2000–2021)
Related Software: MCS Toolbox; STCSSP; JDQR; JDQZ; Eigtool; NLEVP; …
Main Fields: (65G30-XX); (65Y15-XX); (15A21-XX)

RADI

Software Authors:   Benner, Peter; Bujanović, Zvonimir; Kürschner, Patrick; Saak, Jens
Cited in: 17 Publications (2018–2022)
Related Software: MESS; SparseMatrix; GitHub; MORLAB; RICPAC; dolfin_navier_scipy; …
Main Fields: (65F30-XX); (15A24-XX); (65F10-XX)

DIDO

Software Authors:   Ross, I.M
Cited in: 14 Publications (2007–2018)
Related Software: OTIS; SOCS; GPOPS; SNOPT; Matlab; Ipopt; …
Main Fields:

emgr

Software Authors:   Christian Himpe
Cited in: 12 Publications (2013–2022)
Related Software: Matlab; Octave; hapod; MATLAB ODE suite; MathEnergy; morgen; …
Main Fields:

COPRIN

Software Authors:   The COPRIN Project
Cited in: 14 Publications (2003–2016)
Related Software: COCONUT; MersenneTwister; IbexOpt; Numerica; IBEX; minpack; …
Main Fields: (65H04-XX); (65G40-XX); (93C85-XX)

LaplaceAndzTransform

Software Authors:   Graf, Urs
Cited in: 12 Publications (2004–2022)
Related Software: Matlab; Maple; Algorithm 682; CUDA; OEIS; Mathematica
Main Fields: (65R10-XX); (44A10-XX); (65-02-XX)

ROCKET

Software Authors:   Barber, Rina Foygel; Kolar, Mladen
Cited in: 13 Publications (2016–2021)
Related Software: glasso; covTest; TETRAD; huge; Knorm; limma; …
Main Fields: (62G10-XX); (62F12-XX); (62G20-XX)

LFLC 2000

Software Authors:   IRAFM
Cited in: 12 Publications (2004–2021)
Related Software: ETPS; ANFIS; TSDL; TDSL; ConceptNet
Main Fields:

OreMorphisms

Software Authors:   Cluzeau, T., Quadrat, A
Cited in: 12 Publications (2007–2020)
Related Software: OreModules; OreAlgebraicAnalysis; Macaulay2; SINGULAR; Plural; Janet; …
Main Fields:

QFT toolbox

Software Authors:   Borghesani, C.; Chait, Y.; Yaniv, O.
Cited in: 12 Publications (1995–2017)
Related Software: QFTCT; Matlab; Mu Analysis and Synthesis Toolbox; Robust Control Toolbox; YALMIP; OptimPID; …
Main Fields:

Time-Delay System Toolbox

Software Authors:   Kim A.V., Kwon W.H., Pimenov V.G., Han S.H., Lozhnikov A.B., Onegova O.V., Kang J.W.
Cited in: 12 Publications (2002–2019)
Related Software:
Main Fields:

Algorithm 800

Software Authors:   Benner, Peter; Byers, Ralph; Barth, Eric
Cited in: 11 Publications (2000–2022)
Related Software: LAPACK; SLICOT; Algorithm 854; CAREX; mctoolbox; ARPACK; …
Main Fields: (65F15-XX); (65Y15-XX); (68W30-XX)

libFAUDES

Software Authors:   Bernd Opitz, Thomas Moor, Klaus Schmidt
Cited in: 10 Publications (2010–2020)
Related Software: UMDES; PESTS; MuDiv; TCT; Supremica; GitHub; …
Main Fields:

MatContM

Software Authors:   Kuznetsov, Yuri A.; Meijer, Hil G. E.
Cited in: 10 Publications (2018–2022)
Related Software: Matlab; MatcotM; MATCONT
Main Fields: (39A28-XX); (92D25-XX)

MORLAB

Software Authors:   Peter Benner, Steffen W. R. Werner
Cited in: 8 Publications (2018–2022)
Related Software: MESS; Matlab; RADI; MORPACK; sssMOR; Morembs; …
Main Fields:

fdANOVA

Software Authors:   Górecki, Tomasz; Smaga, Łukasz
Cited in: 8 Publications (2019–2022)
Related Software: R; fda (R); mfds; GitHub; fda.usc; rrcov; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)

IQC

Software Authors:   Megretski AV; Kao CY; Jonsson UT; Rantzer A
Cited in: 8 Publications (2006–2016)
Related Software: LMI toolbox; Matlab; Robust Control Toolbox; Control System Toolbox; YALMIP; CVX; …
Main Fields:

COSMO

Software Authors:   Michael Garstka, Mark Cannon, Paul Goulart
Cited in: 7 Publications (2020–2022)
Related Software: OSQP; SCS; Mosek; ARPACK; SDPT3; JuMP; …
Main Fields:

HybridILPMiner

Software Authors:   van Zelst, S. J.; van Dongen, B. F.; van der Aalst, W. M. P.; Verbeek, H. M. W.
Cited in: 7 Publications (2018–2021)
Related Software: rbminer; XESame; RapidProM; ProM; ePNK; Simula 67; …
Main Fields: (90B50-XX); (90C05-XX)

MUSCOP

Software Authors:   Potschka, Andreas
Cited in: 7 Publications (2001–2021)
Related Software: NewtonLib; ADOL-C; UFL; FEniCS; DOLFIN; MUMPS; …
Main Fields: (65K10-XX); (65-02-XX); (49M15-XX)

NLControl

Software Authors:   Belikov, J.,Kotta, Ü, Tõnso, M.
Cited in: 7 Publications (2016–2020)
Related Software: Mathematica; OreAlgebraicAnalysis; OreMorphisms; HolonomicFunctions; OreModules; Macaulay2; …
Main Fields:

OCTBEC

Software Authors:   U. Hohenester
Cited in: 6 Publications (2014–2017)
Related Software: GSGPEs; Gross-Pitaevskii; imagetime1d; GPELab; GP-SCL; AEDU; …
Main Fields:

ReachNN

Software Authors:   Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu
Cited in: 7 Publications (2021–2022)
Related Software: Flow*; Reluplex; Verisig; Marabou; SpaceEx; Sherlock; …
Main Fields:

ArcAngelC

Software Authors:   Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana
Cited in: 5 Publications (2010–2015)
Related Software: Circus; Z; ProofPower; ZRC; ArcAngel; ClawZ; …
Main Fields:

control.lib

Software Authors:   Oleksandr Iena; Markus Becker; Viktor Levandovskyy
Cited in: 6 Publications (2005–2020)
Related Software: OreModules; SINGULAR; Plural; Janet; TDDS; DifferentialThomas; …
Main Fields:

LONE

Software Authors:   Ciaramella, G.; Borzì, A.
Cited in: 6 Publications (2016–2021)
Related Software: ReHaG; SKRYN; simDEF; Matlab; Maple
Main Fields: (81-04-XX); (81S22-XX); (81Q93-XX)

PECANS

Software Authors:   Carotenuto, Luigi; Mele, Frano; Mango Furnari, Mario; Napolitano, Renata
Cited in: 6 Publications (1996–2021)
Related Software: CANv2; PYR; OpenCAL; Kokkos; Python
Main Fields: (68Q80-XX); (68U20-XX)

HALO

Software Authors:   Clark, David F.; Kandel, Abraham
Cited in: 4 Publications (1991–2012)
Related Software:
Main Fields: (68T99-XX); (68T35-XX); (68N15-XX)

ROC-HJ

Software Authors:   Bokanowski, O., Desilles, A., Zidani, H.
Cited in: 5 Publications (2015–2021)
Related Software: ToolboxLS; Bocop; OOQP; SOCS; L-BFGS; NUDOCCCS; …
Main Fields:

Stabhyli

Software Authors:   Möhlmann, Eike; Theel, Oliver
Cited in: 5 Publications (2013–2020)
Related Software: Averist; SpaceEx; PPL; z3; GLPK; NetworkX; …
Main Fields: (93D05-XX); (93C30-XX)

Anima

Software Authors:   Alpuente, María; Ballis, Demis; Frechina, Francisco; Sapiña, Julia
Cited in: 4 Publications (2014–2016)
Related Software: Maude; Web-TLR; DDebugger; iJulienne; ChC 3; Julienne; …
Main Fields: (68N30-XX); (68Q42-XX); (68Q60-XX)

CLUCalc

Software Authors:   J. Hrdina; A. Návrat; P. Vašík; R. Matoušek
Cited in: 4 Publications (2017–2021)
Related Software: DifferentialGeometry; Gaigen; Maple; Gaalop
Main Fields: (93B27-XX); (93C85-XX); (93C10-XX)

COKOSNUT

Software Authors:   Sprengel, M.; Ciaramella, G.; Borzì, A.
Cited in: 4 Publications (2017–2022)
Related Software: OCTOPUS; Libxc; Matlab
Main Fields: (93C20-XX); (49N90-XX); (81V70-XX)

helperOC

Software Authors:   Somil Bansal, Mo Chen, Sylvia Herbert, Claire J. Tomlin
Cited in: 3 Publications (2020–2022)
Related Software: ToolboxLS; PILCO; Python; BaRC
Main Fields:

HybridSystemsLab

Software Authors:   Sanfelice, Ricardo G.
Cited in: 4 Publications (2021–2022)
Related Software: HyEQ; YALMIP; Matlab
Main Fields: (93-02-XX); (93B52-XX); (93C30-XX)

OreAlgebraicAnalysis

Software Authors:   Thomas Cluzeau; Christoph Koutschan
Cited in: 4 Publications (2017–2020)
Related Software: OreMorphisms; OreModules; NLControl; HolonomicFunctions; Macaulay2; SINGULAR; …
Main Fields:

Plasmo.jl

Software Authors:   Jordan Jalving, Yankai Cao, Victor M. Zavala
Cited in: 3 Publications (2019–2022)
Related Software: Modelica; LightGraphs.jl; SnapVX; JuMP; Julia; AMPL; …
Main Fields:

ProGolem

Software Authors:   Muggleton, Stephen; Santos, José; Tamaddoni-Nezhad, Alireza
Cited in: 3 Publications (2010–2017)
Related Software: Aleph; GOLEM; DIMACS; YAP-Prolog; Walksat; Subsumer; …
Main Fields: (68N17-XX); (68T05-XX)

QFTCT

Software Authors:   Garcia-Sanz M, Mauch A, Philippe C
Cited in: 4 Publications (2014–2022)
Related Software: QFT toolbox; Matlab
Main Fields:

REACH

Software Authors:   Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin
Cited in: 4 Publications (2013–2018)
Related Software: ISOLATE; QEPCAD; iscasMc; z3; REDLOG; MRMC; …
Main Fields: (93B03-XX); (93C10-XX); (93C30-XX)

RiTHM

Software Authors:   Navabpour S, Joshi Y, Wu CWW, Berkovich S, Medhat R, Bonakdarpour B, Fischmeister S
Cited in: 4 Publications (2015–2020)
Related Software: CBMC; NuSMV; SPIN; BLAST; C2M; MSVL; …
Main Fields:

SimpleS

Software Authors:   Gonçalves, Eduardo N.; Palhares, Reinaldo M.; Takahashi, Ricardo H.C.; Mesquita, Renato C.
Cited in: 4 Publications (2006–2016)
Related Software: LMI toolbox; LGO; Global Optimization Toolbox For Maple; Qhull
Main Fields: (65K05-XX)

Torsche

Software Authors:   Roman Čapek; Zdeněk Hanzálek; Přemysl Šůcha; Michal Sojka
Cited in: 3 Publications (2010–2012)
Related Software: TrueTime; MaRTE OS; Ptolemy; ATPDraw; EJS; LEKIN; …
Main Fields: (90-04-XX); (90Cxx-XX); (65Kxx-XX)

Algorithm 961

Software Authors:   P. Benner, V. Sima, M. Voigt
Cited in: 3 Publications (2018–2021)
Related Software: HIFOO; Seigtool; Eigtool; Chebfun; benchmodred; PSAPSR; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Systems theory; control (93-XX)

Algorithm 992

Software Authors:   Róth, Ágoston
Cited in: 3 Publications (2019–2022)
Related Software: OpenGL; GLEW; BPOLY
Main Fields: Numerical analysis (65-XX)

EpiSIX

Software Authors:   Huang, Senzhong; Peng, Zhihang; Jin, Zhen
Cited in: 3 Publications (2020–2022)
Related Software: RobinX; SPOT; pgRouting; UniCorT; json2run; CPLEX
Main Fields: (90B35-XX); (90C05-XX); (90C11-XX)

netcontrol

Software Authors:   Teague R. Henry
Cited in: 3 Publications (2022)
Related Software: mgm; qgraph; lvnet; astsa; R; BDgraph; …
Main Fields:

NETWRK

Software Authors:   Robert E. Ulanowicz; James J. Kay
Cited in: 3 Publications (1983–2019)
Related Software: enaR; EcoNet; Ecopath II; Matlab
Main Fields:

ReHaG

Software Authors:   Ciaramella, G.; Borzì, A.
Cited in: 3 Publications (2015–2021)
Related Software: SKRYN; LONE; Matlab; Maple
Main Fields: (81-04-XX); (81S22-XX); (81Q93-XX)

SKRYN

Software Authors:   Ciaramella, G.; Borzì, A.
Cited in: 3 Publications (2015–2021)
Related Software: ReHaG; LONE; Matlab; Maple
Main Fields: (81-04-XX); (81S22-XX); (81Q93-XX)

ASR

Software Authors:   Morten Gjerding, Thorbjørn Skovhus, Asbjørn Rasmussen, Fabian Bertoldo, Ask Hjorth Larsen, Jens Jørgen Mortensen, Kristian Sommer Thygesen
Cited in: 0 Publications
Related Software: pymatgen; Atomate; FireWorks; AiiDA; Python; strucscan; …
Main Fields:

BALM-II

Software Authors:   Castagnetti, G., Piccolo, M., Villa, T.
Cited in: 2 Publications (2015–2020)
Related Software: MVSIS
Main Fields:

Biotope

Software Authors:   A. Symeonidis, E. Valtos, S. Seroglou, P. Mitkas
Cited in: 0 Publications
Related Software: OpenGL; MASON
Main Fields:

carlomat

Software Authors:   Karol Kolodziej
Cited in: 1 Publication (2015)
Related Software: HELAC; ee4f; eett6f; HELAC-1LOOP; AMP4HEF; WHIZARD; …
Main Fields:

NETAL

Software Authors:   Yasui, Yuichiro; Fujisawa, Katsuki; Goto, Kazushige; Takamatsu, Mizuyo
Cited in: 1 Publication (2011)
Related Software: SDPARA; GraphCT
Main Fields: (90B-XX)

ORACLS

Software Authors:   Armstrong, Ernest S.
Cited in: 2 Publications (1980–1985)
Related Software:
Main Fields: (93-04-XX); (93C05-XX); (93C35-XX)

PESTS

Software Authors:   Costa, G., Basin, D., Bodei, C., Degano, P., Galletta, L.
Cited in: 2 Publications (2018–2020)
Related Software: MuDiv; libFAUDES; TCT; GitHub; CMC; GPUVerify; …
Main Fields:

QEngine

Software Authors:   Jens Jakob Sørensen, Jesper Jensen, Till Heinzel, Jacob Sherson
Cited in: 0 Publications
Related Software: WavePacket; QuTiP; Nevergrad; NLopt; SciPy; L-BFGS; …
Main Fields:

queuecomputer

Software Authors:   Anthony Ebert, Paul Wu, Kerrie Mengersen, Fabrizio Ruggeri
Cited in: 0 Publications
Related Software: dplyr; SimPy; microbenchmark; Rcpp; simmer; simmer.plot; …
Main Fields:

SITS

Software Authors:   Figueiredo, Lino; Tenreiro Machado, J.A.
Cited in: 2 Publications (2007–2016)
Related Software:
Main Fields: (90B20-XX)

Xtile

Software Authors:   Anshul Chaurasia, Sudhanshu Dwivedi, Prateek Jain, Manish K. Gupta
Cited in: 1 Publication (2017)
Related Software: RuleBender; kTAM; NFsim; BioNetGen
Main Fields:

YAKKER

Software Authors:   Jim, Trevor; Mandelbaum, Yitzhak; Walker, David
Cited in: 2 Publications (2010–2011)
Related Software: PADS; OCaml; dypgen; Haskell
Main Fields: (68Q42-XX); (68N20-XX); (68Q45-XX)

Aoptbdtvc

Software Authors:   Baidya Nath Mandal, Sukanta Dash, Rajender Parsad
Cited in: 1 Publication (2020)
Related Software: lp_solve; ibd; lpSolve; R
Main Fields:

Binary Maker

Software Authors:   Bradstreet, D. H.; Steelman, D. P.
Cited in: 1 Publication (2020)
Related Software: clustervalidation; clusfind; RobPer; AS 136; dtw; Silhouettes
Main Fields:

DeepRT

Software Authors:   Kang, Woochul; Chung, Jaeyong
Cited in: 1 Publication (2019)
Related Software: GitHub; AlexNet; Model Zoo; TensorRT; ImageNet; Caffe
Main Fields: (68T07-XX); (68M20-XX)

elbe

Software Authors:   TUHH
Cited in: 1 Publication (2017)
Related Software:
Main Fields:

Freightmiser

Software Authors:   Howlett, P.G.; Pudney, P.J.; Vu, X.
Cited in: 1 Publication (2017)
Related Software: SOCS; GPOPS
Main Fields:

GRPF

Software Authors:   Kowalczyk, P.
Cited in: 1 Publication (2020)
Related Software: GitHub; Matlab
Main Fields:

HybCore

Software Authors:   Goncharov, Sergey; Neves, Renato; Proença, José
Cited in: 1 Publication (2020)
Related Software: GHCi; UTop; dReach; OCaml; Modelica; Haskell; …
Main Fields: (68Qxx-XX)

IRTm

Software Authors:   Braeken, J.; Tuerlinckx, F.
Cited in: 1 Publication (2016)
Related Software: MULTILOG; irtrees; PyHasse; PARSCALE; BILOG; IRTPRO; …
Main Fields:

LambdaMu-calculus

Software Authors:   Cristina Matache; Victor B. F. Gomes; Dominic P. Mulligan
Cited in: 1 Publication (2021)
Related Software: K Prover; Archive Formal Proofs; GitHub; KJS; K-Java; K-Maude; …
Main Fields:

Lie analysis

Software Authors:   Martin, F., Bekkers, E., Duits, R.
Cited in: 1 Publication (2021)
Related Software: Fiberfox
Main Fields:

Markovchart

Software Authors:   Balazs Dobi; Andras Zempleni
Cited in: 1 Publication (2022)
Related Software: metR; qicharts; qcr; doParallel; ggQC; Excel; …
Main Fields:

muAO-MPC

Software Authors:   Zometa, P., Kögel, M., Findeisen, R.
Cited in: 1 Publication (2022)
Related Software: GitHub; PANOC; Matlab; HQP/OMUSES; OpEn; FORCES NLP; …
Main Fields:

PolyChaos

Software Authors:   Tillmann Mühlpfordt, Frederik Zahn, Veit Hagenmeyer, Timm Faulwasser
Cited in: 0 Publications
Related Software: DifferentialEquations.jl; UQLab; Chaospy; UQTk; Open TURNS; DAKOTA; …
Main Fields:

popdemo

Software Authors:   Iain Stott, Dave Hodgson, Stuart Townley
Cited in: 0 Publications
Related Software: R; AlleleRetain; popReconstruct; bayesLife; wpp2010; wpp2012; …
Main Fields:

SAC

Software Authors:   L.A. Márquez-Martínez, A. Glumineau
Cited in: 1 Publication (2007)
Related Software:
Main Fields:

SEEC

Software Authors:   H. Hoffmann, M. Maggio, M. D. Santambrogio, A. Leva, A. Agarwal
Cited in: 1 Publication (2019)
Related Software: PAPI; Multicube Explorer; SiblingRivalry; Green; SAGE; ADAPT; …
Main Fields:

set-membership estimation

Software Authors:   Widder, Andreas
Cited in: 1 Publication (2018)
Related Software:
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX)

SIMART

Software Authors:   M. M’saad; J. Chebassier; P. Tona
Cited in: 1 Publication (1994)
Related Software:
Main Fields:

Sshaper

Software Authors:   Blomqvist, A., Nagamune, R.
Cited in: 1 Publication (2005)
Related Software:
Main Fields:

symbtools

Software Authors:   Knoll, Carsten; Fritzsche, Klemens
Cited in: 1 Publication (2018)
Related Software: hypore; GitHub; SymPy
Main Fields:

TMTDyn

Software Authors:   S.M. Hadi Sadati; et al.
Cited in: 0 Publications
Related Software: Control System Toolbox; Optimization Toolbox; VIPER; SOFA; SoMo; Matlab; …
Main Fields:

UnstableManifoldCompactMap

Software Authors:   Mireles-James, J.D.
Cited in: 1 Publication (2017)
Related Software: INTLAB; Matlab
Main Fields: