5510 search results - page 220 / 1102 » Mathematics |
124
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Systems biology focuses on the study of entire biological systems rather than on their individual components. With the emergence of high-throughput data generation technologies for...
122
click to vote
ENTCS
2007
15 years 4 months ago
2007
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
121
click to vote
MICS
2008
15 years 4 months ago
2008
We describe automated methods for constructing nonisomorphism proofs for pairs of graphs. The proofs can be human-readable or machinereadable. We have developed an experimental imp...
124
click to vote
JAR
2007
15 years 4 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
142
click to vote
ITP
2002
15 years 4 months ago
2002
This paper investigates the integration of the home computer into the domestic sphere through a gender perspective on the notions of domesticity and domestication. The study is bas...