Chombo Cited in 73 Documents (2002–2023) Software Authors: Colella, P., Graves, D.T., Ligocki, T.J., Martin, D.F., Modiano, D., Serafini, D.B., Straalen, B.V.; ANAG Related Software: PARAMESH; p4est; SAMRAI; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …
Norn Cited in 14 Documents (2017–2023) Software Authors: Abdulla, P.A., Atig, M.F., Chen, Y.-F., Holík, L., Rezine, A., Rümmer, P., Stenman, J. Related Software: CVC4; Z3str3; HAMPI; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Combinatorics_Words Cited in 8 Documents (2017–2022) Software Authors: Štěpán Holub; Martin Raška; Štěpán Starosta Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; … Main Fields: Computer science (68-XX)
Z3str2 Cited in 7 Documents (2017–2023) Software Authors: Zheng, Yunhui; Ganesh, Vijay; Subramanian, Sanu; Tripp, Omer; Berzish, Murphy; Dolby, Julian; Zhang, Xiangyu Related Software: Z3str3; HAMPI; CVC4; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
DSSynth Cited in 2 Documents (2017–2020) Software Authors: Abate, Alessandro; Bessa, Iury; Cattaruzza, Dario; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel Related Software: PESSOA; Boost Interval Arithmetic; CBMC; … Main Fields: Systems theory; control (93-XX)
Kaluza Cited in 2 Documents (2013–2016) Software Authors: Saxena P, Akhawe D, McCamant S, Song D Related Software: HAMPI; Stranger; S3; … Main Fields: Computer science (68-XX)
HBPS Cited in 0 Documents Software Authors: Gonzalez-Calero, Jose Antonio; Arnau, David; Puig, Luis; Arevalillo-Herraez, Miguel Related Software: – Main Fields: –