Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants (Q597106): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1006/jsco.2001.0455
+Normal rank
@@ Property / OpenAlex ID @@
+W2079280457
@@ Property / OpenAlex ID: W2079280457 / rank @@
+Normal rank
@@ Property / cites work @@
+Lifting standard bases in filtered structures
@@ Property / cites work: Lifting standard bases in filtered structures / rank @@
+Normal rank
@@ Property / cites work @@
+The Impact of the Lambda Calculus in Logic and Computer Science
+Normal rank
@@ Property / cites work @@
+Autarkic computations in formal proofs
@@ Property / cites work: Autarkic computations in formal proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751370
@@ Property / cites work: Q2751370 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714165
@@ Property / cites work: Q3714165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4377762
@@ Property / cites work: Q4377762 / rank @@
+Normal rank
@@ Property / cites work @@
+On the role of OpenMath in interactive mathematical documents
+Normal rank
@@ Property / cites work @@
+Formal and efficient primality proofs by use of computer algebra oracles
+Normal rank
@@ Property / cites work @@
+Q2762111
@@ Property / cites work: Q2762111 / rank @@
+Normal rank
@@ Property / cites work @@
+Some tapas of computer algebra
@@ Property / cites work: Some tapas of computer algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023642
@@ Property / cites work: Q4023642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4317713
@@ Property / cites work: Q4317713 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945243
@@ Property / cites work: Q4945243 / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi in Isabelle
@@ Property / cites work: Psi-calculi in Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+The Search for a Finite Projective Plane of Order 10
+Normal rank
@@ Property / cites work @@
+Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
+Normal rank
@@ Property / cites work @@
+My Numbers, My Friends
@@ Property / cites work: My Numbers, My Friends / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactical and semantical properties of simple type theory
+Normal rank
@@ Property / cites work @@
+Q4249903
@@ Property / cites work: Q4249903 / rank @@
+Normal rank