Publication | Open Access

mr : A C++ library for the matching and running of the Standard Model parameters

Mathematical ProgrammingEngineeringAlgorithmic LibraryProgram AnalysisParameterized AlgorithmFormal MethodsSoftware AnalysisComputer EngineeringComputer-aided VerificationStandard Model ParametersParallel ProgrammingComputer-aided DesignComputer ScienceModel Transformation LanguageParallel ComputingPattern MatchingC++ LibraryFormal Verification