6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
qgraf 3.6.7-1 3 0.08 Feynman diagram generator for various types of QFT models zenAmp 2023-12-20 13:53 (UTC)
symlinks 1.4.3-3 46 0.03 Scan and change symbolic links kbabioch 2017-10-29 14:12 (UTC)
form 4.3.1-1 4 0.00 Symbolic Manipulation System developed at Nikhef. zenAmp 2023-11-07 09:27 (UTC)
uppaal 5.0.0-3 0 0.00 Verify timed automata models and learn strategies. falkecarlsen 2024-03-07 09:19 (UTC)
form-bin 4.3.1-1 0 0.00 The FORM project for symbolic manipulation of very big expressions AronYoung 2023-06-23 13:24 (UTC)
eigenmath-git r2768.cc92936-1 0 0.00 Symbolic math app AronYoung 2024-01-08 09:48 (UTC)

6 packages found. Page 1 of 1.