<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Numerical_programming_language> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Functional_language> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Magma computer algebra system" .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://caligraph.org/ontology/latestReleaseDate>	"2020-04-29" .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Faug%C3%A8re\u0027s_F4_and_F5_algorithms> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Lenstra%E2%80%93Lenstra%E2%80%93Lov%C3%A1sz_lattice_basis_reduction_algorithm> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_proprietary_software_for_Linux> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Physical_design_(electronics)> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_computer_algebra_systems> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Magma (computer algebra system)" .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Coppersmith_method> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://caligraph.org/ontology/genre>	<http://caligraph.org/resource/Computer_algebra_system> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Magma_(computer_algebra_system)> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://caligraph.org/ontology/latestReleaseVersion>	"2.25-5" .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://caligraph.org/ontology/developer>	<http://caligraph.org/resource/University_of_Sydney> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_programming_languages> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://caligraph.org/ontology/developer>	<http://caligraph.org/resource/University_of_Sydney_School_of_Mathematics_and_Statistics> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/2000/01/rdf-schema#label>	"Magma (computer algebra system)" .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Magma" .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Computational_number_theory> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Functional_languages> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Computer_algebra_system> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Numerical_programming_languages> .
<http://caligraph.org/resource/Magma_(computer_algebra_system)>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Proprietary_software_for_Linux> .