{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/th-cas","name":"th-cas","description":"th-cas is a Computer Algebra System (CAS) for Haskell that performs symbolic\nmathematics operations at compile-time using Template Haskell. It provides both\ninteractive usage (similar to Mathematica) and compile-time optimization for\nmathematical computations with zero runtime overhead.\n.\nFeatures include:\n.\n* Symbolic differentiation with automatic simplification\n.\n* Symbolic integration using the Risch-Norman heuristic algorithm\n.\n* Linear and polynomial equation solvers\n.\n* Gröbner basis computation for multivariate polynomial systems\n.\n* Pattern matching and coefficient extraction\n.\n* Compile-time code generation via Template Haskell\n.\nThe library supports polynomial operations (GCD, LCM, factorization),\ntrigonometric and exponential functions, and advanced algorithms including\nHermite reduction for rational functions and the Extended Euclidean algorithm.\n.\nWith 150+ test cases, th-cas provides reliable symbolic computation for\nboth runtime and compile-time mathematical operations in Haskell.","version":"0.2.0","softwareVersion":"0.2.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/junjihashimoto/th-cas","issueTracker":"https://github.com/junjihashimoto/th-cas/issues","url":"https://github.com/junjihashimoto/th-cas","keywords":["library","math","mit","numeric","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"junjihashimoto"}],"author":[{"@type":"Person","name":"junjihashimoto"}],"copyrightHolder":[{"@type":"Person","name":"junjihashimoto"}],"dateCreated":"2015-11-16","dateModified":"2025-12-16","datePublished":"2025-12-16","copyrightYear":2015,"downloadUrl":"https://hackage.haskell.org/package/th-cas-0.2.0/th-cas-0.2.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/th-cas"],"https://www.w3.org/ns/activitystreams#likes":18,"https://forgefed.org/ns#forks":1}