• SyReC

• Referenced in 5 articles [sw23569]
• programming language for synthesis of reversible circuits. Reversible logic serves as a basis for emerging ... their limits in the near future, reversible logic has been established as a promising alternative ... synthesize complex reversible circuits is an important question. So far, only synthesis approaches are available...

• RMDDS

• Referenced in 1 article [sw23568]
• RMDDS: Reed-Muller decision diagram synthesis of reversible logic circuits. In this article, we propose ... advantages of two methods: Reed-Muller Reversible Logic Synthesis (RMRLS) and Decision Diagram Synthesis ... thus called Reed-Muller Decision Diagram Synthesis (RMDDS). RMRLS does not scale to a large ... synthesizers presented earlier. When used to synthesize reversible functions, RMDDS reduces the number of qubits...

• Coq

• Referenced in 1890 articles [sw00161]
• Coq is a formal proof management system. It...

• CUTE

• Referenced in 65 articles [sw00177]
• CUTE: a concolic unit testing engine for C...

• GAP

• Referenced in 3189 articles [sw00320]
• GAP is a system for computational discrete algebra...

• Isabelle

• Referenced in 713 articles [sw00454]
• Isabelle is a generic proof assistant. It allows...

• Maple

• Referenced in 5373 articles [sw00545]
• The result of over 30 years of cutting...

• Mathematica

• Referenced in 6355 articles [sw00554]
• Almost any workflow involves computing results, and that...

• Matlab

• Referenced in 13544 articles [sw00558]
• MATLAB® is a high-level language and interactive...

• MiniSat

• Referenced in 566 articles [sw00577]
• An extensible SAT-solver. MiniSat is a minimalistic...

• SETHEO

• Referenced in 122 articles [sw00707]
• SETHEO: A high-performance theorem prover. The paper...

• R

• Referenced in 9969 articles [sw00771]
• R is a language and environment for statistical...

• REDUCE

• Referenced in 746 articles [sw00789]
• REDUCE is an interactive system for general algebraic...

• SageMath

• Referenced in 1994 articles [sw00825]
• Sage (SageMath) is free, open-source math software...

• SINGULAR

• Referenced in 1508 articles [sw00866]
• SINGULAR is a Computer Algebra system (CAS) for...

• AUTO

• Referenced in 943 articles [sw01059]
• AUTO is a software for continuation and bifurcation...

• ML

• Referenced in 522 articles [sw01218]
• ML (’Meta Language’) is a general-purpose functional...

• DYNAMO

• Referenced in 261 articles [sw01227]
• DYNAMO (DYNAmic MOdels) was a simulation language and...

• Graphviz

• Referenced in 90 articles [sw01283]
• Graphviz is open source graph visualization software. Graph...

• TREX

• Referenced in 46 articles [sw01388]
• TREX is a tool for automatic analysis of...